222 search results - page 36 / 45 » UML4SPM: An Executable Software Process Modeling Language Pr... |
APSEC
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
EUROSYS
2010
ACM
14 years 1 months ago
2010
ACM
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to
the bus...
LISA
2007
13 years 10 months ago
2007
Existing applications often contain security holes that are not patched until after the system has already been compromised. Even when software updates are available, applying the...
DATE
2010
IEEE
13 years 6 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
CAISE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...