1559 search results - page 141 / 312 » Software needs engineering: a position paper |
VMCAI
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
WER
2004
Springer
14 years 3 months ago
2004
Springer
With the evolution of the Web evolving towards the Semantic Web, where the information should be presented in a meaningful way for both humans and machines, arises the need for sem...
ICSM
2003
IEEE
14 years 3 months ago
2003
IEEE
The distributed development and maintenance paradigm for component delivery is fraught with problems. One wants a relationship between developers and clients that is autonomous an...
FASE
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. XML (eXtensible Markup Language) is becoming the standard format for documents on Internet and is widely used to exchange data. Often, the relevant information contained ...
APSEC
2002
IEEE
14 years 3 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...