897 search results - page 86 / 180 » Reuse, Validation and Verification of System Development Pro... |
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
EDOC
2003
IEEE
14 years 1 months ago
2003
IEEE
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
WSC
2000
13 years 9 months ago
2000
MODELING FOR ENGINEERING AND ENGAGEMENT LEVEL SIMULATIONS Robert M. McGraw Richard A. MacDonald RAM Laboratories, Inc. 6540 Lusk Boulevard, Suite C200 San Diego, CA 92121, U.S.A. ...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
We have developed an infrastructure for end-to-end run-time monitoring, behavior/performance analysis, and dynamic adaptation of distributed software. This infrastructure is prima...
UML
2001
Springer
14 years 8 days ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...