133 search results - page 4 / 27 » A Formal Object Approach to the Design of ZML |
ISMVL
2007
IEEE
14 years 17 days ago
2007
IEEE
Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa’s approach, w...
ISSE
2010
13 years 4 months ago
2010
The Use Case, Responsibility Driven Analysis and Design (URDAD) methodology is a methodology for technology neutral design generating the Platform Independent Model of the Object M...
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
13 years 7 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
ZUM
1997
Springer
13 years 10 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
CMOT
2011
12 years 9 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...