1856 search results - page 170 / 372 » Formal Dialectic Specification |
144
click to vote
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
149
Voted
WER
1998
Springer
15 years 8 months ago
1998
Springer
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...
142
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Though ontologies are widely used to solve some specific interoperability problems, there is no specific ontology defining what interoperability actually is, independentl...
169
click to vote
APAQS
2001
IEEE
15 years 8 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
158
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...