All of us have learned a lot during this exercise, and the enormous success of the first edition
of this book shows the great international interest for the topic and the results. A French …

Many experts state that: a) specifying" all the small parts of a system" and b) correct
expected system usage, can make Agile Software Development more effective. Unified …

The diversity of the medical equipments in hospital systems requires a structured analysis
and design methodology in order to get perceptions and correct understandings of the …

This paper presents four world views for developing system specifications. Each is
described by first revealing its root metaphor, that is, the most primitive starting point for …

This paper reports on a technique for specifying concurrent systems by using a formal
specification language with reflective computation mechanism. We call the specifications …

To analyze processes, to improve them, to assure quality management and quality
assurance, to integrate hardware and software components as well for education, training …

The goal of this research is to develop a new paradigm integrating the practices of business
process modeling and use case modeling. These two modeling approaches describe the …

The authors report on a practical application of institutional economics (Coase, 1937) based
on object modeling of organisations and systems. It is important for software development …

Abstract Service reliability is emerging as a new focus for research in the field of reliability.
New products are being designed that are a combination of hardware plus a service support …

The objective of this study is to develop a decision-making framework for maintenance
management targeting remotely operated assets. Using external data as an input, the …