CAISE
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. In this paper we present our approach to model and verify workflowintensive systems. Besides the functional properties (given by the temporal workflow description) we aug...
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
This paper explains how goal-oriented requirements engineering can be transposed into regulation modelling. It motivates also why this way of modelling regulations is worthwhile fo...
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
Information Systems (IS) have a major impact on human activities. They are not only "objects or products" because they directly concern our access to knowledge, our possi...
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. The term of a "process" is used in Software Engineering (SE) theories and practices in many different ways, which cause confusion. In this paper we will firstly...
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
symbol systems and the world. In the case of problem frames the symbol systems are abstractions of the problems that an IS will solve rather than sentences, and the world is the pr...
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
There is a broad use of the term "paradigm" in Software Engineering. Concepts such as structured paradigm, cascade paradigm or agent-oriented paradigm are very frequent i...
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
Among the various contemporary schools of moral thinking, consequence-based ethics, as opposed to rule-based, seems to have a good acceptance among professionals such as software e...