116 search results - page 23 / 24 » Designing and Weaving Aspect-Oriented Executable UML Models |
ATVA
2010
Springer
13 years 4 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
HT
2003
ACM
13 years 11 months ago
2003
ACM
Web Applications are progressively becoming multi-channel and cross-channel. The “same” service should be made available in different delivery environments and devices. A user...
SIGSOFT
2009
ACM
14 years 6 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
CL
2008
Springer
13 years 6 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
FOSSACS
2001
Springer
13 years 10 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...