Searching for authors named "Sascha Konrad" – sorted by Relevance.
-
Automated Analysis of Natural Language Properties for UML Models
- Automated Analysis of Natural Language Properties for UML Models ∗ Sascha Konrad – Betty H
- Cited by 5 (4 self) – Add To MetaCart
-
Facilitating the construction of specification pattern-based properties
- Facilitating the Construction of Specification Pattern-based Properties ∗ Sascha Konrad and Betty
- Cited by 7 (5 self) – Add To MetaCart
-
Requirements patterns for embedded systems
- Requirements Patterns for Embedded Systems Sascha Konrad and Betty H.C. Cheng Software
- Cited by 18 (6 self) – Add To MetaCart
-
Requirements Patterns for Embedded Systems
- Requirements Patterns for Embedded Systems Sascha Konrad and Betty H.C. Cheng Software
- Add To MetaCart
-
B.H.C.: Automated analysis of timing information in UML diagrams
- Automated Analysis of Timing Information in UML Diagrams ¢¡ Sascha Konrad Laura A. Campbell Betty
- Cited by 5 (5 self) – Add To MetaCart
-
Visualizing Requirements in UML Models ∗
- Visualizing Requirements in UML Models ∗ Sascha Konrad, Heather Goldsby, Karli Lopez, and Betty H
- Add To MetaCart
-
B.H.C.: Goal-oriented patterns for UML-based modeling of embedded systems requirements
- . Goldsby, 1 Sascha Konrad, 2 Betty H.C. Cheng 1⋆⋆ hjg@(email omitted);,sascha.konrad
- Cited by 1 (1 self) – Add To MetaCart
-
B.H.C.: i 2 MAP: An incremental and iterative modeling and analysis process
- i 2 MAP: An Incremental and Iterative Modeling and Analysis Process ⋆ Sascha Konrad, 1,⋆⋆ Heather
- Cited by 1 (1 self) – Add To MetaCart
-
Model-driven Development and Analysis of High Assurance Systems
- MODEL-DRIVEN DEVELOPMENT AND ANALYSIS OF HIGH ASSURANCE SYSTEMS By SASCHA J. KONRAD AN ABSTRACT
- Cited by 2 (2 self) – Add To MetaCart
-
A requirements patterns-driven approach to specify systems and check properties
- A Requirements Patterns-Driven Approach to Specify Systems and Check Properties ⋆ Sascha Konrad
- Cited by 1 (1 self) – Add To MetaCart

