1432 search results - page 45 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
144
click to vote
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
128
click to vote
STTT
2008
15 years 3 months ago
2008
Protos is a popular tool for business process modelling used in more than 1500 organizations. It has a built-in Petri-net-based simulation engine which shows key performance indica...
144
click to vote
SCESM
2006
ACM
15 years 9 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
142
click to vote
ISSRE
2000
IEEE
15 years 7 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
116
Voted
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...