Sciweavers

2357 search results - page 6 / 472
» Computing Refactorings of Behavior Models
Sort
View
KES
2005
Springer
14 years 18 days ago
Enhancing Computer Chat: Toward a Smooth User-Computer Interaction
Abstract. Human-computer interaction (HCI) has fundamentally changed computing. The ubiquity of HCI can be seen in several kinds of application areas, such as text editing, hyperte...
Calkin A. S. Montero, Kenji Araki
ERSHOV
2006
Springer
13 years 9 months ago
On the Usage of Concrete Syntax in Model Transformation Rules
Graph transformations are one of the best known approaches for defining transformations in model-based software development. They are defined over the abstract syntax of source and...
Thomas Baar, Jon Whittle
BCS
2008
13 years 8 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002