875 search results - page 6 / 175 » Specification Modules for Methodical System Development |
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...
TASE
2008
IEEE
14 years 9 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
CSEE
2000
Springer
15 years 2 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
VLDB
2002
ACM
14 years 9 months ago
2002
ACM
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
79
Voted
AAAI
1994
14 years 11 months ago
1994
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...