1121 search results - page 127 / 225 » Building Formal Requirements Models for Reliable Software |
125
click to vote
HOLOMAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Holonic multiagent systems (hmas) offers a promising software engineering approach for developing applications in complex domains characterized by a hierarchical structu...
151
Voted
DIAGRAMS
2004
Springer
15 years 7 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
165
click to vote
AOSE
2001
Springer
15 years 8 months ago
2001
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...
149
click to vote
COSIT
2009
Springer
15 years 10 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
102
click to vote
FAC
2008
15 years 4 months ago
2008
Ten years ago the Mondex electronic purse was certified to ITSEC Level E6, the highest level of assuranceforsecuresystems.ThisinvolvedbuildingformalmodelsintheZnotation,linkingthem...