3726 search results - page 76 / 746 » A structured definition of the modeling process |
FSTTCS
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
DANTE
1999
IEEE
14 years 1 months ago
1999
IEEE
We concentrate on the property that the progression of collaborative work involves communication among participants, and we consider a flexible method for managing transactions ut...
ICWE
2007
Springer
14 years 3 months ago
2007
Springer
WE practices lack an impact on industry, partly due to a WE field that is not quality-aware. In fact, it is difficult to find WE methodologies that pay explicit attention to qualit...
ERCIM
2008
13 years 9 months ago
2008
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
DKE
2008
13 years 9 months ago
2008
To enable effective cross-organizational collaborations, process providers have to offer external views on their internal processes to their partners. A process view hides details...