82 search results - page 3 / 17 » caise 2005 |
CAISE
2005
Springer
14 years 3 days ago
2005
Springer
CAISE
2005
Springer
14 years 3 days ago
2005
Springer
This paper familiarizes the audience with the Triune Continuum Paradigm, a paradigm that provides philosophically supported theoretical foundations for system modeling in general a...
CAISE
2005
Springer
14 years 3 days ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
CAISE
2005
Springer
14 years 3 days ago
2005
Springer
The research reported upon in this paper aims at reducing errors in both the requirements engineering and the system specification phase of software development, by means of system...
CAISE
2005
Springer
14 years 3 days ago
2005
Springer
. This paper aims at proposing a global view of the interoperability problem, independently of any domain. We first describe explicitly the problem, and the context in which it app...