4476 search results - page 113 / 896 » Modeling software architectures in the Unified Modeling Lang... |
CASES
2004
ACM
15 years 7 months ago
2004
ACM
124
click to vote
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
105
click to vote
SE
2010
15 years 3 months ago
2010
: In this paper we propose model-driven techniques to migrate legacy systems into Service-Oriented Architectures (SOA). The proposal explores how querying and transformation techni...
115
Voted
RE
1999
Springer
15 years 6 months ago
1999
Springer
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...
126
click to vote
DAC
2007
ACM
15 years 5 months ago
2007
ACM
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...