Sciweavers

1809 search results - page 37 / 362
» A Formal Specification of dMARS
Sort
View
103
Voted
JOT
2002
112views more  JOT 2002»
15 years 4 months ago
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning
Richard F. Paige, Liliya Kaminskaya, Jonathan S. O...
133
Voted
TSE
2002
95views more  TSE 2002»
15 years 4 months ago
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
Peter Frey, Radharamanan Radhakrishnan, Harold W. ...
138
Voted
TCSB
2010
15 years 3 months ago
A Language for Biochemical Systems: Design and Formal Specification
Michael Pedersen, Gordon D. Plotkin
BPM
2000
Springer
106views Business» more  BPM 2000»
15 years 9 months ago
Using Formal Analysis Techniques in Business Process Redesign
Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis tec...
Kees M. van Hee, Hajo A. Reijers