1099 search results - page 78 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
149
click to vote
ICNP
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
148
click to vote
ER
2007
Springer
16 years 14 days ago
2007
Springer
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
195
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
202
click to vote
MEMOCODE
2008
IEEE
16 years 21 days ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
169
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...