8627 search results - page 264 / 1726 » Software Engineering Using RATionale |
240
click to vote
ICSEA
2009
IEEE
15 years 4 months ago
2009
IEEE
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...
146
click to vote
APSEC
2005
IEEE
16 years 4 days ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
176
click to vote
SEFM
2005
IEEE
16 years 2 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
202
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
In re-engineering object-oriented legacy code, it is frequently useful to introduce a design pattern in order to improve specific non-functional requirements (e.g., maintainabili...
180
click to vote
ESEC
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...