Searching for authors named Maritta Heisel – sorted by Relevance.
-
A Pragmatic Approach To Formal Specification
- 4 A PRAGMATIC APPROACH TO FORMAL SPECIFICATION Maritta Heisel Technische Universitat Berlin D
- Add To MetaCart
-
Specification of the Unix File System: A Comparative Case Study
- Specification of the Unix File System: A Comparative Case Study Maritta Heisel Technische
- Cited by 4 (2 self) – Add To MetaCart
-
Expression of Styles in Formal Specification
- Expression of Styles in Formal Specification Jeanine Souqui`eres Maritta Heisel CNRS
- Add To MetaCart
-
Detecting Feature Interactions - A Heuristic Approach
- Detecting Feature Interactions -- A Heuristic Approach Maritta Heisel Jeanine Souqui`eres Fakultat
- Cited by 3 (1 self) – Add To MetaCart
-
Architectural Patterns for Problem Frames
- § and Maritta Heisel ¶ Abstract Problem frames provide a characterisation and classification of software
- Cited by 3 (3 self) – Add To MetaCart
-
Problem frames and architectures for security problems
- Problem Frames and Architectures for Security Problems Denis Hatebur ‡ and Maritta Heisel
- Cited by 4 (2 self) – Add To MetaCart
-
A Heuristic Approach to Detect Feature Interactions in Requirements
- A Heuristic Approach to Detect Feature Interactions in Requirements Maritta Heisel Jeanine
- Cited by 3 (0 self) – Add To MetaCart
-
Methodological Support for Formally Specifying Safety-Critical Software
- Methodological Support for Formally Specifying Safety-Critical Software Maritta Heisel Technische
- Cited by 3 (3 self) – Add To MetaCart
-
A Heuristic Algorithm to Detect Feature Interactions in Requirements
- A Heuristic Algorithm to Detect Feature Interactions in Requirements Maritta Heisel 1 and Jeanine
- Cited by 1 (0 self) – Add To MetaCart
-
Formal Specification of Safety-Critical Software with Z and Real-Time CSP
- Formal Specification of Safety-Critical Software with Z and Real-Time CSP Maritta Heisel, Carsten
- Cited by 6 (4 self) – Add To MetaCart

