15 search results - page 2 / 3 » sefm 2007 |
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
Reuse of software entities such as components or web services raise composition issues since, most of the time, they present mismatching behavioural interfaces. Here, we particula...
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
The issues surrounding the question of atomicity, both in the past and nowadays, are briefly reviewed, and a picture of an ACID (atomic, consistent, isolated, durable) transactio...