Sciweavers

508 search results - page 92 / 102
» An immersion model for software engineering projects
Sort
View
SEW
2005
IEEE
15 years 5 months ago
Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
Paolo Donzelli, Daniel Hirschbach, Victor R. Basil...
COBUILD
1998
Springer
15 years 3 months ago
The Metaphor of Virtual Rooms in the Cooperative Learning Environment CLear
In the CLear project we develop a cooperative learning system for supporting learning and training processes of co-located and distributed groups. One of the fundamental concepts o...
Hans-Rüdiger Pfister, Christian Schuckmann, J...
JIT
2004
Springer
204views Database» more  JIT 2004»
15 years 5 months ago
Ercatons: Thing-Oriented Programming
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
Oliver Imbusch, Falk Langhammer, Guido von Walter
EMSOFT
2008
Springer
15 years 1 months ago
Quantitative testing
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
Henrik C. Bohnenkamp, Mariëlle Stoelinga
ICFEM
2004
Springer
15 years 5 months ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...