4631 search results - page 1 / 927 » Experiences with an Environment Generation System |
ICSE
1991
IEEE-ACM
13 years 8 months ago
1991
IEEE-ACM
We present our experience using the Gandalf environment generation system as a prototyping vehicle for the Inscape Environment. Our positive experience included experimentation, i...
HICSS
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper, we present a practical experiment of building a service-oriented system upon current web services technologies and bioinformatics middleware. The system allows scie...
ASE
2008
13 years 5 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
SPIN
2010
Springer
13 years 3 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
KBSE
2003
IEEE
13 years 10 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...