|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 13 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | André Heuer, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl |
Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams.  |
SPLC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Konrad, Helmut Degen |
Lessons Learned from the Use of Artifact Models in Industrial Projects. |
RE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Konrad, Michael Gall |
Requirements Engineering in the Development of Large-Scale Systems. |
RE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Heather Goldsby, Sascha Konrad, Betty H. C. Cheng |
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Konrad, Heather Goldsby, Betty H. C. Cheng |
i2MAP : An Incremental and Iterative Modeling and Analysis Process. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Ebnenasir, Betty H. C. Cheng, Sascha Konrad |
Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance. |
RE |
2006 |
DBLP DOI BibTeX RDF |
Fault-Tolerance, Formal Methods, Safety, Use Case Modeling |
| 1 | Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum |
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Konrad, Betty H. C. Cheng |
Automated Analysis of Natural Language Properties for UML Models. |
MoDELS Satellite Events |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Konrad, Betty H. C. Cheng |
Facilitating the Construction of Specification Pattern-based Properties. |
RE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Konrad |
Assurance patterns for distributed real-time embedded systems. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
software analysis and design, embedded systems, formal methods, requirements engineering |
| 1 | Sascha Konrad, Betty H. C. Cheng |
Real-time specification patterns. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
embedded systems, formal specification, patterns, real-time requirements |
| 1 | Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell |
Object Analysis Patterns for Embedded Systems. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
object analysis, model checking, embedded systems, formal specification, conceptual modeling, requirements, patterns, Object-oriented modeling |
| 1 | Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng |
Automated Analysis of Timing Information in UML Diagrams. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng |
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Konrad, Betty H. C. Cheng |
Requirements Patterns for Embedded Systems. (PDF / PS) |
RE |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")