1031 search results - page 128 / 207 » On the Formal Development of Safety-Critical Software |
BRAIN
2010
Springer
13 years 4 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
ATAL
2003
Springer
14 years 28 days ago
2003
Springer
A key question in the field of agent-oriented software engineering is how the kind and extent of autonomy owned by computational agents can be appropriately captured. As long as ...
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
The usefulness of design patterns in forward engineering is already well-known and several tools provide support for their application in the development of software systems. Whil...
KBSE
1998
IEEE
13 years 11 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
FASE
2001
Springer
14 years 6 days ago
2001
Springer
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...