Search Sciweavers | Sciweavers

1809 search results - page 37 / 362

» A Formal Specification of dMARS

click to vote

JOT
2002

112views more JOT 2002»

BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning

13 years 7 months ago

Download www.jot.fm

Richard F. Paige, Liliya Kaminskaya, Jonathan S. O...

claim paper

Read More »

click to vote

SAC
2002
ACM

111views Applied Computing» more SAC 2002»

Automated conversion from requirements documentation to an object-oriented formal specification language

13 years 7 months ago

Download www.cs.iupui.edu

Beum-Seuk Lee, Barrett R. Bryant

claim paper

Read More »

click to vote

TSE
2002

95views more TSE 2002»

A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation

13 years 7 months ago

Download www.ittc.ku.edu

Peter Frey, Radharamanan Radhakrishnan, Harold W. ...

claim paper

Read More »

click to vote

TCSB
2010

141views Computational Biology» more TCSB 2010»

A Language for Biochemical Systems: Design and Formal Specification

13 years 6 months ago

Download homepages.inf.ed.ac.uk

Michael Pedersen, Gordon D. Plotkin

claim paper

Read More »

click to vote

BPM
2000
Springer

106views Business» more BPM 2000»

Using Formal Analysis Techniques in Business Process Redesign

13 years 12 months ago

Download is.tm.tue.nl

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

claim paper

Read More »

« Prev « First page 37 / 362 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers