Search Sciweavers | Sciweavers

1823 search results - page 23 / 365

» Formal specification: a roadmap

click to vote

USAB
2007

88views Software Engineering» more USAB 2007»

Using Formal Specification Techniques for Advanced Counseling Systems in Health Care

13 years 8 months ago

Download mitarbeiter.hs-heilbronn.de

Dominikus Herzberg, Nicola Marsden, Corinna Leonha...

claim paper

Read More »

click to vote

INFORMATICASI
2006

65views more INFORMATICASI 2006»

A Formal Framework Supporting the Specification of the Interactions between Agents

13 years 7 months ago

Download www.informatica.si

Farid Mokhati, Mourad Badri, Linda Badri

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers