1856 search results - page 54 / 372 » Formal Dialectic Specification |
ISSS
1999
IEEE
14 years 2 months ago
1999
IEEE
Synchronous Dataflow, a subset of dataflow, has proven to be a good match for specifying DSP programs. Because of the limited amount of memory in embedded DSPs, a key problem duri...
ELPUB
1997
ACM
14 years 2 months ago
1997
ACM
We consider the generic hypermedia structure of a document to be a means of representing the document that allows it to be processed into a wide variety of presentations. Represen...
AGTIVE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
IFM
2000
Springer
14 years 1 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
TASE
2008
IEEE
13 years 9 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...