Sciweavers

18898 search results - page 136 / 3780
» The Making of a Software Engineer
Sort
View
ICFEM
2009
Springer
15 years 11 months ago
European Train Control System: A Case Study in Formal Verification
André Platzer, Jan-David Quesel
ICSR
2009
Springer
15 years 11 months ago
Variability in Automation System Models
Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree
ICSR
2009
Springer
15 years 11 months ago
Refactoring Feature Modules
Martin Kuhlemann, Don S. Batory, Sven Apel
SEKE
2009
Springer
15 years 11 months ago
Improving Natural Language Specifications with Ontologies
Sven J. Korner, Torben Brumm