4350 search results - page 590 / 870 » Case studies for contract-based systems |
206
click to vote
POLICY
2004
Springer
16 years 4 days ago
2004
Springer
Policy Based Management (PBM) is a research topic that has been driven by the tremendous complexity inherent in the administration and management of present-day networking and tel...
186
click to vote
PPDP
2004
Springer
16 years 4 days ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
199
click to vote
SEW
2003
IEEE
16 years 2 days ago
2003
IEEE
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
205
click to vote
FM
2003
Springer
16 years 11 hour ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
178
click to vote
GECCO
2003
Springer
16 years 9 hour ago
2003
Springer
Abstract. Software clustering techniques are useful for extracting architectural information about a system directly from its source code structure. This paper starts by examining ...