259 search results - page 4 / 52 » Requirements Specification as Executable Software Design - A... |
114
click to vote
ENTCS
2006
15 years 2 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
126
Voted
SEFM
2003
IEEE
15 years 7 months ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
118
Voted
TSE
2002
15 years 2 months ago
2002
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to expr...
128
click to vote
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
132
click to vote
ICRE
1998
IEEE
15 years 6 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...