MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Maritta Heisel – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

28 documents found, showing 1 through 10. Next 10 →

ATOM

A Pragmatic Approach To Formal Specification
by Maritta Heisel
…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
by Maritta Heisel — 1995 — Technology Lecture Notes in Computer Science 936
…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
by Jeanine Souquières, Maritta Heisel — 1996 — Univ. of Abertay Dundee
…Expression of Styles in Formal Specification Jeanine Souqui`eres Maritta Heisel CNRS…
Add To MetaCart

Detecting Feature Interactions - A Heuristic Approach
by Maritta Heisel, Jeanine Souquières — 1998 — University of Magdeburg
…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
by Denis Hatebur, Maritta Heisel — 2004 — IEE Proceedings - Software
… § 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
by Denis Hatebur, Maritta Heisel — 2005 — Proceedings of the 24th International Conference on Computer Safety, Reliability and Security (SAFECOMP), number 3688 in LNCS, 390–404
…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
by Maritta Heisel, Jeanine Souquieres — 1998 — In [77
…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
by Maritta Heisel, Carsten Sühl — 1997 — Proceedings 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP
…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
by Maritta Heisel, Jeanine Souquieres — 2000 — In S. Gilmore
…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
by Maritta Heisel, Carsten Sühl — 1996 — Proceedings 15th International Conference on Computer Safety, Reliability and Security
…Formal Specification of Safety-Critical Software with Z and Real-Time CSP Maritta Heisel, Carsten…
Cited by 6 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB