1782 search results - page 318 / 357 » Tool Support for Proof Engineering |
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...
PPPJ
2003
ACM
14 years 1 months ago
2003
ACM
The Java system supports the transmission of code via dynamic class loading, and the transmission or storage of data via object serialization. However, Java does not provide any m...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
Architecture has been identified as a main tool for high quality system development. It encapsulates the earliest design decisions of the system under development. These decisions...
RE
2001
Springer
14 years 1 months ago
2001
Springer
Effective and efficient requirements negotiation is a key to the success of software development efforts. For large projects, this can be especially difficult to do effectively an...
SIGMOD
2010
ACM
14 years 17 days ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...