517 search results - page 14 / 104 » Specification transformers: a predicate transformer approach... |
SIMUTOOLS
2008
13 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
WCE
2007
13 years 8 months ago
2007
Abstract—The development of the transformer insulation failure undergoes three stages: insulation aging, incipient faults and a short circuit. This paper presents a complete sche...
ENGL
2008
13 years 7 months ago
2008
Abstract--The development of the transformer insulation failure undergoes three stages: insulation aging, incipient faults and a short circuit. This paper presents a complete schem...
WADT
1998
Springer
13 years 11 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
ICWE
2005
Springer
14 years 26 days ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...