9267 search results - page 103 / 1854 » Expectation-Oriented Analysis and Design |
SIGPLAN
2002
13 years 8 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
TSE
1998
13 years 8 months ago
1998
—With the increasing use of object-oriented methods in new software development there is a growing need to both document and improve current practice in object-oriented design an...
CASES
2011
ACM
12 years 9 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
WSC
2008
13 years 11 months ago
2008
Visualization of individual network events is a crucial part of testing new network designs and analyzing network performance and efficiency. This research designed and developed ...
WSC
1998
13 years 10 months ago
1998
This study describes an application of discrete-process simulation to a final assembly process within the automotive industry. The study addressed the issues of whether the proces...