1888 search results - page 48 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
122
Voted
ARTS
1999
Springer
15 years 6 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
116
Voted
NJC
2006
15 years 2 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
114
Voted
SOCO
2008
Springer
15 years 2 months ago
2008
Springer
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...
147
click to vote
SIES
2007
IEEE
15 years 9 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
120
Voted
ISTA
2003
15 years 4 months ago
2003
Supporting multiple languages and natural language processing are of high importance in information systems. This paper discusses software tools for the generation of languages pro...