376 search results - page 59 / 76 » A Controlled Language for the Specification of Contracts |
IASSE
2003
13 years 8 months ago
2003
This paper describes the functionality required for a development environment that supports stratified programming (SP), a novel software development method that we have proposed ...
FBT
1998
13 years 8 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
HIJ
2006
13 years 6 months ago
2006
As the number of medical web sites in various languages increases, it is increasingly necessary to establish specific criteria and control measures that give consumers some guaran...
JSA
2008
13 years 6 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
ICFP
2009
ACM
14 years 7 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...