795 search results - page 1 / 159 » A Formal Approach to Heterogeneous Software Modeling |
FASE
2000
Springer
13 years 8 months ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
CODES
2006
IEEE
13 years 11 months ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
BIRTHDAY
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
EUROMICRO
1998
IEEE
13 years 9 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
COOPIS
2002
IEEE
13 years 9 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...