1439 search results - page 105 / 288 » A Component Model Engineered with Components and Aspects |
132
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
133
click to vote
SIGSOFT
2001
ACM
16 years 4 months ago
2001
ACM
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...
141
click to vote
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
126
Voted
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
The paper introduces a system model called the probabilistic asynchronous model which characterises the context in which many practical and the Internet-based applications are bui...
135
click to vote
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...