Searching for authors named "Jan Bredereke" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Modular, Changeable Requirements for Telephone Switching in CSP-OZ
- … in CSP-OZ y IBS-99-1 Jan Bredereke University of Oldenburg, FB 10 P.O. box 2503 D-26111 Oldenburg…
- Add To MetaCart
-
genFamMem 2.0 Manual - a Specification Generator and Type Checker for Families of Formal Requirements
- … for Families of Formal Requirements Jan Bredereke University of Bremen, FB 3 P.O. box 330 440 D-28359 Bremen…
- Cited by 6 (2 self) – Add To MetaCart
-
A Tool for Generating Specifications from a Family of Formal Requirements
- …A Tool for Generating Specications from a Family of Formal Requirements Jan Bredereke Universit…
- Cited by 6 (2 self) – Add To MetaCart
-
Maintaining Telephone Switching Software Requirements
- … Requirements Jan Bredereke Universitat Bremen, TZi P.O. box 33 04 40, D-28334 Bremen, Germany brederek…
- Cited by 6 (3 self) – Add To MetaCart
-
On Preventing Telephony Feature Interactions which are Shared-Control Mode Confusions
- …On Preventing Telephony Feature Interactions which are Shared-Control Mode Confusions Jan…
- Cited by 4 (2 self) – Add To MetaCart
-
Automata-Theoretic vs. Property-Oriented Approaches for the Detection of Feature Interactions in IN
- … in IN Jan Bredereke University of Kaiserslautern, Postfach 3049, D-67653 Kaiserslautern, Germany E…
- Cited by 1 (0 self) – Add To MetaCart
-
On Feature Orientation and on Requirements Encapsulation Using Families of Requirements
- … and on Requirements Encapsulation Using Families of Requirements Jan Bredereke Universitat Bremen, FB 3 P.O. box…
- Cited by 1 (0 self) – Add To MetaCart
-
Specifying Features in Requirements Using CSP-OZ
- …Specifying Features in Requirements Using CSP-OZ Jan Bredereke Universitat Bremen, FB 3 P.O. box…
- Cited by 1 (0 self) – Add To MetaCart
-
Formal Criteria For Feature Interactions In Telecommunications Systems
- …FORMAL CRITERIA FOR FEATURE INTERACTIONS IN TELECOMMUNICATIONS SYSTEMS Jan Bredereke University…
- Cited by 4 (1 self) – Add To MetaCart
-
Requirements Specification and Design of a Simplified Telephone Network by Functional Documentation
- … Jan Bredereke MacMaster University, CRL 1280 Main Street West Hamilton, Ontario L8S 4K1 Canada email…
- Cited by 5 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
