- Mitteilung Nr. 219 Eine EstelleErweiterung
- Increasing the Concurrency in Estelle J. Bredereke a and R. Gotzhein b
- IEEE Communications Magazine, Nov. 2002, c Maintaining Telephone Switching Software
- Interner Bericht FB 10 Abteilung Semantik Modular, Changeable Requirements
- Specification, Detection and Resolution of IN Feature Interactions with Estelle
- Modular Requirements Against Feature Interaction Problems
- On Preventing Telephony Feature Interactions which are SharedControl Mode Confusions
- Dagstuhl Seminar 99071 Software Engineering Research and Education
- Maintaining Families of Rigorous Requirements for Embedded Software Systems
- Design of a Formal Estelle Semantics for Verification J. Bredereke, R. Gotzhein, F. H. Vogt
- Requirements Specification and Design of a Simplified Telephone Network
- FORMAL CRITERIA FOR FEATURE INTERACTIONS IN TELECOMMUNICATIONS SYSTEMS
- ``Objects, Agents and Features'', 2004, c # Springer Verlag 1
- Speci cation-Based Testing of the UMTS Protocol Stack
- "Objects, Agents and Features", 2004, c Springer Verlag 1 On Feature Orientation and
- Configuring Members of a Family of Requirements Using Features
- Interner Bericht AutomataTheoretic Criteria
- SafetyRelevant Mode Confusions --Modelling and Reducing Them
- Speci cation Based Testing of the UMTS Protocol Stack
- Proceedings of SafeComp 2002, c Springer Verlag 1 A Rigorous View of Mode Confusion
- Safety-Relevant Mode Confusions Modelling and Reducing Them
- IEEE Communications Magazine, Nov. 2002, c IEEE 1 Maintaining Telephone Switching Software
- On Preventing Telephony Feature Interactions which are Shared-Control Mode Confusions
- On Preventing Telephony Feature Interactions
- Feature Orientation Considered Harmful?
- A Rigorous View Mode Confusion
- Proceedings of SafeComp 2002, c Springer Verlag 1
- Environment Salzgitter
- Maintaining Families of Rigorous Requirements for Embedded Software Systems
- Avoiding Feature Interactions in the Users' Interface Jan Bredereke
- Theme Issue "Trends in Formal Description Techniques" In the 80s, we witnessed the development and international standardization of the Formal
- Specification Style and Efficiency in Estelle Jan Bredereke
- AutomataTheoretic vs. PropertyOriented Approaches for the Detection of
- Improving the Efficiency of Automated Protocol Implemen tation Using Estelle
- Configuring Members of a Family of Requirements Using Features
- Interner Bericht A Case Study on Specification,
- Speci cations Requirements
- R. Drechsler, M. Gogolla, H.-J. Kreowski, B. Krieg-Brckner, J. Peleska (Series Editors)
- Universitat Bremen FB 3 genFamMem 2.0 Manual
- Families of Formal Requirements in Telephone Switching #
- A Tool for Generating Speci cations from a Family of Formal Requirements
