3726 search results - page 76 / 746 » A structured definition of the modeling process |
133
click to vote
FSTTCS
1998
Springer
15 years 8 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 ...
141
click to vote
DANTE
1999
IEEE
15 years 8 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...
150
click to vote
ICWE
2007
Springer
15 years 10 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...
111
click to vote
ERCIM
2008
15 years 4 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...
112
click to vote
DKE
2008
15 years 4 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...