977 search results - page 50 / 196 » Formal methods integration in software engineering |
141
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
138
click to vote
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
15 years 9 months ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
122
click to vote
JISBD
2003
15 years 5 months ago
2003
Separation of concerns is a fundamental software engineering principle that proposes the encapsulation of each matter of interest in a separate module. Software engineering develop...
148
click to vote
SOFTWARE
2002
15 years 3 months ago
2002
: This paper presents a lightweight form of usage-centered design that has proved particularly effective in designing highly usable Webbased applications. Fully compatible with bot...
155
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...