116 search results - page 23 / 24 » Designing and Weaving Aspect-Oriented Executable UML Models |
ATVA
2010
Springer
14 years 7 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
15 years 2 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
15 years 10 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...
111
click to vote
CL
2008
Springer
14 years 9 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...
119
click to vote
FOSSACS
2001
Springer
15 years 1 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 ...