Competence Center Tool Support - Publications
Overview over the project Quest
By Oscar Slotosch. In proceedings of FM-Trends
'98, Springer-Verlag LNCS 1641, 1998
AutoFocus -- Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme
By Manfred Broy, Franz Huber and Bernhard Schätz. In
Informatik Forschung und Entwicklung, 14(3), S. 121-134, 1999.
Traffic
Lights - An AutoFocus Case Study
By Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar
Slotosch and Alexander Vilbig. In: 1998 International Conference on
Application of Concurrency to System Design, pp. 282-294, IEEE Computer
Society, Los Alamitos, California
Specification Based Test Sequence Generation with Propositional Logic
By Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner
and Oscar Slotosch. In Special Issue on Specification Based Testing,
Journal on Software Testing, Validation, and Reliability (STVR) 10(4),
2000.
A
Formally Founded Componentware Testing Methodology
By Klaus Bergner, Heiko Lötzbeyer, Andreas Rausch, Marc Sihling,
Alexander Vilbig. In Proc. of the first International Workshop on
Automated Program Analysis, Testing and Verification (WAPATV), Limerick,
May 2000.
AutoFOCUS
on Constraint Logic Programming
By Heiko Lötzbeyer and Alexander Pretschner. In Proc. (Constraint) Logic
Programming and Software Engineering (LPSE 2000), London, July 2000.
Testing
Concurrent Reactive Sytems with Constraint Logic Programming
By Heiko Lötzbeyer and Alexander Pretschner. In Proc. 2nd Workshop on
Rule-Based Constraint Reasoning and Programming, Singapore, September
2000.
Model
Based Testing in Evolutionary Software Development
By Alexander Pretschner, Heiko Lötzbeyer and Jan Philipps. In Proc. 11th
IEEE Intl. Workshop on Rapid System Prototyping (RSP'01), June 2001. To
appear.
Model
Based Testing with Constraint Logic Programming: First Results and
Challenges
By Alexander Pretschner and Heiko Lötzbeyer. In Proc. of the second
International Workshop on Automated Program Analysis, Testing and
Verification (WAPATV), to appear.
Consistent Integration of Formal Methods
By Peter Braun, Heiko Lötzbeyer, Berhard Schätz and Oscar Slotosch. In
TACAS 2000: Tools and Algorithms for the Construction and Analysis of
Systems, 2000
The quest
for correct systems: Model checking of diagrams and datatypes
By Jan Philipps and Oscar Slotosch. In APSEC'99: Asian Pacific Software
Engineering Conference, pages 449-458. IEEE Computer Society, 1999.
Model
based Systems Engineering - A Unified Approach using UML
By Peter Braun and Martin Rappl. In Proc. of the European Systems
Engineering Conference (EuSEC), 2000.
Integrating Formal Description Techniques
By Franz Huber and Bernhard Schätz. In FM'99 - Formal Methods,
Proceedings of the World Congress on Formal Methods in the Development
of Computing Systems, Volume II
|
|