Sciweavers

133 search results - page 1 / 27
» A Formal Object Approach to the Design of ZML
Sort
View
ANSOFT
2002
100views more  ANSOFT 2002»
13 years 4 months ago
A Formal Object Approach to the Design of ZML
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
FCA
2005
Springer
188views Formal Methods» more  FCA 2005»
13 years 10 months ago
Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
Robert Godin, Petko Valtchev
AOSE
2004
Springer
13 years 10 months ago
A Formal Approach to Design and Reuse Agent and Multiagent Models
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...
Vincent Hilaire, Olivier Simonin, Abder Koukam, Ja...
VLDB
1993
ACM
104views Database» more  VLDB 1993»
13 years 8 months ago
Towards a Formal Approach for Object Database Design
Pascal Poncelet, Maguelonne Teisseire, Rosine Cicc...
CODES
2006
IEEE
13 years 10 months ago
A formal approach to robustness maximization of complex heterogeneous embedded systems
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...
Arne Hamann, Razvan Racu, Rolf Ernst