Fakultät für Informatik

TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

TUM
 
 

2014


Jan Friedrich, Marco Kuhrmann
Basiswissen Projektmanagement - Prozesse und Vorgehensmodelle
ch. Das V-Modell XT, pp. 107 ff., Symposium, 2014
Inbook | 1302 | Details | Bibtex-Eintrag

Marco Kuhrmann, Daniel Mendez Fernandez, Michaela Tiessler
A mapping study on the feasibility of method engineering
Journal of Software: Evolution and Process,Wiley, 2014
Article | 1303 | Details | Bibtex-Eintrag

Marco Kuhrmann, Henning Femmer, Jonas Eckhardt
Controlled Experiments as Means to Teach Soft Skills in Software Engineering
Overcoming Challenges in Software Engineering Education: Delivering Non-Technical Knowledge and Skills,ch. 10, pp. 180--197, IGI Global, 2014
Inbook | 1304 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Sarah Beecham
Artifact-Based Software Process Improvement and Management: A Method Proposal
International Conference on Software and Systems Process (ICSSP),pp. 165--169, ACM Press, 2014
Conference | 1305 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Daniel Mendez Fernandez, Thomas Ternite
Realizing Software Process Lines: Insights and Experiences
International Conference on Software and Systems Process (ICSSP),pp. 110--119, ACM Press, 2014
Conference | 1306 | Details | Bibtex-Eintrag

PDF-Datei Daniela Zehetmeier, Marco Kuhrmann, Axel Böttcher, Kathrin Schlierkamp, Veronika Thurner
Self-Assessment of Freshmen Students' Base Competencies
IEEE Global Engineering Education Conference (EDUCON),IEEE, 2014
Conference | 1307 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann
You can't tailor what you haven't modeled
International Conference on Software and Systems Process (ICSSP),pp. 240-241, ACM Press, 2014
Conference | 1308 | Details | Bibtex-Eintrag

PDF-Datei Guoping Rong, Barry Boehm, Marco Kuhrmann, Evelyn Tian, Shijun Lian, Ita Richardson
Towards Context-Specific Software Process Selection, Tailoring, and Composition
International Conference on Software and Systems Process (ICSSP),pp. 187--188, ACM Press, 2014
Conference | 1309 | Details | Bibtex-Eintrag

Joachim Schramm, Thomas Ternite, Marco Kuhrmann
Organisationsspezifische Anpassungen von Vorgehensmodellen - Nutzen und Herausforderungen
37. WI-MAW-Rundbrief (selected revised papers),pp. 46--55, , 2014
Inbook | 1310 | Details | Bibtex-Eintrag

PDF-Datei Henning Femmer, Marco Kuhrmann, Jörg Stimmer, Jörg Junge
Experiences from the Design of an Artifact Model for Distributed Agile Project Management
International Conference on Global Software Engineering (ICGSE),IEEE, 2014
Conference | 1311 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Marco Kuhrmann
Projektorganisation und Management im Software Engineering
IT Freelancer Magazin,pp. 8--9, 2014
Article | 1312 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Michaela Tiessler
Crafting a Method Engineering Metamodel: Approach, Methods, Results
, 2014
Tech_Report | 1313 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Oliver Linssen
Welche Vorgehensmodelle nutzt Deutschland?
Projektmanagement + Vorgehensmodelle 2014 (PVM2014),Gesellschaft für Informatik (GI) e.V., 2014
Conference | 1314 | Details | Bibtex-Eintrag

2013


Editoren: Marco Kuhrmann, Daniel Mendez Fernandez, Oliver Linssen, Alexander Knapp
Modellierung von Vorgehensmodellen - Paradigmen, Sprachen, Tools
ch. 371 ff., pp. 371 ff., Lecture Notes in Informatics, 2013
Inbook | 1276 | Details | Bibtex-Eintrag

Oliver Linssen, Marco Kuhrmann
Vorgehensmodelle für das Projektmanagement
Basiswissen Projektmanagement - Grundlagen der Projektarbeit,ch. 121 ff., Symposium, 2013
Inbook | 1277 | Details | Bibtex-Eintrag

Marco Kuhrmann, Georg Kalus, Alexander Knapp
Rapid Prototyping for Domain-specific Languages - From Stakeholder Analyses to Modelling Tools
Enterprise Modelling and Information Systems Architectures: Special Issue on Design, Implementation and Evaluation of Modelling Tools,pp. 62--74, 2013
Article | 1278 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Daniel Méndez Fernández, Jürgen Münch
Teaching Software Process Modeling
Proceedings of the 35th International Conference on Software Engineering (ICSE 2013),pp. 1138--1147, IEEE, 2013
Conference | 1279 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Daniel Méndez Fernández, Michaela Tießler
A Mapping Study on Method Engineering - First Results
Proceedings of the 17th Evaluation and Assessment in Software Engineering (EASE 2013),pp. 165-170, ACM Press, 2013
Conference | 1280 | Details | Bibtex-Eintrag

Wolfgang Dorst, Frank Simon, Marco D'Onorio De Meo, Stefan Luckhaus, Uwe Tewes, Christian Schneider, Matthias Gärtner, Marco Kuhrmann
Agiles Software Engineering Made in Germany
BITKOM, 2013
Tech_Report | 1281 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Daniel Mendez Fernandez, Ragna Steenweg
Systematic Software Process Development: Where Do We Stand Today?
Proceedings of International Conference on Software and Systems Process (ICSSP 2013),pp. 166--170, ACM Press, 2013
Conference | 1282 | Details | Bibtex-Eintrag

PDF-Datei Georg Kalus, Marco Kuhrmann
Criteria for Software Process Tailoring: A Systematic Review
Proceedings of International Conference on Software and Systems Process (ICSSP 2013),pp. 171--180, ACM Press, 2013
Conference | 1283 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Daniel Mendez Fernandez, Alexander Knapp
A First Investigation About the Perceived Value of Process Engineering and Process Consumption
Proceedings of the 14th International Conference on Product Focused Software Development and Process Improvement (PROFES),pp. 138--152, Springer-Verlag Berlin Heidelberg, 2013
Conference | 1284 | Details | Bibtex-Eintrag

PDF-Datei Benedikt Hauptmann, Maximilian Junker, Sebastian Eder, Lars Heinemann, Rudolf Vaas, Peter Braun
Hunting for smells in natural language tests
Proceedings of the 2013 International Conference on Software Engineering,pp. 1217--1220, IEEE Press, 2013
Conference | 1285 | Details | Bibtex-Eintrag

PDF-Datei Sebastian Eder, Benedikt Hauptmann, Maximilian Junker, Elmar Juergens, Rudolf Vaas, Karl-Heinz Prommer
Did We Test Our Changes? Assessing Alignment between Tests and Development in Practice
AST '13: Automation of Software Test,2013
Conference | 1292 | Details | Bibtex-Eintrag

PDF-Datei Veronika Bauer, Benedikt Hauptmann
Assessing Cross-Project Clones for Reuse Optimization
IWSC '13: International Workshop on Software Clones,2013
Conference | 1293 | Details | Bibtex-Eintrag

Marco Kuhrmann
ArSPI: An Artifact Model for Software Process Improvement and Management
, 2013
Tech_Report | 1296 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Daniel Mendez Fernandez, Matthias Groeber
Towards Artifact Models as Process Interfaces in Distributed Software Projects
Proceedings of 8th Intl. Conference on Global Software Engineering (ICGSE 2013),IEEE, 2013
Conference | 1297 | Details | Bibtex-Eintrag

Patrick Keil, Marco Kuhrmann, Darja Smite
1st International Workshop on Virtual Teams: Experiences in Global Software Engineering (VirtuES)
8th Intl. Conference on Global Software Engineering (Companion Volume),pp. 1 ff., IEEE, 2013
Inbook | 1298 | Details | Bibtex-Eintrag

PDF-Datei Joachim Schramm, Thomas Ternite, Marco Kuhrmann
Organisationsspezifische Anpassungen von Vorgehensmodellen - Nutzen und Herausforderungen
Proceedings of the 20th Annual GI-Workshop Vorgehensmodelle 2013 - Anspruch und Wirklichkeit,pp. 33 ff, 2013
Conference | 1299 | Details | Bibtex-Eintrag

Manfred Broy, Marco Kuhrmann
Projektorganisation und Management im Software Engineering
Springer-Verlag Berlin Heidelberg, 2013
Book | 1300 | Details | Bibtex-Eintrag

Frank Simon, Annette Kossmann, Marco Kuhrmann, Daniel Mendez Fernandez
Wunsch oder Wirklichkeit? Professionelle Softwareentwicklung "Made in Germany"
OBJEKTspektrum,pp. 16--23, Sigs Datacom, 2013
Article | 1301 | Details | Bibtex-Eintrag

2012


Editoren: Reinhard Höhn, Oliver Linssen, Marco Kuhrmann
Sonderheft Vorgehensmodelle
, 2012
Book | 1268 | Details | Bibtex-Eintrag

Marco Kuhrmann, Georg Kalus, Manuel Then
The Process Enactment Tool Framework - Transformation of Software Process Models to Prepare Enactment
Science of Computer Programming,Elsevier, 2012
Article | 1269 | Details | Bibtex-Eintrag

Daniel Mendez Fernandez, Birgit Penzenstadler, Marco Kuhrmann
Pattern-Based Guideline to Empirically Analyse Software Development Processes
Proceedings of 16th International Conference on Evaluation & Assessment in Software Engineering,pp. 136--145, 2012
Conference | 1270 | Details | Bibtex-Eintrag

PDF-Datei Georg Kalus, Thomas Kofler, Maximilian Irlbeck, Marco Kuhrmann
Vom Hörsaal in den Marketplace
OBJEKTspektrum Online Themenspecial Mobility,Sigs Datacom, 2012
Article | 1271 | Details | Bibtex-Eintrag

Editoren: Patrick Keil, Marco Kuhrmann, Tuomas Jaanu
Sixth IEEE International Conference on Global Software Engineering Workshops (Proceedings)
pp. 6--27, IEEE Computer Society, 2012
Inbook | 1272 | Details | Bibtex-Eintrag

Editoren: Oliver Linssen, Marco Kuhrmann
Qualitätsmanagement und Vorgehensmodelle
Shaker, 2012
Book | 1273 | Details | Bibtex-Eintrag

Marco Kuhrmann
A Practical Approach to align Research with Master's Level Courses
Proceedings of the 15th International Conference on Computational Science and Engineering,pp. 202--208, IEEE, 2012
Conference | 1274 | Details | Bibtex-Eintrag

Ragna Steenweg, Marco Kuhrmann, Daniel Méndez Fernández
Software Engineering Process Metamodels - A Literature Review
, 2012
Tech_Report | 1275 | Details | Bibtex-Eintrag

PDF-Datei Andreas Pleuss, Benedikt Hauptmann, Markus Keunecke, Goetz Botterweck
A case study on variability in user interfaces
Proceedings of the 16th International Software Product Line Conference - Volume 1,pp. 6--10, ACM, 2012
Conference | 1286 | Details | Bibtex-Eintrag

PDF-Datei Benedikt Hauptmann, Maximilian Junker, Sebastian Eder, Elmar Juergens, Rudolf Vaas
Can clone detection support test comprehension?
Program Comprehension (ICPC), 2012 IEEE 20th International Conference on,pp. 209--218, 2012
Conference | 1287 | Details | Bibtex-Eintrag

PDF-Datei Benedikt Hauptmann, Veronika Bauer, Maximilian Junker
Using edge bundle views for clone visualization
Software Clones (IWSC), 2012 6th International Workshop on,pp. 86--87, 2012
Conference | 1288 | Details | Bibtex-Eintrag

PDF-Datei Andreas Pleuss, Benedikt Hauptmann, Deepak Dhungana, Goetz Botterweck
User interface engineering for software product lines: the dilemma between automation and usability
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems,pp. 25--34, ACM, 2012
Conference | 1294 | Details | Bibtex-Eintrag

PDF-Datei Sebastian Eder, Maximilian Junker, Elmar Juergens, Benedikt Hauptmann, Rudolf Vaas, Karl-Heinz Prommer
How much does unused code matter for maintenance?
Software Engineering (ICSE), 2012 34th International Conference on,pp. 1102-1111, IEEE, 2012
Conference | 1295 | Details | Bibtex-Eintrag

2011


Marco Kuhrmann, Thomas Ternité, Jan Friedrich
Das V-Modell XT anpassen
Springer, 2011
Book | 1243 | Details | Bibtex-Eintrag

Editoren: Oliver Linssen, Marco Kuhrmann, Doris Weßels
Zusammenspiel von Vorgehensmodellen und Organisationsformen
,Shaker Verlag, 2011
Book | 1244 | Details | Bibtex-Eintrag

PDF-Datei Sebastian Eder, Andreas Vogelsang, Martin Feilkas
Seamless Modeling of an Automation Example Using the SPES Methodology
pp. 32, , 2011
Tech_Report | 1245 | Details | Bibtex-Eintrag

Andreas Rausch, Marco Kuhrmann
A Proposal for Principles and Values from the Perspective of the German Standard IT-Development Process V-Modell XT
Proceedings of the International Conference on Software and Systems Process (ICSSP),pp. 230--233, ACM Press, 2011
Conference | 1247 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann
User Assistance during Domain-specific Language Design
ICSE 2011 Workshop on Flexible Modeling Tools (FlexiTools),ACM Press, 2011
Conference | 1248 | Details | Bibtex-Eintrag

PDF-Datei Thomas Tuerk
A Separation Logic Framework for HOL
University of Cambridge, Computer Laboratory, 2011
Tech_Report | 1259 | Details | Bibtex-Eintrag

Marco Kuhrmann, Christian Lange, André Schnackenburg
A Survey on the Application of the V-Modell XT in German Government Agencies
Proceedings of the 18th Conference on European System & Software Process Improvement and Innovation (EuroSPI),pp. 49 ff., Springer Verlag, 2011
Conference | 1260 | Details | Bibtex-Eintrag

Marc Sihling, Andreas Rausch, Christian Lange, Marco Kuhrmann
Proceeding zur SEE 2011
, 2011
Tech_Report | 1261 | Details | Bibtex-Eintrag

Patrick Keil, Marco Kuhrmann, Tuomas Niinimäki
5th International Workshop on Tool Support Development and Management in Distributed Software Projects
2011 Sixth IEEE International Conference on Global Software Engineering Workshops (Proceedings),pp. 60 ff., IEEE Computer Society, 2011
Inbook | 1262 | Details | Bibtex-Eintrag

Constanze Deiters, Christoph Herrmann, Roland Hildebrandt, Eric Knauss, Marco Kuhrmann, Andreas Rausch, Bernhard Rumpe, Kurt Schneider
GloSE-Lab: Teaching Global Software Engineering
Proceedings of 6th IEEE International Conference on Global Software Engineering,pp. 156--160, IEEE Computer Society, 2011
Conference | 1263 | Details | Bibtex-Eintrag

Daniela Costache, Georg Kalus, Marco Kuhrmann
Design and Validation of Feature-based Process Model Tailoring - A Sample Implementation of PDE
Proceedings of the 8th European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEM/FSE 2011),pp. 464--467, ACM Press, 2011
Conference | 1264 | Details | Bibtex-Eintrag

Marco Kuhrmann, Patrick Keil, André Schnackenburg, Oliver Linssen
Vorgehensmodelle in der Praxis- Industrialisierung der Softwareentwicklung durch strukturierte Vorgehensmodelle?
,pp. 383 ff., , 2011
Inbook | 1265 | Details | Bibtex-Eintrag

PDF-Datei Birgit Penzenstadler, Veronika Bauer, Andreas Fleischmann
Seminar: Sustainability in Software Engineering
pp. 125, , 2011
Tech_Report | 1266 | Details | Bibtex-Eintrag

PDF-Datei Wolfgang Schwitzer, Vlad Popa
Using Protocol Buffers for Resource-Constrained Distributed Embedded Systems
pp. 22, , 2011
Tech_Report | 1267 | Details | Bibtex-Eintrag

PDF-Datei Benedikt Hauptmann, Maximilian Junker
Utilizing user interface models for automated instantiation and execution of system tests
Proceedings of the First International Workshop on End-to-End Test Script Engineering,pp. 8--15, ACM, 2011
Conference | 1289 | Details | Bibtex-Eintrag

PDF-Datei Benedikt Hauptmann
Model-based test instantiation for applications with user interfaces
Proceedings of the 12th International Conference on Product Focused Software Development and Process Improvement,pp. 27--30, ACM, 2011
Conference | 1290 | Details | Bibtex-Eintrag

2010


Lars Heinemann and Christian Neumann and Birgit Penzenstadler and Wassiou Sitou (eds)
Software Architecture in Depth
pp. 158, , 2010
Tech_Report | 1192 | Details | Bibtex-Eintrag

Marc Sihling, Andreas Rausch, Jan Friedrich, Marco Kuhrmann
Proceedings zur SEE 2010
, 2010
Tech_Report | 1193 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Martin Feilkas, Markus Herrmannsdoerfer, Stefano Merenda, Daniel Ratiu
Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments
Proceedings of the IEEE,pp. 526 - 545, IEEE, 2010
Article | 1199 | Details | Bibtex-Eintrag

Editoren: Oliver Linssen, Thomas Greb, Marco Kuhrmann, Dietmar Lange, Reinhard Höhn
Integration von Vorgehensmodellen und Projektmanagement
,Shaker Verlag, 2010
Book | 1200 | Details | Bibtex-Eintrag

Marco Kuhrmann, Georg Kalus, Manuel Then
Unterstützung für Prozesse mit dem Process Enactment Tool Framework
,pp. 91--101, Shaker Verlag, 2010
Conference | 1201 | Details | Bibtex-Eintrag

Editoren: Patrick Keil, Marco Kuhrmann, Daniel Paulish
4th International Workshop on Tool-Supported Development and Management in Distributed Software Projects
Proceedings of the Fifth IEEE International Conference on Global Software Engineering ICGSE 2010 (August 23-66 2010, Princeton, NJ, USA),ch. Online, IEEE Computer Society, 2010
Inbook | 1221 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Georg Kalus, Manuel Then, Eugen Wachtel
From Design to Tools: Process Modeling and Enactment with PDE and PET
Proceedings of Third International Workshop on Academic Software Development Tools and Techniques (WASDeTT-3), co-located with the 25th IEEE/ACM International Conference on Automated Software Engineer,ch. Online, 2010
Conference | 1222 | Details | Bibtex-Eintrag

Christof Wecker, Karsten Stegmann, Florian Bernstein, Michael J. Huber, Georg Kalus, Ingo Kollar, Sabine Rathmayer, Frank Fischer
S-COL: A Copernican turn for the development of flexibly reusable collaboration scripts
International Journal of Computer-Supported Collaborative Learning,pp. 321--343, Springer New York, 2010
Article | 1223 | Details | Bibtex-Eintrag

W. Achtert, T. Becker, H. Biskup, D. Hellebrand, J. Herczeg, S. Krause, M. Kuhrmann, F. Maar, F. Marschall, M. Minich, F. Simon, S. Ziegler
Industrielle Softwareentwicklung - Leitfaden und Orientierungshilfe
BITKOM, 2010
Tech_Report | 1224 | Details | Bibtex-Eintrag

Marco Kuhrmann, Patrick Keil, André Schnackenburg, Oliver Linssen
Vorgehensmodelle in der Praxis - Lösung oder Ursache aller Probleme
,pp. 199--226, , 2010
Inbook | 1225 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof and Ricardo Gacitua and Mark Rouncefield and Pete Sawyer
Concept Mapping as a Means of Requirements Tracing
MARK\'10: Third International Workshop on Managing Requirements Knowledge,IEEE Computer Society Conference Publishing Services, 2010
Conference | 1226 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof and Ricardo Gacitua and Mark Rouncefield and Pete Sawyer
Ontology and Model Alignment as a Means for Requirements Validation
Fourth IEEE International Conference on Semantic Computing,pp. 46-51, IEEE Computer Society Conference Publishing Services, 2010
Conference | 1227 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof
From Requirements Documents to System Models: Interactive Semi-Automatic Translation
18th IEEE International Requirements Engineering Conference,pp. 391-392, IEEE Computer Society Conference Publishing Services, 2010
Conference | 1228 | Details | Bibtex-Eintrag

PDF-Datei Benedikt Gleich and Oliver Creighton and Leonid Kof
Ambiguity Detection: Towards a Tool Explaining Ambiguity Sources
Requirements Engineering: Foundation for Software Quality, 16th International Working Conference,pp. 218-232, Springer, 2010
Conference | 1229 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Georg Kalus, Eugen Wachtel, Manfred Broy
Visual Process Model Design using Domain-specific Languages
Proceedings of SPLASH Workshop on Flexible Modeling Tools 2010,ACM Press, 2010
Conference | 1230 | Details | Bibtex-Eintrag

Daniel Mendez-Fernandez, Birgit Penzenstadler, Marco Kuhrmann, Manfred Broy
A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering
Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems (MODELS 2010),pp. 183--197, Speinger Verlag, 2010
Conference | 1231 | Details | Bibtex-Eintrag

PDF-Datei Maria Spichkova
Architecture: Methodology of Decomposition
pp. 65, , 2010
Tech_Report | 1232 | Details | Bibtex-Eintrag

PDF-Datei Maria Spichkova
From Semiformal Requirements To Formal Specification
pp. 32, , 2010
Tech_Report | 1233 | Details | Bibtex-Eintrag

PDF-Datei F. Hoelzl, M. Spichkova, D. Trachtenherz
AutoFocus Tool Chain
Technische Universitaet M?nchen, 2010
Tech_Report | 1236 | Details | Bibtex-Eintrag

PDF-Datei F. Hoelzl, M. Spichkova, D. Trachtenherz
Safety-Critical System Development Methodology
, 2010
Tech_Report | 1237 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Georg Kalus, Manuel Then
Flexible Process-Tool-Integration
, 2010
Tech_Report | 1241 | Details | Bibtex-Eintrag

PDF-Datei Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif
Software Metrics in Static Program Analysis
Formal Methods and Software Engineering,pp. 485-500, Springer Berlin / Heidelberg, 2010
Conference | 1240 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Christian Leuxner, Daniel Méndez Fernández, Lars Heinemann, Bernd Spanfelner, Wolfgang Mai, Rainer Schlör
Towards a Formal Engineering Approach for SOA
pp. 14, , 2010
Tech_Report | 1242 | Details | Bibtex-Eintrag

PDF-Datei Thomas Tuerk
Local Reasoning about While-Loops
VSTTE 2010. Workshop Proceedings,pp. 29-39, , 2010
Conference | 1250 | Details | Bibtex-Eintrag

PDF-Datei Dominik Seichter, Deepak Dhungana, Andreas Pleuss, Benedikt Hauptmann
Knowledge management in software ecosystems: software artefacts as first-class citizens
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume,pp. 119--126, ACM, 2010
Conference | 1291 | Details | Bibtex-Eintrag

2009


PDF-Datei M. Feilkas, A. Fleischmann, F. Hölzl, C. Pfaller, K. Scheidemann, M. Spichkova, D. Trachtenherz
A Top-Down Methodology for the Development of Automotive Software
, 2009
Tech_Report | 1123 | Details | Bibtex-Eintrag

PDF-Datei David Trachtenherz
Ausführungssemantik von AutoFocus-Modellen: Isabelle/HOL-Formalisierung und Äquivalenzbeweis
, 2009
Tech_Report | 1124 | Details | Bibtex-Eintrag

PDF-Datei Christian Menkens
Towards a Context Aware Mobile Community Application Platform
6th International Conference on Information Technology : New Generations - ITNG 2009,2009
Conference | 1128 | Details | Bibtex-Eintrag

PDF-Datei Thomas Ternité, Marco Kuhrmann
Das V-Modell XT 1.3 Metamodell
, 2009
Tech_Report | 1129 | Details | Bibtex-Eintrag

Jewgenij Botaschanjan and Alexander Harhurin
Integrating Functional and Architectural Views of Reactive Systems
CBSE\'09: 12th International Symposium on Component Based Software Engineering ,Springer Verlag, 2009
Conference | 1130 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Thomas Ternité
Das V-Modell XT 1.3 - Neuerungen für Anwender und Prozessingenieure
,pp. 97--108, Shaker Verlag, 2009
Conference | 1131 | Details | Bibtex-Eintrag

Broy,, M. and Leuxner,, C. and Sitou,, W. and Spanfelner,, B. and Winter,, S.
Formalizing the notion of adaptive system behavior
SAC \'09: Proceedings of the 2009 ACM symposium on Applied Computing,pp. 1029--1033, ACM, 2009
Conference | 1133 | Details | Bibtex-Eintrag

Leonid Kof
From Textual Scenarios to Message Sequence Charts
Artificial Intelligence Applications for Improved Software Engineering Development: New Prospects,pp. 83-105, IGI Global, 2009
Inbook | 1134 | Details | Bibtex-Eintrag

PDF-Datei Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, Veronika Thurner, Armin Schneider
Modeling Work Flows For Building Context-Aware Applications
pp. 37, , 2009
Tech_Report | 1135 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Mario Gleirscher, Peter Kluge, Wolfgang Krenzer, Stefano Merenda, Doris Wild
Automotive Architecture Framework: Towards a Holistic and Standardised System Architecture Description.
Automotive Architecture Framework: Towards a Holistic and Standardised System Architecture Description.An overview on description concepts, models and methods. ,, 2009
Tech_Report | 1136 | Details | Bibtex-Eintrag

Stefan Wagner, Manfred Broy, Florian Deissenboeck, Peter Liggesmeyer
Tagungsband 2. Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB \'09)
, 2009
Tech_Report | 1185 | Details | Bibtex-Eintrag

PDF-Datei Alexander Harhurin and Judith Hartmann and Daniel Ratiu
Motivation and Formal Foundations of a Comprehensive Modeling Theory for Embedded Systems
, 2009
Tech_Report | 1186 | Details | Bibtex-Eintrag

PDF-Datei Martin Feilkas and Alexander Harhurinand Judith Hartmann and Daniel Ratiu and Wolfgang Schwitzer
Motivation and Introduction of a System of Abstraction Layers for Embedded Systems
, 2009
Tech_Report | 1187 | Details | Bibtex-Eintrag

PDF-Datei Martin Feilkas, Daniel Ratiu, Elmar Juergens
The Loss of Architectural Knowledge during System Evolution: An Industrial Case Study
ICPC 09: Proc. of the 17th 17th IEEE International Conference on Program Comprehension. ,IEEE, 2009
Conference | 1138 | Details | Bibtex-Eintrag

PDF-Datei Markus Herrmannsdoerfer, Sebastian Benz, Elmar Juergens
COPE - Automating Coupled Evolution of Metamodels and Models
accepted for publication in ECOOP \'09: 23rd European Conference on Object-Oriented Programming,Springer, 2009
Conference | 1139 | Details | Bibtex-Eintrag

PDF-Datei Elmar Juergens, Florian Deissenboeck, Benjamin Hummel
Clone Detection Beyond Copy & Paste
Proc. of the 3rd International Workshop on Software Clones,2009
Conference | 1143 | Details | Bibtex-Eintrag

PDF-Datei Florian Deissenboeck, Elmar Juergens, Klaus Lochmann, Stefan Wagner
Software Quality Models: Purposes, Usage Scenarios and Requirements
In Proc. Seventh Workshop on Software Quality (7-WoSQ), IEEE Computer Society,IEEE Computer Society, 2009
Conference | 1151 | Details | Bibtex-Eintrag

PDF-Datei E. Juergens, F. Deissenboeck, B. Hummel
CloneDetective — A Workbench for Clone Detection Research
ICSE \'09: Proc. of the 31st International Conference on Software Engineering,IEEE, 2009
Conference | 1149 | Details | Bibtex-Eintrag

Jewgenij Botaschanjan and Alexander Harhurin
Property-Driven Scenario Integration
7th IEEE International Conference on Software Engineering and Formal Methods (SEFM),IEEE Computer Society, 2009
Conference | 1158 | Details | Bibtex-Eintrag

Jan Friedrich, Marco Kuhrmann, Andreas Rausch, Marc Sihling
Proceedings zur SEE 2009
, 2009
Tech_Report | 1159 | Details | Bibtex-Eintrag

Jan Friedrich, Ulrike Hammerschall, Marco Kuhrmann, Marc Sihling
Das V-Modell XT - Für Projektleiter und QS-Verantwortliche kompakt und übersichtlich
Springer, 2009
Book | 1160 | Details | Bibtex-Eintrag

Christian Bartelt, Manfred Broy, Christoph Herrmann, Erik Knauss, Marco Kuhrmann, Andreas Rausch, Bernhard Rumpe, Kurt Schneider
Orchestration of Global Software Engineering Projects
Proceedings of the Third International Workshop on Tool Support Development and Management in Distributed Software Projects, collocated with the Fourth IEEE International Conference on Global Software,pp. 332--337, IEEE Computer Society, 2009
Conference | 1161 | Details | Bibtex-Eintrag

Christof Wecker, Karsten Stegmann, Florian Bernstein, Michael J. Huber, Georg Kalus, Sabine Rathmayer, Ingo Kollar, Frank Fischer
Sustainable Script and Scaffold Development for Collaboration on Varying Web Content: The S-COL Technological Approach
CSCL\'09: Proceedings of the 9th international conference on Computer supported collaborative learning,pp. 512--516, International Society of the Learning Sciences, 2009
Conference | 1162 | Details | Bibtex-Eintrag

Editoren: Chintan Amrit, Patrick Keil, Marco Kuhrmann
3rd International Workshop on Tool-Supported Development and Management in Distributed Software Projects
Proceedings of the Fourth IEEE International Conference on Global Software Engineering ICGSE 2009 (July 13-16 2009, Limerick, Ireland),ch. Online, IEEE Computer Society, 2009
Inbook | 1163 | Details | Bibtex-Eintrag

PDF-Datei Eugen Wachtel, Marco Kuhrmann, Georg Kalus
A Domain Specific Language for Project Execution Models
,pp. 2986--3000, , 2009
Conference | 1164 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner, Klaus Lochmann, Sebastian Winter, Andreas Goeb, Michael Klaes
Quality Models in Practice: A Preliminary Analysis
In: Proc. 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM \'09),IEEE Computer Society, 2009
Conference | 1167 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner, Daniel Mendez Fernandez, Shareeful Islam, Klaus Lochmann
A Security Requirements Approach for Web Systems
In: Proc. Workshop Quality Assessment in Web (QAW 2009),,CEUR, 2009
Tech_Report | 1168 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner
A Bayesian Network Approach to Assess and Predict Software Quality Using Activity-Based Quality Models
In: Proc. International Conference on Predictor Models in Software Engineering (PROMISE \'09),ACM Press, 2009
Conference | 1170 | Details | Bibtex-Eintrag

PDF-Datei Marc Giombetti, Ricardo Valerdi, Stefan Wagner
The Influence of Software Quality Requirements on the Suitability of Software Cost Estimation Methods
, 2009
Conference | 1172 | Details | Bibtex-Eintrag

PDF-Datei Peter Braun, Jan Philipps, Bernhard Schatz, Stefan Wagner
Model-Based Safety-Cases for Software-Intensive Systems
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert 2008),pp. 71-77, 2009
Conference | 1173 | Details | Bibtex-Eintrag

Marco Kuhrmann, Patrick Keil, André Schnackenburg
Vorgehensmodelle in der Praxis - Evolution und Wandlungsfähigkeit
,pp. 453--460, , 2009
Inbook | 1174 | Details | Bibtex-Eintrag

Gerhard Chroust, Marco Kuhrmann, Erwin Schoitsch
Modeling Software Development Processes
Social, Managerial, and Organizational Dimensions of Enterprise Information Systems,ch. 2, pp. 31--62, IGI Global, 2009
Inbook | 1175 | Details | Bibtex-Eintrag

Marco Kuhrmann, Georg Kalus, Gerhard Chroust
Tool-Support for Software Development Process
Social, Managerial, and Organizational Dimensions of Enterprise Information Systems,ch. 11, pp. 213-231, IGI Global, 2009
Inbook | 1176 | Details | Bibtex-Eintrag

PDF-Datei Markus Herrmannsdoerfer and Stefano Merenda
Result of the Tool Questionnaire
, 2009
Tech_Report | 1188 | Details | Bibtex-Eintrag

PDF-Datei Daniel Ratiu, Wolfgang Schwitzer and Judith Thyssen
A System of Abstraction Layers for the Seamless Development of Embedded Software Systems
, 2009
Tech_Report | 1189 | Details | Bibtex-Eintrag

PDF-Datei Daniel Méndez Fernández, Marco Kuhrmann
Artefact-based Requirements Engineering and its Integration into a Process Framework
, 2009
Tech_Report | 1190 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof
Translation of Textual Specifications to Automata by Means of Discourse Context Modeling
Requirements Engineering: Foundation for Software Quality, 15th International Working Conference,pp. 197-211, Springer, 2009
Conference | 1182 | Details | Bibtex-Eintrag

PDF-Datei Eugen Wachtel, Marco Kuhrmann, Georg Kalus
Eine domänenspezifische Sprache zur Modellierung und Prüfung von Projektabläufen
, 2009
Tech_Report | 1183 | Details | Bibtex-Eintrag

PDF-Datei Elmar Juergens, Florian Deissenboeck, Benjamin Hummel, Stefan Wagner
Do Code Clones Matter?
Proc. 31st International Conference on Software Engineering (ICSE \'09). ,IEEE Computer Society, 2009
Conference | 1184 | Details | Bibtex-Eintrag

PDF-Datei Alexander Harhurin, Judith Hartmann and Daniel Ratiu
Motivation and Formal Foundations of a Comprehensive Modeling Theory for Embedded Systems
pp. 31, , 2009
Tech_Report | 1191 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Andreas Fleischman, Shareeful Islam, Leonid Kof, Klaus Lochman, Christian Leuxner, Birgit Penzenstadler, Daniel Mendez Fernandez, Wassiou Sitou, Sebastian Winter
Towards an Integrated Approach to Requirement Engineering
, 2009
Tech_Report | 1194 | Details | Bibtex-Eintrag

PDF-Datei Peter Braun, Manfred Broy, Frank Houdek, Matthias Kirchmayr, Mark Müller, Birgit Penzenstadler, Klaus Pohl, Thorsten Weyer
Entwicklung eines Leitfadens für das Requirements Engineering softwareintensiver Eingebetteter Systeme
, 2009
Tech_Report | 1195 | Details | Bibtex-Eintrag

Broy, Fleischmann, Islam, Kof, Lochmann, Leuxner, Penzenstadler, Mendez, Sitou, Winter
Towards an Integrated Approach to Requirement Engineering
pp. 73, , 2009
Tech_Report | 1196 | Details | Bibtex-Eintrag

Birgit Penzenstadler, Tobias Schlosser, Gabriele Haller, Gabriele Frenzel
Soft Skills REquired: A practical approach on how to introduce soft skills in the engineering world
Workshop CIRCUS, International IEEE Conference on Requirements Engineering,2009
Conference | 1197 | Details | Bibtex-Eintrag

Birgit Penzenstadler, Ernst Sikora, Klaus Pohl
A Requirements Reference Model for Model-Based Requirements Engineering in the Automotive Domain
REFSQ - International Working Conference on Requirements Engineering: Foundation for Software Quality,2009
Conference | 1198 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof
Requirements Analysis: Concept Extraction and Translation of Textual Specifications to Executable Models
Application of Natural Language to Information Systems,pp. 79-90, Springer, 2009
Conference | 1234 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof
Scenario Analysis: Generation of Possible Scenario Interpretations and their Visualization
REV\'09: Fourth International Workshop on Requirements Engineering Visualization,pp. 21-30, IEEE Computer Society Conference Publishing Services, 2009
Conference | 1235 | Details | Bibtex-Eintrag

PDF-Datei Thomas Tuerk
A Formalisation of Smallfoot in HOL
Theorem Proving in Higher Order Logics,pp. 469-484, Springer Berlin / Heidelberg, 2009
Conference | 1252 | Details | Bibtex-Eintrag

2008


Norbert Diernhofer
Windows Mobile 6 und Asterisk
, 2008
Tech_Report | 1056 | Details | Bibtex-Eintrag

Marco Kuhrmann, Georg Kalus, Norbert Diernhofer
Generating Tool-based Process-Environments from formal Process Model Descriptions -- Concepts, Experiences and Samples
Proceedings of the IASTED International Conference on Software Engineering (SE 2008) as part of the 26th IASTED International Multi-Conference on Applied Informatics,ACTA Press, 2008
Conference | 1059 | Details | Bibtex-Eintrag

PDF-Datei Michael Fahrmair, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner
Adaptation Design in Ubiquitous Computing
pp. 60, , 2008
Tech_Report | 1058 | Details | Bibtex-Eintrag

Marco Kuhrmann
Integration des V-Modell®XT im Visual Studio Team Foundation Server -- Erfahrungen aus dem Projekt CollabXT
,2008
Conference | 1060 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Georg Kalus
Werkzeugspezifisches Tailoring für das V-Modell XT
, 2008
Tech_Report | 1061 | Details | Bibtex-Eintrag

Marco Kuhrmann
CollabXT: Kollaboration und verteilte Entwicklung mit dem V-Modell XT
OBJEKTspektrum,pp. 61--65, SIGS Datacom, 2008
Article | 1062 | Details | Bibtex-Eintrag

PDF-Datei Alexander Harhurin, Judith Hartmann
Towards Consistent Specifications of Product Families
FM'08: 15th International Symposium on Formal Methods,Springer Verlag, 2008
Conference | 1063 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann
Automatisches, werkzeugspezifisches Tailoring für das V-Modell®XT
,pp. 84--93, Shaker Verlag, 2008
Conference | 1065 | Details | Bibtex-Eintrag

Jan Friedrich, Marco Kuhrmann, Thomas Ternité
Erweitertes Tailoring und verbesserte organisationsspezifische Anpassung mit dem neuen V-Modell®XT Metamodell
,pp. 226-240, Shaker Verlag, 2008
Conference | 1066 | Details | Bibtex-Eintrag

Cornel Klein, Reiner Schmid, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner
A Survey of Context Adaptation in Autonomic Computing
Fourth International Conference on Autonomic and Autonomous Systems (ICAS\'08),pp. 106-111, IEEE Computer Society, 2008
Conference | 1067 | Details | Bibtex-Eintrag

PDF-Datei Florian Deissenboeck, Benjamin Hummel, Elmar Juergens, Bernhard Schaetz, Stefan Wagner, Jean-Francios Girard, Stefan Teuchert
Clone Detection in Automotive Model-Based Development
Proceedings of the 30th Intl. Conference on Software Engineering (ICSE 2008),ACM Press, 2008
Conference | 1068 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner, Florian Deissenboeck, Michael Aichner, Johann Wimmer, Markus Schwalb
An Evaluation of Two Bug Pattern Tools for Java
Proceedings of the 1st IEEE Intl. Conference on Software Testing, Verification and Validation (ICST 2008),IEEE Computer Society Press, 2008
Conference | 1069 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner
Defect Classification and Defect Types Revisited
Proc. International Workshop on Defects in Large Software Systems (DEFECTS 2008),ACM Press, 2008
Conference | 1070 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner, Florian Deissenboeck, Sebastian Winter
Managing Quality Requirements Using Activity-Based Quality Models
Proc. 6th Workshop on Software Quality (6-WoSQ),ACM Press, 2008
Conference | 1071 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner, Florian Deissenboeck
Abstractness, Specificity, and Complexity in Software Design
Proc. Workshop on the Role of Abstraction in Software Engineering (ROA \'08),ACM Press, 2008
Conference | 1072 | Details | Bibtex-Eintrag

PDF-Datei Christian Pfaller, Stefan Wagner, Jörg Gericke, Matthias Wiemann
Multi-Dimensional Measures for Test Case Quality
Proc. Workshop on a Benchmark for Software Testing (TestBench \'08),IEEE Computer Society Press, 2008
Conference | 1073 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner, Florian Deissenboeck, Sebastian Winter
Erfassung, Strukturierung und Überprüfung von Qualitätsanforderungen durch aktivitätenbasierte Qualitätsmodelle
,2008
Conference | 1074 | Details | Bibtex-Eintrag

Stefan Wagner, Florian Deißenböck, Martin Feilkas, Elmar Jürgens
Software-Qualitätsmodelle in der Praxis: Erfahrungen mit aktivitätenbasierten Modellen
,, 2008
Conference | 1075 | Details | Bibtex-Eintrag

PDF-Datei Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner
Model-Based Safety Cases for Software-Intensive Systems
Proc. International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert 2008) ,2008
Conference | 1076 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner, Manfred Broy, Florian Deissenboeck, Jürgen Münch, Peter Liggesmeyer (Hrsg.)
Workshop-Band Software-Qualitätsmodellierung und -bewertung (SQMB \'08)
, 2008
Tech_Report | 1078 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner, Manfred Broy, Florian Deissenboeck, Michael Kläs, Peter Liggesmeyer, Jürgen Münch, Jonathan Streit
Eine Forschungsagenda für Softwarequalität
,, 2008
Conference | 1079 | Details | Bibtex-Eintrag

PDF-Datei Jewgenij Botaschanjan, Alexander Harhurin, Leonid Kof
Service-Based Specification of Reactive Systems
, 2008
Tech_Report | 1085 | Details | Bibtex-Eintrag

PDF-Datei Alexander Harhurin, Judith Hartmann
Service-oriented Commonality Analysis Across Existing Systems
12th International Software Product Line Conference,IEEE Computer Society, 2008
Conference | 1125 | Details | Bibtex-Eintrag

PDF-Datei David Bettencourt da Cruz, Birgit Penzenstadler
Designing, Documenting, and Evaluating Software Architecture
pp. 45, , 2008
Tech_Report | 1086 | Details | Bibtex-Eintrag

Maria Spichkova
Refinement-based verification of interactive real-time Systems
REFINE 2008 -- International Refinement Workshop,ENTCS, 2008
Conference | 1088 | Details | Bibtex-Eintrag

Marco Kuhrmann
Konstruktion modularer Vorgehensmodelle
, 2008
PHDthesis | 1089 | Details | Bibtex-Eintrag

Editoren: Manfred Broy, Ingolf H. Krüger, and Michael Meisinger
Model-Driven Development of Reliable Automotive Services
Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers,Springer, Heidelberg, 2008
Book | 1090 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Martin Feilkas, Johannes Grünbauer, Alexander Gruler, Alexander Harhurin, Judith Hartmann, Birgit Penzenstadler, Bernhard Schätz, Doris Wild
Umfassendes Architekturmodell für das Engineering eingebetteter Software-intensiver Systeme
, 2008
Tech_Report | 1091 | Details | Bibtex-Eintrag

Editoren: Chintan Amrit, Patrick Keil, Marco Kuhrmann
Proceedings of the 2nd Workshop Tool Support and Requirements Management in Distributed Projects (REMIDI)
Center for Telematics and Information Technology (CTIT), Enschede, 2008
Book | 1097 | Details | Bibtex-Eintrag

PDF-Datei Matthias Rungger, Olaf Stursberg, Bernd Spanfelner, Christian Leuxner, Wassiou Sitou
Efficient Planning of Autonomous Systems using Hierarchical Decomposition
ICINCO 2008: 5th International Conference on Informatics in Control, Automation and Robotics, 2008. May 2008, Funchal, Madeira - Portugal,2008
Conference | 1093 | Details | Bibtex-Eintrag

PDF-Datei Franz Huber, Tobias Schröpf
Hochverfügbarkeit für Linux
, 2008
Tech_Report | 1094 | Details | Bibtex-Eintrag

PDF-Datei Martin Fritzsche, Manfred Broy
Criteria for the Evaluation of Requirements Engineering Methods in a Change Intensive Environment
, 2008
Tech_Report | 1095 | Details | Bibtex-Eintrag

PDF-Datei Michael Meisinger, Sabine Rittmann
A comparison of service-oriented development approaches
, 2008
Tech_Report | 1096 | Details | Bibtex-Eintrag

PDF-Datei M. Spichkova, J. Jürjens
Formal Specification of Cryptographic Protocols and Their Composition Properties
, 2008
Tech_Report | 1099 | Details | Bibtex-Eintrag

PDF-Datei M. Spichkova
Focus on Isabelle: From Specification to Verification
Theorem Proving in Higher-Order Logics (TPHOLs 2008): Emerging Trends,Concordia University, 2008
Conference | 1100 | Details | Bibtex-Eintrag

Marco Kuhrmann, Patrick Keil, Ralf Kneuper, Hubert Biskup
Vorgehensmodelle in der Praxis - Werkzeuge und Anwendung
,pp. 313--353, , 2008
Inbook | 1103 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Ulrike Hammerschall
Anpassung des V-Modell XT - Leitfaden zur organisationsspezifischen Anpassung des V-Modell XT
, 2008
Tech_Report | 1104 | Details | Bibtex-Eintrag

PDF-Datei Michael Fahrmair, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner
CAWAR - Formalizing a Framework for Ubiquitous Computing Applications
pp. 36, , 2008
Tech_Report | 1105 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof
From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction
16th IEEE International Requirements Engineering Conference,pp. 331-332, IEEE Computer Society Conference Publishing Services, 2008
Conference | 1106 | Details | Bibtex-Eintrag

PDF-Datei Penzenstadler, Birgit and Koss, Dagmar
High Confidence Subsystem Modelling for Reuse
High Confidence Software Reuse in Large Systems, Proceedings of the Intl. Conf. on Software Reuse,2008
Conference | 1107 | Details | Bibtex-Eintrag

PDF-Datei Birgit Penzenstadler and Joerg Leuser
Complying with Law for RE in the Automotive Domain
Workshop Requirements Engineering and Law (RELAW) at the Intl.Requirements Engineering Conference,2008
Conference | 1108 | Details | Bibtex-Eintrag

PDF-Datei Birgit Penzenstadler
Tackling Automotive Challenges with an Integrated RE \\& Design Artifact Model
Intl. Workshop on System/Software Architecture,2008
Conference | 1109 | Details | Bibtex-Eintrag

Jan Friedrich, Ulrike Hammerschall, Marco Kuhrmann, Marc Sihling
Das V-Modell XT - Für Projektleiter und QS-Verantwortliche kompakt und übersichtlich
Springer, 2008
Book | 1110 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof
On the Identification of Goals in Stakeholders Dialogs
14th Monterey Workshop. Workshop on Innovations for Requirements Analysis: From Stakeholders Needs to Formal Designs,pp. 161-181, Springer, 2008
Conference | 1111 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Georg Kalus
Providing Integrated Development Processes for Distributed Development Environments
Workshop on Supporting Distributed Team Work at Computer Supported Cooperative Work (CSCW 2008) ,2008
Conference | 1112 | Details | Bibtex-Eintrag

PDF-Datei Alexander Harhurin and Judith Hartmann
Dienstbasierte Spezifikation des ACC, Fallstudie
, 2008
Tech_Report | 1113 | Details | Bibtex-Eintrag

PDF-Datei S. Wagner, M. Ruhe
A Structured Review of Productivity Factors in Software Development Technical
, 2008
Tech_Report | 1114 | Details | Bibtex-Eintrag

PDF-Datei S. Wagner, F. Deissenboeck, B. Hummel, E. Juergens, B. Mas y Parareda, B. Schaetz (Eds.)
Selected Topics in Software Quality
, 2008
Tech_Report | 1115 | Details | Bibtex-Eintrag

PDF-Datei S. Wagner, M. Ruhe
A Systematic Review of Productivity Factors in Software Development
In: Proc. 2nd International Workshop on Software Productivity Analysis and Cost Estimation (SPACE 2008),State Key Laboratory of Computer Science, Institute of Software, 2008
Tech_Report | 1116 | Details | Bibtex-Eintrag

PDF-Datei S. Wagner, M. Ruhe
Using a Bayesian Network in the ProdFLOW™ Approach
State Key Laboratory of Computer Science, Institute of Software , 2008
Tech_Report | 1117 | Details | Bibtex-Eintrag

PDF-Datei M. Ruhe, S. Wagner
Using the ProdFLOW™ Approach to Address the Myth of Productivity in R&D Organizations
Proc. 2nd International Symposium on Empirical Software Engineering and Measurement (ESEM \'08),ACM Press, 2008
Conference | 1118 | Details | Bibtex-Eintrag

F. Deissenboeck, E. Juergens, B. Hummel, S. Wagner, B. Mas y Parareda, M. Pizka
Tool Support for Continuous Quality Control
IEEE Software,IEEE, 2008
Conference | 1119 | Details | Bibtex-Eintrag

S. Wagner, F. Deissenboeck, S. Teuchert, J.-F. Girard
Model-Driven Software Development: Integrating Quality Assurance
Information Science Reference, 2008
Book | 1120 | Details | Bibtex-Eintrag

Alexander Bösl, Jan Ebell, Marco Kuhrmann, Andreas Rausch
Der Einsatz des V-Modell XT bei Witt Weiden: Nutzen und Kosten
OBJEKTspektrum,pp. 31--37, SIGS Datacom, 2008
Article | 1121 | Details | Bibtex-Eintrag

Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang Paul and Maria Spichkova
On the correctness of upper layers of automotive systems
Formal Aspects of Computing,pp. 637-662, 2008
Article | 1122 | Details | Bibtex-Eintrag

Christian Menkens
Social Community Network Applicationwith IP Multimedia Subsystem (IMS)
, 2008
Book | 1126 | Details | Bibtex-Eintrag

PDF-Datei Markus Herrmannsdoerfer, Sebastian Benz, Elmar Juergens
Automatability of Coupled Evolution of Metamodels and Models in Practice
MODELS 08: Proc. of the 11th International Conference on Model Driven Engineering Languages and Systems. ,ACM, 2008
Conference | 1140 | Details | Bibtex-Eintrag

PDF-Datei F. Deissenboeck, B. Hummel, E. Juergens, B. Schaetz, S. Wagner, S. Teuchert, J.-F. Girard
Clone Detection in Automotive Model-Based Development
ICSE \'08: Proc. of the 30th International Conference on Software Engineering,ACM, 2008
Conference | 1141 | Details | Bibtex-Eintrag

PDF-Datei Markus Herrmannsdoerfer, Sebastian Benz, Elmar Juergens
COPE: A Language for the Coupled Evolution of Metamodels and Models
Proc. of the 1st International Workshop on Model Co-Evolution and Consistency Management.,ACM, 2008
Conference | 1152 | Details | Bibtex-Eintrag

PDF-Datei Elmar Juergens, Benjamin Hummel, Florian Deissenboeck, Martin Feilkas
Static Bug Detection Through Analysis of Inconsistent Clones
,2008
Conference | 1146 | Details | Bibtex-Eintrag

PDF-Datei Markus Herrmannsdoerfer, Sebastian Benz, Elmar Juergens
COPE: Coupled Evolution of Metamodels and Models for the Eclipse Modeling Framework
Eclipse Modeling Symposium,2008
Article | 1153 | Details | Bibtex-Eintrag

PDF-Datei S. Wagner, F. Deissenboeck, B. Hummel, E. Juergens, B. Mas y Parareda, B. Schaetz (Eds.)
Selected Topics in Software Quality
,, 2008
Tech_Report | 1154 | Details | Bibtex-Eintrag

F. Deissenboeck, E. Juergens, B. Hummel, S. Wagner, B. Mas y Parareda, M. Pizka
Tool Support for Continuous Quality Control
IEEE Software, vol. 25, #5, p. 60-67,2008
Article | 1155 | Details | Bibtex-Eintrag

S. Wagner, F. Deißenböck, M. Feilkas, E. Jürgens
Software-Qualitätsmodelle in der Praxis: Erfahrungen mit aktivitätenbasierten Modellen
,2008
Conference | 1156 | Details | Bibtex-Eintrag

Florian Deißenböck, Benjamin Hummel, Elmar Jürgens
ConQAT - Ein Toolkit zur kontinuierlichen Qualitätsbewertung
SE \'08: Software-Engineering-Konferenz,2008
Conference | 1157 | Details | Bibtex-Eintrag

PDF-Datei Jan J{\\\"u}rjens and Daniel Rei{\\ss} and David Trachtenherz
Model-Based Quality Assurance of Automotive Software
Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings,pp. 858--873, Springer, 2008
Conference | 1166 | Details | Bibtex-Eintrag

PDF-Datei Sabine Rittmann
A methodology for modeling usage behavior of multi-functional systems Handed in as PhD thesis
, 2008
PHDthesis | 1202 | Details | Bibtex-Eintrag

PDF-Datei A. Bir and S. Fricker and E. Geisberger and G. Heller and D. Janzen and T. von der Massen and B. Penzenstadler and K. Schmid
Zwischenbericht des AK Requirements-Engineering-Frameworks und Produktlinien
GI Softwaretechnik-Trends,pp. 1, 2008
Article | 1203 | Details | Bibtex-Eintrag

PDF-Datei Eva Geisberger and Klaus Müller and Matthias Kirchmayr and Thorsten Weyer
Entwicklung eines Praxisleitfadens für das modellbasierte Requirements Engineering softwareintensiver eingebetteter Systeme
GI Fachgruppentreffen Requirements Engineering,2008
Article | 1205 | Details | Bibtex-Eintrag

Andreas Fleischmann
Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich
Grin Verlag, 2008
Book | 1209 | Details | Bibtex-Eintrag

Martin Fritzsche
Agile Methods and Requirements Engineering in Change Intensive Projects
In Proceedings of the 3rd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 08),pp. 81-88, 2008
Conference | 1210 | Details | Bibtex-Eintrag

Florian Holzl, Sabine Rittmann
Early simulation of usage behavior of mulit-functional systems
Modellbasierte Entwicklung von eingebetteten Fahrzeugfunktionen (MOD 2008),2008
Conference | 1218 | Details | Bibtex-Eintrag

PDF-Datei T. Tuerk
A Separation Logic Framework in HOL
Theorem Proving in Higher Order Logics: Emerging Trends Proceedings,pp. 116-122, Department of Electrical Computer Engineering, Concordia Universi, 2008
Conference | 1253 | Details | Bibtex-Eintrag

2007


PDF-Datei Michael Meisinger, Ingolf Krüger
A Service-Oriented Extension of the V-Modell XT
Proceedings of the 14th Annual IEEE International Conference on the Engineering of Computer Based Systems (ECBS\'07),IEEE, 2007
Conference | 969 | Details | Bibtex-Eintrag

PDF-Datei Vina Ermagan, To-Ju Huang, Ingolf Krüger, Michael Meisinger, Massimiliano Menarini, Praveen Moorthy
Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems
Proceedings of the Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES\'07), Informatik-Bericht 2007-01,, 2007
Conference | 970 | Details | Bibtex-Eintrag

Norbert Diernhofer, Thomas Schneider
Virtualisierungslösungen für IT-Dienste – verschiedene Ebenen und Konzepte
, 2007
Tech_Report | 971 | Details | Bibtex-Eintrag

Norbert Diernhofer, Christoph Erdle
Modellbasierttes Softwaredeployment - Installation On-Demand
, 2007
Tech_Report | 972 | Details | Bibtex-Eintrag

Norbert Diernhofer
Hochverfügbare Dienste mit Windows Bordmitteln - Windows Network Load Balancing
, 2007
Tech_Report | 973 | Details | Bibtex-Eintrag

Norbert Diernhofer
Das Zentrum für Softwarekonzepte an der TU München vernetzt Wissenschaft und Mittelstand
,pp. 34-35, GI/GChACM, 2007
Article | 974 | Details | Bibtex-Eintrag

Norbert Diernhofer, Christoph Erdle
Hochverfügbarkeit & Virtualisierung - Architektur
, 2007
Tech_Report | 975 | Details | Bibtex-Eintrag

PDF-Datei Michael Fahrmair, Wassiou Sitou, Bernd Spanfelner
Privacy Management for Context Transponders
SAINT 2007. The 2007 International Symposium on Applications and the Internet,2007
Conference | 982 | Details | Bibtex-Eintrag

Marco Kuhrmann, Ulrike Hammerschall, Thomas Ternité, Marc Sihling
Individueller Standard - Das V-Modell XT an Unternehmen anpassen (Teil 1)
,pp. 134--138, Heise Zeitschriften Verlag, 2007
Article | 983 | Details | Bibtex-Eintrag

PDF-Datei Benjamin Hummel, Sven Kosub
Acyclic Type-of-Relationship Problems on the Internet: An Experimental Analysis
, 2007
Tech_Report | 984 | Details | Bibtex-Eintrag

Marco Kuhrmann, Norbert Diernhofer
Software Life Cycle - Management und Entwicklung
entwickler.press, 2007
Book | 985 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, María Victoria Cengarle, Bernhard Rumpe
Semantics of UML, Towards a System Model for UML, Part 2: The Control Model
, 2007
Tech_Report | 986 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, María Victoria Cengarle, Bernhard Rumpe
Semantics of UML, Towards a System Model for UML, Part 3: The State Machine Model
, 2007
Tech_Report | 987 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann
Prozessintegration und -anpassung
, 2007
Tech_Report | 990 | Details | Bibtex-Eintrag

Editoren: Reinhard Höhn, Marco Kuhrmann, Roland Petrasch, Stephan Höppner
Vorgehensmodelle und Projektmanagement - Assesment, Zertifizierung, Akkreditierung
,Shaker Verlag, 2007
Book | 991 | Details | Bibtex-Eintrag

PDF-Datei Georg Kalus, Marco Kuhrmann
CollabXT -- Ein Ansatz zur automatischen Erzeugung von Kollaborationsportalen aus dem V-Modell XT
,pp. 29--40, Shaker Verlag, 2007
Conference | 992 | Details | Bibtex-Eintrag

Ulrike Hammerschall, Marco Kuhrmann, Marc Sihling, Thomas Ternité
Strategischer Vorteil - Das V-Modell XT an Unternehmen anpassen (Teil 2)
,pp. 142--145, Heise Zeitschriften Verlag, 2007
Article | 993 | Details | Bibtex-Eintrag

PDF-Datei Alexander Gruler, Alexander Harhurin, Judith Hartmann
Modeling the Functionality of Multi-Functional Software Systems
14th Annual IEEE International Conference on the Engineering of Computer Based Systems (ECBS),pp. 349 - 358, IEEE Computer Society, 2007
Conference | 1054 | Details | Bibtex-Eintrag

PDF-Datei Jorge Fox, Jan Juerjens
A Framework for Analyzing Composition of Security Aspects
Methods for Modelling Software Systems (MMOSS),Internationales Begegnungs- und Forschungszentrum fuer Informatik, 2007
Conference | 995 | Details | Bibtex-Eintrag

PDF-Datei Jorge Fox
A Taxonomy of Aspects in Terms of Crosscutting Concerns
Methods for Modelling Software Systems (MMOSS),Internationales Begegnungs- und Forschungszentrum fuer Informatik, 2007
Conference | 996 | Details | Bibtex-Eintrag

PDF-Datei Celine Laurent
Analysis of the Survey: “IT-Platforms for Cooperation Projects”
, 2007
Tech_Report | 998 | Details | Bibtex-Eintrag

Manfred Broy, Ingolf Krüger, Michael Meisinger
A formal model of services
ACM Transactions on Software Engineering Methodology (TOSEM),ACM Press New York, NY, USA, 2007
Article | 1000 | Details | Bibtex-Eintrag

PDF-Datei Ingolf Krüger, Michael Meisinger, Massimiliano Menarini
Applying Service-Oriented Development to Complex System: a BART case study
Reliable Systems on Unreliable Networked Platforms. Proceedings of the Monterey Workshop 2005, Laguna Beach, USA,Springer Verlag, 2007
Conference | 1001 | Details | Bibtex-Eintrag

PDF-Datei Marcus Alt, Marco Kuhrmann
Integrierte ALM Unterstützung für V-Modell Projekte auf Basis des Microsoft Team Foundation Servers
Microsoft Deutschland GmbH, 2007
Tech_Report | 1002 | Details | Bibtex-Eintrag

PDF-Datei Florian Deissenboeck, Stefan Wagner, Markus Pizka
Kosten-basierte Klassifikation von Qualitätsanforderungen
Workshop Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung,2007
Conference | 1003 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner
Global Sensitivity Analysis of Predictor Models in Software Engineering
International PROMISE Workshop (PROMISE \'07),IEEE Computer Society Press, 2007
Conference | 1004 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner, Florian Deissenboeck
An Integrated Approach to Quality Modelling
5th Workshop on Software Quality (5-WoSQ),IEEE Computer Society Press, 2007
Conference | 1005 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner
Using Economics as Basis for Modelling and Evaluating Software Quality
Proc.~First International Workshop on the Economics of Software and Computation (ESC-1),2007
Conference | 1006 | Details | Bibtex-Eintrag

PDF-Datei Christian Kuehnel, Andreas Bauer, Michael Tautschnig
Compatibility and reuse in component-based systems via type and unit inference
, 2007
Tech_Report | 1007 | Details | Bibtex-Eintrag

PDF-Datei Christian Kuehnel, Andreas Bauer, Michael Tautschnig
Compatibility and reuse in component-based systems via type and unit inference
Proceedings of the 33rd Euromicro Conference on Software Engineering and Advanced Applications,2007
Conference | 1008 | Details | Bibtex-Eintrag

PDF-Datei Martin Fritzsche, Patrick Keil
Kategorisierung etablierter Vorgehensmodelle und ihre Verbreitung in der deutschen Software-Industrie
, 2007
Tech_Report | 1041 | Details | Bibtex-Eintrag

PDF-Datei Martin Leucker
Learning meets Verification
Formal Methods for Components and Objects, 5th International Symposium (FMCO 2006),2007
Conference | 1010 | Details | Bibtex-Eintrag

PDF-Datei Martin Leucker, César Sánchez
Regular linear temporal logic
Proceedings of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC\'07),Springer, 2007
Conference | 1011 | Details | Bibtex-Eintrag

PDF-Datei Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
Three-valued abstraction for continuous-time Markov chains
Proceedings of 19th International Conference on Computer-Aided Verification (CAV\'07),Springer, 2007
Conference | 1012 | Details | Bibtex-Eintrag

PDF-Datei Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker
The LearnLib in FMICS-jETI
The Twelfth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2007),IEEE Computer Society Press, 2007
Conference | 1013 | Details | Bibtex-Eintrag

PDF-Datei Jirí Barnat, Lubos Brim, Martin Leucker
Parallel model checking and the FMICS-jETI platform
The Twelfth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2007),IEEE Computer Society Press, 2007
Conference | 1014 | Details | Bibtex-Eintrag

PDF-Datei Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
Replaying play in and play out: Synthesis of design models from scenarios by learning
Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS\'07),Springer Verlag, 2007
Conference | 1015 | Details | Bibtex-Eintrag

PDF-Datei Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham
When not losing is better than winning: Abstraction and refinement for the full mu-calculus
Information and Computation,pp. 1130--1148, 2007
Article | 1035 | Details | Bibtex-Eintrag

Olga Grinchtein , Martin Leucker
Network Invariants for Real-time Systems
Formal Aspects of Computing,2007
Article | 1039 | Details | Bibtex-Eintrag

PDF-Datei Wassiou Sitou, Bernd Spanfelner
Towards Requirements Engineering for Context Adaptive Systems
The thirty-first Annual International Computer Software & Application Conference (COMPSAC),2007
Conference | 1042 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof
Treatment of Passive Voice and Conjunctions in Use Case Documents
Application of Natural Language to Information Systems,pp. 181-192, Springer--Verlag, 2007
Conference | 1043 | Details | Bibtex-Eintrag

Editoren: Jos van Hillegersberg, Frank Harmsen, Chintan Amrit, Eva Geisberger, Patrick Keil, Marco Kuhrmann
Proceedings of the Workshop Tools and Requirements Management for Globally Distributed Software Development (TOMAG+REMIDI)
Center for Telematics and Information Technology (CTIT), Enschede, 2007
Book | 1044 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner
An Approach to Global Sensitivity Analysis: FAST on COCOMO
Proc. 1st International Symposium on Empirical Software Engineering and Measurement (ESEM \'07),pp. 440--442, IEEE Computer Society Press, 2007
Conference | 1045 | Details | Bibtex-Eintrag

Marco Kuhrmann, Patrick Keil, Stephan Ziegler
Vorgehensmodelle in der Praxis - Reife und Qualität
,pp. 287--326, , 2007
Inbook | 1046 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Norbert Diernhofer, Marcus Alt
CollabXT – Prozessqualität durch Werkzeugunterstützung etablieren und steigern – Projektbericht –
,pp. 309--311, 2007
Conference | 1047 | Details | Bibtex-Eintrag

PDF-Datei Alexander Gruler, Alexander Harhurin, Judith Hartmann
Development and Configuration of Service-based Product Lines
11th International Software Product Line Conference,pp. 107-116, IEEE Computer Society, 2007
Conference | 1048 | Details | Bibtex-Eintrag

Michael Fahrmair, Wassiou Sitou, Bernd Spanfelner
Seamless Development and Evaluation of Context Adaptive Systems
UBICOMP - USE 2007: 9th International Conference on Ubiquitous Computing- Workshop on Ubiquitous Systems Evaluation,2007
Conference | 1049 | Details | Bibtex-Eintrag

Christian Kühnel, Maria Spichkova
SOFTWARE ENGINEERING OF FAULT TOLERANT SYSTEMS
pp. 175-198, World Scientific Publishing, 2007
Inbook | 1050 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof
On the Identification of Goals in Stakeholder Dialogs
14th Monterey Workshop. Workshop on Innovations for Requirements Analysis: From Stakeholders Needs to Formal Designs,2007
Conference | 1051 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof
Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics
15th IEEE International Requirements Engineering Conference,pp. 121 - 130, IEEE Computer Society Conference Publishing Services, 2007
Conference | 1052 | Details | Bibtex-Eintrag

Leonid Kof
Text Analysis for Requirements Engineering, Application of Computational Linguistics
VDM Verlag Dr. Mueller, 2007
Book | 1053 | Details | Bibtex-Eintrag

Norbert Diernhofer
IT-Dienstmodellierung
,, 2007
PHDthesis | 1055 | Details | Bibtex-Eintrag

PDF-Datei Alexander Harhurin, Judith Hartmann
A Formal Approach to Specifying the Functionality of Software System Families
, 2007
Tech_Report | 1064 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner, Songmin Xie, Matthias Rübel-Otterbach, Burkhard Sell
Profitability Estimation of Software Projects: A Combined Framework
APSEC 2007 Co-located Workshop Proceedings: SPACE 2007 Workshop. Information Processing Society of Japan (IPSJ),2007
Conference | 1077 | Details | Bibtex-Eintrag

Florian Deissenboeck, Stefan Wagner, Markus Pizka, Stefan Teuchert, Jean-Francios Girard
An Activity-Based Quality Model for Maintainability
Proc. 23rd International Conference on Software Maintenance (ICSM \'07),pp. 184-193, IEEE Computer Society Press, 2007
Conference | 1084 | Details | Bibtex-Eintrag

M. Spichkova
Specification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle
2007
PHDthesis | 1087 | Details | Bibtex-Eintrag

Manfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann , Bernhard Schätz, Maria Spichkova, Doris Wild
Modeling CoCoME with Focus/AutoFocus
The Common Component Modeling Example. Comparing Software Component Models,Springer, 2007
Conference | 1092 | Details | Bibtex-Eintrag

PDF-Datei Christian Menkens, Nils Kjellin, Anders Davoust
IMS Social Network Application with J2ME compatible Push-To-Talk Service
International Conference and Exhibition on NEXT GENERATION MOBILE APPLICATIONS, SERVICES and TECHNOLOGIES (NGMAST) 2007,2007
Conference | 1127 | Details | Bibtex-Eintrag

PDF-Datei Markus Pizka, Elmar Juergens
Automating Language Evolution
TASE \'07: 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering,2007
Conference | 1142 | Details | Bibtex-Eintrag

PDF-Datei Markus Pizka, Elmar Juergens
Tool-Supported Multi-Level Language Evolution
SVM \'07: Software and Services Variability Management Workshop Concepts, Models and Tools,2007
Conference | 1147 | Details | Bibtex-Eintrag

PDF-Datei Elmar Juergens, Markus Pizka
Variability Models Must Not be Invariant!
VaMoS \'07: Proc. of the 1st Intl. Workshop on Variability Modelling of Software-intensive Systems,2007
Conference | 1148 | Details | Bibtex-Eintrag

PDF-Datei Eva Geisberger
Requirements Engineering Reference Model (REM)
GI Softwaretechnik Trends,pp. 1, 2007
Article | 1211 | Details | Bibtex-Eintrag

PDF-Datei Eva Geisberger, Bernhard Schätz
Modellbasierte Anforderungsanalyse mit AutoRAID
GI - Informatik Forschung und Entwicklung,pp. 231-242, 2007
Article | 1207 | Details | Bibtex-Eintrag

PDF-Datei J. Van Hillegersberg, F. Harmsen, C. Amrit, E. Geisberger, P. Keil, M. Kuhrmann
International Workshop on Tool-Supported Requirements Management in Distributed Projects
REMIDI\'07,2007
Conference | 1217 | Details | Bibtex-Eintrag

Manfred Broy, Eva Geisberger, Jürgen Kazmeier, Arnold Rudorfer, Klaus Beetz
Ein Requirements Engineering Referenzmodell
GI Informatik Spektrum,pp. 127-142, 2007
Article | 1219 | Details | Bibtex-Eintrag

PDF-Datei Thomas Tuerk, Klaus Schneider, and Mike Gordon
Model Checking PSL Using HOL and SMV
Haifa Verification Conference (HVC),pp. 1-15, Springer, 2007
Conference | 1251 | Details | Bibtex-Eintrag

2006


PDF-Datei Christian Kühnel, Maria Spichkova
FlexRay und FTCom: Formale Spezifikation in FOCUS
, 2006
Tech_Report | 913 | Details | Bibtex-Eintrag

Marco Kuhrmann
Projektspezifische Anpassungen nach dem Tailoring des V-Modell XT durchführen
,pp. 27-42, Shaker Verlag, 2006
Conference | 921 | Details | Bibtex-Eintrag

PDF-Datei Maria Spichkova
FlexRay: Verification of the FOCUS Specification in Isabelle/HOL. A Case Study.
, 2006
Tech_Report | 922 | Details | Bibtex-Eintrag

PDF-Datei Ingolf Krüger, Reena Mathew, Michael Meisinger
Efficient Exploration of Service-Oriented Architectures using Aspects
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006),pp. 62-71, ACM Press, 2006
Conference | 924 | Details | Bibtex-Eintrag

PDF-Datei Ingolf Krüger, Gunny Lee, Michael Meisinger
Automating Software Architecture Exploration with M2Aspects
Proceedings of the ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM\'06) of ICSE 2006,pp. 51-58, ACM Press, 2006
Conference | 925 | Details | Bibtex-Eintrag

Patrick Keil, Marco Kuhrmann
An approach to model the Return on Investment of Organization-wide Improvement Projects using the Concept of External Effects
Proceedings of the International Workshop on Economics-Driven Software Engineering Research (EDSER), Shanghai, China,2006
Conference | 926 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, María Victoria Cengarle, Bernhard Rumpe
Semantics of UML. Towards a System Model for UML. The Structural Data Model
, 2006
Tech_Report | 927 | Details | Bibtex-Eintrag

Norbert Diernhofer
Verwaltung und Zuweisung von Druckern per Gruppenrichtlinie
, 2006
Tech_Report | 928 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Florian Deissenboeck, Markus Pizka
Demystifying Maintainability
Proceedings of the 4th Workshop on Software Quality,2006
Conference | 929 | Details | Bibtex-Eintrag

PDF-Datei Daniel Ratiu, Florian Deissenboeck
Programs are Knowledge Bases
Proceedings of the 14th IEEE International Conference on Program Comprehension (ICPC),IEEE Computer Society, 2006
Conference | 930 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Andreas Rausch, Thomas Ternite, David Bettencourt da Cruz, Marco Kuhrmann
IT-Projekte erfolgreich mit dem neuen V-Modell XT
, 2006
Tech_Report | 931 | Details | Bibtex-Eintrag

PDF-Datei Doris Wild, Andreas Fleischmann, Judith Hartmann, Christian Pfaller, Martin Rappl, Sabine Rittmann
An Architecture-Centric Approach towards the Construction of Dependable Automotive Software
Proceedings of the SAE 2006 World Congress,2006
Conference | 932 | Details | Bibtex-Eintrag

PDF-Datei Christian Pfaller, Andreas Fleischmann, Judith Hartmann, Martin Rappl, Sabine Rittmann, Doris Wild
On the Integration of Design and Test - A Model Based Approach for Embedded Systems
Proceedings of the Workshop on Automation of Software Test (AST 06),2006
Article | 933 | Details | Bibtex-Eintrag

PDF-Datei Judith Hartmann, Sabine Rittmann, Peter Scholz, Doris Wild
A Compositional Approach for Functional Requirement Specifications of Automotive Software Systems
Proceedings of the Workshop on Automotive Requirements Engineering (AuRE 06),2006
Conference | 934 | Details | Bibtex-Eintrag

PDF-Datei Judith Hartmann, Andreas Fleischmann, Christian Pfaller, Martin Rappl, Sabine Rittmann, Doris Wild
Feature Net - ein Ansatz zur Modellierung von automobil- spezifischem Domänenwissen und Anforderungen
Proceedings of the 4th Workshop on Automotive Software Engineering (ASE 2006),2006
Conference | 935 | Details | Bibtex-Eintrag

PDF-Datei Judith Hartmann, Sabine Rittmann, Peter Scholz, Doris Wild
Formal incremental requirements specification of service-oriented automotive software systems
Proceedings of the the Second International Symposium on Service Oriented System Engineering (SOSE 2006),2006
Conference | 936 | Details | Bibtex-Eintrag

María Victoria Cengarle, Peter Graubmann, Stefan Wagner
Semantics of UML 2.0 Interactions with Variabilities
Electronic Notes on Theoretical Computer Science,pp. 141-155, 2006
Article | 937 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner
A Literature Survey of the Quality Economics of Defect-Detection Techniques
Proc.\\ 5th ACM-IEEE International Symposium on Empirical Software Engineering (ISESE\'06),ACM Press, 2006
Conference | 938 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner
A Model and Sensitivity Analysis of the Quality Economics of Defect-Detection Techniques
Proc.\\ ACM International Symposium on Software Testing and Analysis (ISSTA \'06),pp. 73-83, ACM Press, 2006
Conference | 939 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner
A Literature Survey of the Software Quality Economics of Defect-Detection Techniques
, 2006
Tech_Report | 940 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner
Modelling the Quality Economics of Defect-Detection Techniques
Proc.\\ 4th Workshop on Software Quality (4-WoSQ),pp. 69-74, ACM Press, 2006
Conference | 941 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner, Helmut Fischer
A Software Reliability Model Based on a Geometric Sequence of Failure Rates
Proc.\\ 11th International Conference on Reliable Software Technologies (Ada-Europe \'06),Springer Verlag, 2006
Conference | 942 | Details | Bibtex-Eintrag

Michael Fahrmair, Wassiou Sitou, Bernd Spanfelner
An Engineering Approach to Adaptation and Calibration
Modeling and Retrieval of Context MRC 2005,2006
Conference | 943 | Details | Bibtex-Eintrag

Manfred Broy, Marco Kuhrmann
Das V-Modell XT - Stand und Zukunft des IT-Standards
,pp. 34-36, Vogel IT-Medien GmbH, 2006
Article | 968 | Details | Bibtex-Eintrag

PDF-Datei Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz
Towards Modularized Verification of Distributed Time-Triggered Systems
FM 2006: Formal Methods,pp. 163-178, Springer Verlag, 2006
Conference | 945 | Details | Bibtex-Eintrag

Marco Kuhrmann, Thomas Ternité
Including the Microsoft Solution Framework as an agile method into the V-Modell XT
1st International Workshop on Evaluation of Novel Approaches to Software Engineering (ENASE\'06), Erfurt, Germany ,2006
Conference | 946 | Details | Bibtex-Eintrag

Marco Kuhrmann, Thomas Ternité
Implementing the Microsoft Solutions Framework for Agile Sw-Development as Concrete Development-Method in the V-Modell XT
International Transactions on Systems Science and Applications, Special Issue Sections in ENASE\'06,pp. 119 - 126, Xiaglow, 2006
Article | 947 | Details | Bibtex-Eintrag

Florian Deissenboeck, Markus Pizka
Concise and Consistent Naming
Software Quality Journal, 14, 261-282,2006
Article | 948 | Details | Bibtex-Eintrag

PDF-Datei David Bettencourt da Cruz, Marco Kuhrmann
Das V-Modell XT: Lange erwartet - endlich da
,pp. 22-25, , 2006
Article | 950 | Details | Bibtex-Eintrag

David Cruz, Thomas Wieland, Alexander Ziegler
Evaluation Criteria for Free/Open Source Software Products Based on Project Analysis
Software Process Improvement and Practice,pp. 107-122, John Wiley & Sons, Ltd., 2006
Article | 951 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Jürgen Münch, Andreas Rausch
Metamodellbasierte Integration von Projekt Controlling Mechanismen in das V-Modell XT - Positionspapier
,pp. 103-109, 2006
Conference | 952 | Details | Bibtex-Eintrag

Marco Kuhrmann, Bernhard Schätz, Andreas Rausch
Vorgehensmodelle in der Praxis - Formalisierung und Anwendung
,pp. 651-689, , 2006
Inbook | 953 | Details | Bibtex-Eintrag

Marco Kuhrmann, Marc Sihling
Das V-Modell XT - Bundesstandard für Qualität in IT-Projekten
,pp. 39-40, 2006
Article | 954 | Details | Bibtex-Eintrag

PDF-Datei C. Kühnel, M. Spichkova
UPCOMING AUTOMOTIVE STANDARDS FOR FAULT-TOLERANT COMMUNICATION: FLEXRAY AND OSEKTIME FTCOM.
EFTS 2006 International Workshop on Engineering of Fault Tolerant Systems,Universite du Luxembourg, CSC: Computer Science and Communication, 2006
Conference | 955 | Details | Bibtex-Eintrag

Norbert Diernhofer
Vergleich zwischen einem Application Scanner und dem Modell für verwaltbare IT-Dienste
, 2006
Tech_Report | 956 | Details | Bibtex-Eintrag

PDF-Datei Michael Fahrmair, Wassiou Sitou, Bernd Spanfelner
Unwanted Behavior and its Impact on Adaptive Systems in Ubiquitous Computing
14th Workshop on Adaptivity and User Modeling in Interactive Systems -- LWA/ABIS,2006
Conference | 967 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Norbert Diernhofer, Johannes Grünbauer, Michael Meisinger, Martin Rappl, Sabine Rittmann, Bernhard Schätz, Maurice Schoenmakers, Bernd Spanfelner
Service-Oriented Development - Whitepaper
, 2006
Tech_Report | 958 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner, Michael Meisinger
Integrating a Model of Analytical Quality Assurance into the V-Modell XT
Proc. of the Third International Workshop on Software Quality Assurance (SOQUA \'06),pp. 38-45, ACM Press, 2006
Conference | 959 | Details | Bibtex-Eintrag

PDF-Datei Ingolf Krüger, Michael Meisinger, Massimiliano Menarini, Stephen Pasco
Rapid Systems of Systems Integration – Combining an Architecture-Centric Approach with Enterprise Service Bus Infrastructure
Proceedings of the IEEE International Conference on Information Reuse and Integration (IRI 2006),IEEE, 2006
Conference | 960 | Details | Bibtex-Eintrag

Editoren: Manfred Broy, Ingolf Krüger, Michael Meisinger
Automotive Software - Connected Services in Mobile Networks
Post-proceedings of the Automotive Software Workshop, San Diego (ASWSD\'04),Springer, 2006
Book | 961 | Details | Bibtex-Eintrag

Gerd Beneken, Patrick Keil, Tilman Seifert
Workshop Hot Spots der Software-Entwicklung - Vertragsmodelle und Haftung in der Software-Entwicklung
, 2006
Tech_Report | 962 | Details | Bibtex-Eintrag

PDF-Datei Patrick Keil, Daniel Paulish, Raghwinder Sangwan
Cost Estimation for Global Software Development
Proc. of the Int. Workshop on Economics-Driven Software Engineering Research (EDSER), Shanghai, China,pp. 7-10, 2006
Conference | 963 | Details | Bibtex-Eintrag

Patrick Keil, Alen Milewski, Neel Mullick, Ita Richardson
Distributed Development - an Education Perspective on the Global Studio Project
Proc. of the Int. Workshop on Economics-Driven Software Engineering Research (EDSER), Shanghai, China,pp. 679-684, 2006
Conference | 964 | Details | Bibtex-Eintrag

Marco Kuhrmann, Gerd Beneken
Windows Communication Foundation - Konzepte, Programmierung, Migration
Elsevier Spektrum Akademischer Verlag, 2006
Book | 966 | Details | Bibtex-Eintrag

Jan Jürjens, Jorge Fox
Tools for model-based security engineering.
ICSE,pp. 819-822, 2006
Conference | 981 | Details | Bibtex-Eintrag

Eric Dubois, Klaus Pohl
CAiSE
Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings,publisher=Springer, 2006
Conference | 977 | Details | Bibtex-Eintrag

Haralambos Mouratidis, Jan Jürjens, Jorge Fox
Towards a Comprehensive Framework for Secure Systems Development.
CAiSE,pp. 48-62, 2006
Conference | 980 | Details | Bibtex-Eintrag

Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa
28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006
ICSE,ch. 819 - 822, pp. 819 - 822, ACM, 2006
Inbook | 979 | Details | Bibtex-Eintrag

Ulrike Hammerschall, Jan Ebell
IT-Projekte mit Trendfaktor: Das V-Modell bei Witt Weiden
IT-Director,MedienHaus Verlag, 2006
Article | 989 | Details | Bibtex-Eintrag

PDF-Datei Celine Laurent
Design of IT-Collaboration-Platforms with Fuzzy Logic
Proceedings of the I International Conference on Multidisciplinary Information Sciences and Technologies, InScit2006,Open Institute of Knowledge, 2006
Conference | 999 | Details | Bibtex-Eintrag

PDF-Datei Andreas Bauer, Martin Leucker, Christian Schallhart
Monitoring of real-time properties
Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS\'06),Springer Verlag, 2006
Conference | 1016 | Details | Bibtex-Eintrag

PDF-Datei Andreas Bauer, Martin Leucker, Jonathan Streit
SALT—structured assertion language for temporal logic
Proceedings of the Eighth International Conference on Formal Engineering Methods,2006
Conference | 1017 | Details | Bibtex-Eintrag

PDF-Datei Olga Grinchtein, Martin Leucker
Learning finite-state machines from inexperienced teachers
Grammatical Inference: Algorithms and Applications, 8th International Colloquium, ICGI 2006,2006
Conference | 1018 | Details | Bibtex-Eintrag

PDF-Datei Olga Grinchtein, Martin Leucker, Nir Piterman
Inferring network invariants automatically
Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR\'06),2006
Conference | 1019 | Details | Bibtex-Eintrag

PDF-Datei Harald Fecher, Martin Leucker, Verena Wolf
Don\'t know in probabilistic systems
13th International SPIN Workshop on Model Checking of Software (SPIN\'06),Springer Verlag, 2006
Conference | 1020 | Details | Bibtex-Eintrag

PDF-Datei Andreas Bauer, Martin Leucker, Christian Schallhart
Model-based runtime analysis of distributed reactive systems
Proceedings of the Australian Software Engineering Conference (ASWEC\'06),pp. 243–-252, IEEE, 2006
Article | 1021 | Details | Bibtex-Eintrag

PDF-Datei Benedikt Bollig, Martin Leucker
Message-passing automata are expressively equivalent to EMSO logic
Theoretical Computer Science,pp. 150--172, 2006
Article | 1026 | Details | Bibtex-Eintrag

Lubos Brim, Martin Leucker
Special Issue on Parallel and Distributed Model Checking
Formal Methods in System Design,Springer, 2006
Article | 1036 | Details | Bibtex-Eintrag

Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
Formal Methods: Applications and Technology
Proceedings of FMICS + PDMC 2006,Springer, 2006
Article | 1037 | Details | Bibtex-Eintrag

Martin Leucker, Jaco van de Pol
Proceedings of the 4th Workshop on Parallel and Distributed Methods for Verification
Elsevier Science Publishers, 2006
Book | 1038 | Details | Bibtex-Eintrag

PDF-Datei Michael Meisinger, Andreas Rausch, Marc Sihling
4everedit - Team-based Process Documentation Management
Software Process Improvement and Practice,pp. 627--642, John Wiley & Sons, Inc, 605 Third Ave, New York, NY, 10016, USA, 2006
Article | 1132 | Details | Bibtex-Eintrag

PDF-Datei Elmar Juergens, Markus Pizka
The Language Evolver Lever --Tool Demonstration
LDTA \'06: Proc. of the 6th Workshop on Language Descriptions, Tools and Applications ,2006
Conference | 1150 | Details | Bibtex-Eintrag

PDF-Datei Richard Bogenberger and David Trachtenherz
Qualit{\\\"a}tssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene
Modellierung 2006, 22.-24. M{\\\"a}rz 2006, Innsbruck, Tirol, Austria, Proceedings ,pp. 35--49, GI, 2006
Conference | 1165 | Details | Bibtex-Eintrag

PDF-Datei Doris Wild
AutoFocus 2 - Das Bilderbuch
, 2006
Book | 1204 | Details | Bibtex-Eintrag

PDF-Datei Eva Geisberger, Manfred Broy, Brian Berenbach, Jürgen Kazmeier, Daniel Paulish, Arnold Rudorfer
Requirements Engineering Reference Model (REM)
, 2006
Tech_Report | 1214 | Details | Bibtex-Eintrag

PDF-Datei Eva Geisberger, Johannes Grünbauer, Bernhard Schätz
Interdisciplinary Requirements-Analysis Using the Model-based RM Tool AutoRAID
Automotive Requirements Engineering Workshop (AURE\'06) at IEEE Intl. Requirements Engineering Conference 2006,2006
Conference | 1215 | Details | Bibtex-Eintrag

PDF-Datei Eva Geisberger, Manfred Broy ,Brian Berenbach, Juergen Kazmeier, Daniel Paulish, Arnold Rudorfer
Requirements Engineering Reference Model (REM)
pp. 83, , 2006
Tech_Report | 1246 | Details | Bibtex-Eintrag

2005


PDF-Datei Andreas Fleischmann, Katharina Neumeyer, Katharina Spies
Teamtraining für Software Ingenieure
Software Engineering im Unterricht der Hochschulen, Aachen ,pp. 26-40, dpunkt.verlag, 2005
Conference | 863 | Details | Bibtex-Eintrag

Andreas Rausch, Marc Sihling, Marco Kuhrmann
Erste Schritte mit dem neuen Standard "V-Modell XT"
,2005
Publication | 584 | Details | Bibtex-Eintrag

Marco Kuhrmann, Dirk Niebuhr
Das V-Modell XT in der Praxis - IT-WiBe
,Shaker Verlag, 2005
Conference | 864 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner, Jan Jürjens
Model-Based Identification of Fault-Prone Components
Proc. The Fifth European Dependable Computing Conference (EDCC-5), Budapest, Hungary,pp. 435 - 452, , 2005
Conference | 865 | Details | Bibtex-Eintrag

PDF-Datei María Victoria Cengarle, Alexander Knapp
Operational Semantics of UML 2.0 Interactions
, 2005
Tech_Report | 866 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner, Jan Jürjens, C.Koller, P. Trischberger
Comparing Bug Finding Tools with Reviews and Tests
Proc. 17th IFIP International Conference on Testing of Communicating Systems (TestCom\'05),pp. 40-55, Springer Verlag, 2005
Conference | 867 | Details | Bibtex-Eintrag

PDF-Datei A. Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner, B.Sostawa, R. Zölch, T. Stauner
One Evaluation of Model-Based Testing and its Automation
Proc. 27th International Conference on Software Engineering,ACM Press, 2005
Conference | 868 | Details | Bibtex-Eintrag

PDF-Datei S. Wagner, T. Seifert
Software Quality Economics for Defect-Detection Techniques Using Failure Prediction
Proc. 3rd Workshop on Software Quality (3-WoSQ),pp. 11-16, ACM Press, 2005
Article | 869 | Details | Bibtex-Eintrag

PDF-Datei S. Wagner
Towards Software Quality Economics for Defect-Detection Techniques
Proc. 29th Annual IEEE/NASA Software Engineering Workshop (SEW'05),IEEE, 2005
Article | 870 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann
V-Modell XT - Praxisbericht aus dem Pilotprojekt IT-WiBe
, 2005
Tech_Report | 872 | Details | Bibtex-Eintrag

Marco Kuhrmann, Dirk Niebuhr, Andreas Rausch
Application of the V-Modell XT - Report from A Pilot Project
Unifying the Software Process Spectrum, International Software Process Workshop, SPW 2005, Beijing, China, May 25-27,pp. 463-473, Springer, 2005
Conference | 873 | Details | Bibtex-Eintrag

PDF-Datei J. Botaschanjan, L. Kof, C. Kühnel, M. Spichkova
Towards Verified Automotive Software
Proceedings of the 2nd International ICSE workshop on Software,ACM Press, New York, 2005
Conference | 874 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof
Text Analysis for Requirements Engineering
, 2005
PHDthesis | 914 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Andreas Rausch, Marc Sihling, Marco Kuhrmann
IT-Projekte erfolgreich mit dem neuen V-Modell XT
, 2005
Tech_Report | 875 | Details | Bibtex-Eintrag

PDF-Datei Ingolf Krüger, Reena Mathew, Michael Meisinger
From Scenarios to Aspects: Exploring Product Lines
Proceedings of the ICSE 2005 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM\'05) of ICSE 2005,ACM Press, 2005
Conference | 876 | Details | Bibtex-Eintrag

PDF-Datei Marco Kuhrmann, Tilman Seifert, Gerd Beneken, Markus Pizka
Hot Spots der Software-Entwicklung 2005 - Service-orientierte Architekturen - Anspruch und Wirklichkeit
, 2005
Book | 877 | Details | Bibtex-Eintrag

PDF-Datei Sabine Rittmann, Andreas Fleischmann, Judith Hartmann, Christan Pfaller, Martin Rappl, Doris Wild
Integrating Service Specifications on Different Levels of Abstraction
IEEE International Workshop on Service-Oriented System Engineering (SOSE),IEEE, 2005
Conference | 878 | Details | Bibtex-Eintrag

PDF-Datei Florian Deissenboeck, Markus Pizka
Concise and Consistent Naming
IWPC \'05: Proceedings of the 13th International Workshop on,pp. 97--106, IEEE Computer Society, 2005
Conference | 879 | Details | Bibtex-Eintrag

Johannes Grünbauer, Michael Klein
Service Offer and Request Descriptions in Mobile Environments - A Position Paper
Mobile Datenbanken: heute, morgen und in 20 Jahren, 8. Workshop des GI-Arbeitskreises `Mobile Datenbanken und Informationssysteme`,pp. 97--101, , 2005
Conference | 884 | Details | Bibtex-Eintrag

Editoren: Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare
Engineering Theories of Software Intensive Systems
Number 195 in Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems.,Springer Verlag, 2005
Book | 885 | Details | Bibtex-Eintrag

PDF-Datei Martin Deubler, Johannes Grünbauer, Andreas Holzbach, Gerhard Popp, Guido Wimmel.
Kontextadaptivität in dienstbasierten Softwaresystemen
, 2005
Tech_Report | 886 | Details | Bibtex-Eintrag

Marco Kuhrmann, Dirk Niebuhr, Christian Bartelt
Anwendung des V-Modell XT - Stand und Erfahrungen aus der Pilotierungsphase
,pp. 259-263, , 2005
Conference | 888 | Details | Bibtex-Eintrag

Jorge Fox, Jan Jürjens
Introducing Security Aspects with Model Transformation
Proc. 12th Annual IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), Greenbelt, Washington, 4-5 April,pp. 543 - 549, IEEE Computer Society, 2005
Inbook | 890 | Details | Bibtex-Eintrag

PDF-Datei Jorge Fox
A Formal Foundation for Aspect-Oriented Software Development
Research on Computing Science, CIC-IPN, ISSN: 1665-9899,pp. 241-251, 2005
Article | 891 | Details | Bibtex-Eintrag

PDF-Datei Jaswinder Ahluwalia, Ingolf Krüger, Michael Meisinger, Walter Phillips
Model-Based Run-Time Monitoring of End-to-End Deadlines
Proceedings of the Conference on Embedded Systems Software (EMSOFT 2005),2005
Conference | 892 | Details | Bibtex-Eintrag

PDF-Datei Martin Deubler, Ingolf Krüger, Michael Meisinger, Sabine Rittmann
Modeling Crosscutting Services with UML Sequence Diagrams
Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS),2005
Conference | 893 | Details | Bibtex-Eintrag

Andreas Rausch, Christian Bartelt, Thomas Ternité, Marco Kuhrmann
The V-Modell XT Applied – Model-Driven and Document-Centric Development
3rd World Congress for Software Quality, VOLUME III, Online Supplement,pp. 131 - 138, 2005
Conference | 894 | Details | Bibtex-Eintrag

PDF-Datei Bernd Spanfelner, Wassiou Sitou, Michael Fahrmair
Digital Rights Management for Mobile- and Ubiquitous Computing
Ubicomp 2005 Workshop on UbiComp Privacy "PRIVACY IN CONTEXT",2005
Conference | 895 | Details | Bibtex-Eintrag

PDF-Datei Michael Fahrmair, Wassiou Sitou
An Engineering Approach to Adaptation and Calibration
Proc. of the 2nd International Workshop on Modeling and Retrieval of Context (MRC 2005), Edinburgh, Scotland,2005
Conference | 896 | Details | Bibtex-Eintrag

PDF-Datei Eiman Mohyeldin, Michael Fahrmair, Wassiou Sitou, Bernd Spanfelner
A Generic Framework for Context Aware and Adaptation Behaviour of Reconfigurable Systems
The 16th Annual IEEE International Symposium on Personal Indoor and Mobile Radio Communications (PIMRC05), 11-14 September 2005, Berlin, Germany,2005
Conference | 897 | Details | Bibtex-Eintrag

Dirk Niebuhr, Marco Kuhrmann
Projekt-Tüv
,pp. 126-129, Heise Zeitschriften Verlag, 2005
Article | 900 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens, Stefan Wagner
Component-based Development of Dependable Systems with UML
Component-Based Software Development for Embedded Sytems.,pp. 320--344, Springer Verlag, 2005
Inbook | 906 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner
Software Quality Economics for Combining Defect-Detection Techniques
Proc. Net.Object Days 2005 (Node'05),pp. 559-574, tranSIT GmbH, 2005
Conference | 907 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner, Helmut Fischer
A Software Reliability Model Based on a Geometric Sequence of Failure Rates
ch. TUMI-0520, , 2005
Tech_Report | 908 | Details | Bibtex-Eintrag

PDF-Datei María Victoria Cengarle, Peter Graubmann, Stefan Wagner
Semantics of UML 2.0 Interactions with Variabilities
Prel.Proc. 2nd International Workshop on Formal Aspects of Component Software (FACS '05), International Institute for Software Technology, 2005
Conference | 909 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Schätz, Andreas Fleischmann, Eva Geisberger, Markus Pister
Modellbasierte Anforderungsentwicklung
Object-Orientied Software-Engineering (OOSE),pp. 451-457, 2005
Conference | 910 | Details | Bibtex-Eintrag

PDF-Datei Andreas Fleischmann, Judith Hartmann, Christian Pfaller, Martin Rappl,Sabine Rittmann, Doris Wild
Concretization and Formalization of Requirements for Automotive Embedded Software Systems Development
The Tenth Australian Workshop on Requiremements Engineering (AWRE), Melbourne, Australia,pp. 60-65, 2005
Conference | 911 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Schätz, Andreas Fleischmann, Eva Geisberger, Markus Pister
Model-Based Requirements Engineering with AutoRAID
,pp. 511-516, , 2005
Conference | 912 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof, Markus Pizka
Validating Documentation With Domain Ontologies
The 4th International Conference on Software Methodologies, Tools and Techniques,2005
Conference | 915 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof
Natural Language Processing: Mature Enough for Requirements Documents Analysis?
Application of Natural Language to Information Systems,pp. 91-102, Springer--Verlag, 2005
Conference | 916 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof
An Application of Natural Language Processing to Domain Modelling -- Two Case Studies
International Journal on Computer Systems Science Engineering,pp. 37--52, 2005
Article | 917 | Details | Bibtex-Eintrag

PDF-Datei Florian Deissenboeck, Markus Pizka, Tilman Seifert
Tool Support for Continuous Quality Assessment
STEP \'05: Proceedings of the Workshop on Software Technology and Engineering Practice,2005
Conference | 949 | Details | Bibtex-Eintrag

PDF-Datei Patrick Keil
Principal Agent Theory and its Application to Analyze Outsourcing of Software Development
Proc. of the Int. Workshop on Economics-Driven Software Engineering Research (EDSER), St. Louis, USA,2005
Conference | 965 | Details | Bibtex-Eintrag

Ulrike Hammerschall
Verteilte Systeme und Anwendungen - Architekturkonzepte. Standards und Middleware-Technologien
Pearson Studium, ISBN 3-8273-7096-5, 2005
Book | 988 | Details | Bibtex-Eintrag

PDF-Datei Harald Fecher, Martin Leucker, Verena Wolf
Don\'t know in probabilistic systems
, 2005
Tech_Report | 1022 | Details | Bibtex-Eintrag

PDF-Datei Benedikt Bollig, Martin Leucker
A hierarchy of implementable MSC languages
Proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE\'05),2005
Conference | 1023 | Details | Bibtex-Eintrag

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
Model-based Testing of Reactive Systems
Springer Verlag, 2005
Book | 1024 | Details | Bibtex-Eintrag

Lubos Brim, Martin Leucker
Proceedings of the 3rd Workshop on Parallel and Distributed Methods for Verification
Electronic Notes in Computer Science,Elsevier Science Publishers, 2005
Conference | 1025 | Details | Bibtex-Eintrag

PDF-Datei Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen
On the correspondence between conformance testing and regular inference
Fundamental Approaches to Software Engineering, FASE\'05,pp. 175--189, Springer, 2005
Conference | 1027 | Details | Bibtex-Eintrag

PDF-Datei Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber
Functional programming languages for verification tools: A comparison of ML and Haskell
Software Tools for Technology Transfer (STTT),pp. 184-194, 2005
Article | 1033 | Details | Bibtex-Eintrag

PDF-Datei Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham
Don't know in the mu-calculus
Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI\'05),Springer Verlag, 2005
Conference | 1040 | Details | Bibtex-Eintrag

Eva Geisberger, Ulrike Hammerschall, Reinhard Schmidt
ProMiS - Leitfaden für die Anwendung von Projektmanagement und Systemspezifikation - Praxishandbuch[CD ROM Beilage]
,pp. 100-150, VDMA, 2005
Inbook | 1208 | Details | Bibtex-Eintrag

Eva Geisberger
ProMiS - Leitfaden für die Anwendung von Projektmanagement und Systemspezifikation - Praxishandbuch[CD ROM Beilage]
,pp. 100-150, VDMA, 2005
Inbook | 1212 | Details | Bibtex-Eintrag

Eva Geisberger
ProMiS - Leitfaden für die Anwendung von Projektmanagement und Systemspezifikation - Praxishandbuch[CD ROM Beilage]
Vorlage Systemspezifikation,pp. 100-150, VDMA, 2005
Inbook | 1213 | Details | Bibtex-Eintrag

Eva Geisberger, Reinhardt Schmidt
ProMiS - Leitfaden für die Anwendung von Projektmanagement und Systemspezifikation - Praxishandbuch[CD ROM Beilage]
,pp. 100-150, VDMA, 2005
Inbook | 1216 | Details | Bibtex-Eintrag

PDF-Datei Th. v. d. Massen, K. Müller, J. MacGregor, E. Geisberger, J. Dörr, F. Houdek, H. Singh, H. Wussmann, H. Bacher, B. Paech
Einsatz von Features im System-Entwicklungsprozess
RWTH Aachen, 2005
Tech_Report | 1220 | Details | Bibtex-Eintrag

PDF-Datei K. Schneider, J. Brandt, T. Schuele, T. Tuerk
Improving Constructiveness in Code Generators
Synchronous Languages, Applications, and Programming (SLAP),2005
Conference | 1254 | Details | Bibtex-Eintrag

PDF-Datei K. Schneider, J. Brandt, T. Schuele, T. Tuerk
Maximal Causality Analysis
Application of Concurrency to System Design (ACSD),pp. 106-115, IEEE Computer Society, 2005
Conference | 1255 | Details | Bibtex-Eintrag

PDF-Datei T. Tuerk, K. Schneider
From PSL to LTL: A Formal Validation in HOL
Theorem Proving in Higher Order Logic (TPHOL),pp. 342-357, Springer, 2005
Conference | 1256 | Details | Bibtex-Eintrag

PDF-Datei T. Tuerk, K. Schneider
Relationship between Alternating omega-Automata and Symbolically Represented Nondeterministic omega-Automata
Department of Computer Science, University of Kaiserslautern, 2005
Tech_Report | 1257 | Details | Bibtex-Eintrag

PDF-Datei T. Tuerk
A Hierarchy for Accellera's Property Specification Language
University of Kaiserslautern, Department of Computer Science, 2005
| 1258 | Details | Bibtex-Eintrag

2004


Andreas Bauer, Markus Pizka
Tackling C++ Tail Calls
C/C++ Users Journal,pp. 28 - 34, 2004
Article | 798 | Details | Bibtex-Eintrag

PDF-Datei Martin Deubler, Johannes Grünbauer, Gerhard Popp, Guido Wimmel, Christian Salzmann
Towards a Model-Based and Incremental Development Process for Service-Based Systems
Proceedings of the IASTED International Conference on Software Engineering (IASTED SE 2004), Innsbruck,2004
Conference | 494 | Details | Bibtex-Eintrag

A. Pretschner, O. Slotosch, E. Aiglstorfer, S. Kriebel
Model Based Testing for Real--The Inhouse Card Case Study
J. Software Tools for Technology Transfer,2004
Article | 569 | Details | Bibtex-Eintrag

PDF-Datei Jewgenij Botaschanjan, Andreas Fleischmann, Markus Pister
A CONCEPTUAL MODEL FOR REQUIREMENTS ENGINEERING AND MANAGEMENT FOR CHANGE-INTENSIVE SOFTWARE
,pp. 36-41, ACTA Press Anaheim, Calgary, Zurich, 2004
Conference | 838 | Details | Bibtex-Eintrag

PDF-Datei Michael Gnatz, Martin Deubler, Michael Meisinger, Andreas Rausch
Towards an Integration of Process Modeling and Project Planning
Proceedings of the 5th International Workshop on Software Process Simulation and Modeling (ProSim 2004). ICSE 2004,2004
Conference | 844 | Details | Bibtex-Eintrag

PDF-Datei Michael Meisinger, Andreas Rausch, Martin Deubler, Michael Gnatz, Ulrike Hammerschall, Inga Küffer, Sascha Vogel
Das V Modell 200x – ein modulares Vorgehensmodell
,Shaker Verlag, 2004
Conference | 845 | Details | Bibtex-Eintrag

PDF-Datei Johannes Grünbauer, Jan Jürjens, Guido Wimmel
Modelling Secure IT Systems - A Survey
Proceedings zur Tagung Modellierung 2004,pp. 307 - 308, 2004
Conference | 846 | Details | Bibtex-Eintrag

E. Mohyeldin, E. Schulz, M. Dillinger, M. Fahrmair, P. Dornbusch
Dynamic Reconfiguration of Wireless Middleware
IST Mobile & Wireless Communications Summit 2004, Lyon/France,IST, 2004
Conference | 847 | Details | Bibtex-Eintrag

PDF-Datei Maximilian Zuendt, Peter Dornbusch
A Generic API Regarding On-Demand QoS Support Over Heterogeneous Wireless Networks For QoS Aware Applications
World Wireless Congress 2004, San Francisco, USA,Delson Group Inc, 2004
Conference | 848 | Details | Bibtex-Eintrag

PDF-Datei Maximilian Zuendt, Peter Dornbusch, Thomas Schaefer, Peter Jacobi, David Flade
Integration of Indoor Positioning into a Global Location Platform
1st Workshop on Positioning, Navigation and Communication 2004, Hannover, Germany,Shaker Verlag, 2004
Conference | 849 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner
Efficiency Analysis of Defect-Detection Techniques
, 2004
Tech_Report | 850 | Details | Bibtex-Eintrag

Martin Rappl
Entwurfsorientierte Modellierung eingebetteter Systeme
Logos Verlag Berlin, 2004
PHDthesis | 851 | Details | Bibtex-Eintrag

PDF-Datei Andreas Fleischmann, Eva Geisberger, Markus Pister
Herausforderungen fuer das Requirements Engineering eingebetteter Systeme
, 2004
Tech_Report | 852 | Details | Bibtex-Eintrag

PDF-Datei Markus Dillinger, Eiman Mohyeldin, Jijun Luo, Michael Fahrmair, Peter Dornbusch, Egon Schulz
Cross Layer and End to End Reconfiguration Management
WWRF11- Services and Applications Roadmaps- Invigorating the Visions, Oslo/Norway,2004
Conference | 853 | Details | Bibtex-Eintrag

PDF-Datei E. Mohyeldin, M. Dillinger, M. Fahrmair, P. Dornbusch, W. Sitou
Interworking between Link Layer and Application Layer Adaptations in a Reconfigurable Wireless Middleware
15th IEEE International Symposium on Personal, Indoor and Mobile Communications (PIMRC 2004, Barcelona/Spain),2004
Conference | 854 | Details | Bibtex-Eintrag

Stefan Wagner
Reliability Efficiency of Defect-Detection Techniques: A Field Study
Supplementary Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE '04),2004
Conference | 856 | Details | Bibtex-Eintrag

Vadim Alyokhin,Benedikte Elbel,Martin Rothfelder,Alexander Pretschner
Coverage Metrics for Continuous Function Charts
Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE '04),2004
Conference | 857 | Details | Bibtex-Eintrag

PDF-Datei Stefan Wagner, María Victoria Cengarle, Peter Graubmann
Modelling System Families with Message Sequence Charts: A Case Study
, 2004
Tech_Report | 858 | Details | Bibtex-Eintrag

Editoren: Gerd Beneken, Marco Kuhrmann, Markus Pizka, Tilman Seifert
Workshop Hot Spots der Software-Entwicklung
, 2004
Book | 859 | Details | Bibtex-Eintrag

Marco Kuhrmann, Jens Calame, Erika Horn
Verteilte Systeme mit .NET Remoting
Spektrum Akademischer Verlag, 2004
Book | 860 | Details | Bibtex-Eintrag

PDF-Datei María Victoria Cengarle, Peter Graubmann, Stefan Wagner
From Feature Models to Variation Representation in MSCs
Proc.~2nd Groningen Workshop on Software Variability Management,2004
Conference | 861 | Details | Bibtex-Eintrag

PDF-Datei Wolfgang Prenninger, Alexander Pretschner
Abstractions for Model-Based Testing
Proceedings Test and Analysis of Component-based Systems ({TACoS\'04}),2004
Conference | 862 | Details | Bibtex-Eintrag

PDF-Datei María Victoria Cengarle, Alexander Knapp
UML 2.0 Interactions: Semantics and Refinement.
3rd Intl. Workshop on Critical Systems Development with UML (CSDUML '04, Proceedings).,ch. 85-99, pp. 85-99, , 2004
Conference | 871 | Details | Bibtex-Eintrag

PDF-Datei Martin Deubler, Johannes Grünbauer, Gerhard Popp, Guido Wimmel, Christian Salzmann
Tool Supported Development of Service Based Systems
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC), Busan (Korea), November 30 -- December 3 ,pp. 99--108, IEEE Computer Society, 2004
Conference | 880 | Details | Bibtex-Eintrag

PDF-Datei Stephan Merk, Kathrin Scheidemann, Michael Rudorfer, Thomas Stauner, Johannes Grünbauer, Gerhard Popp, Guido Wimmel
Security for Downloadable Automotive Services
ESCAR Conference,Bochum,2004
Conference | 881 | Details | Bibtex-Eintrag

PDF-Datei Martin Deubler, Johannes Grünbauer, Jan Jürjens, Guido Wimmel
Sound Development of Secure Service-based Systems
Proceedings of the Second International Conference on Service Oriented Computing ,pp. 115--124, ACM Press, 2004
Conference | 882 | Details | Bibtex-Eintrag

Johannes Grünbauer, Michael Klein
Description and matching of services in mobile environments
Mobile Information Management,Dagstuhl Seminar Proceedings,number 04441,Internationales Begegnungs- und Forschungszentrum, 2004
Conference | 887 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Schätz, Michael Fahrmair, Michael von der Beeck, Peter Jack, Hans Kespohl, Ali Koç, Benito Liccardi, Sandra Scheermesser, Albert Zündorf
Entwicklung, Produktion und Service von Software für eingebettete Systeme in der Produktion
, 2004
Tech_Report | 898 | Details | Bibtex-Eintrag

PDF-Datei E. Mohyeldin, M. Dillinger, M. Fahrmair, W. Sitou, P. Dornbusch
A Generic Framework for Negotiations and Trading in Context Aware Radio
Software Defined Radio Technical Conference, Phoenix Arizona USA, November,2004
Conference | 899 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof, Bernhard Schätz, Ingomar Thaler, Alexander Wisspeintner
Service-based development of embedded systems
Net.Object Days, OOSE Workshop,2004
Conference | 918 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof
Natural Language Procesing for Requirements Engineering: Applicability to Large Requirements Documents
Automated Software Engineering, Proceedings of the Workshops,2004
Conference | 919 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof
Using Application Domain Ontology to Construct an Initial System Model
Proceedings of the IASTED International Conference on Software Engineering,2004
Conference | 920 | Details | Bibtex-Eintrag

PDF-Datei Olga Grinchtein, Bengt Jonsson, Martin Leucker
Inference of timed transition systems
In 6th International Workshop on Verification of Infinite-State Systems,pp. 87-99, Elsevier Science Publisher, 2004
Conference | 1029 | Details | Bibtex-Eintrag

PDF-Datei Fredrik Holmén, Martin Leucker, Marcus Lindström
UppDMC – a distributed model checker for fragments of the μ-calculus
Proceedings of the 3rd Workshop on Parallel and Distributed Methods for Verification,Elsevier Science Publishers, 2004
Conference | 1030 | Details | Bibtex-Eintrag

PDF-Datei Olga Grinchtein, Bengt Jonsson, Martin Leucker
Learning of event-recording automata
Proceedings of the Joint Conferences FORMATS and FTRTFT,2004
Conference | 1031 | Details | Bibtex-Eintrag

PDF-Datei Benedikt Bollig, Martin Leucker
Message-passing automata are expressively equivalent to EMSO logic
Proceedings of the 15th International Conference on Concurrency Theory (CONCUR\'04),Springer, 2004
Conference | 1032 | Details | Bibtex-Eintrag

PDF-Datei Benedikt Bollig, Martin Leucker
Verifying qualitative properties of probabilistic programs
Validation of Stochastic Systems,pp. 124--146, Springer, 2004
Article | 1034 | Details | Bibtex-Eintrag

2003


PDF-Datei D. Bettencourt da Cruz, B. Rumpe, G. Wimmel
Retrofitting Security into a Web-Based Information System
Web Engineering. International Conference ICWE 2003, Oviedo, Spain,Springer, 2003
Conference | 306 | Details | Bibtex-Eintrag

PDF-Datei J. Philipps, Bernhard Rumpe
Refactoring of Programs and Specifications.
Practical foundations of business and system specifications,pp. 281 - 297, Kluwer Academic Publishers, 2003
Inbook | 388 | Details | Bibtex-Eintrag

PDF-Datei Editoren: Manfred Broy, Markus Pizka
Models, Algebras and Logic of Engineering Software
IOS Press, 2003
Book | 791 | Details | Bibtex-Eintrag

Michael Gnatz, Frank Marschall, Gerhard Popp, Andreas Rausch, Wolfgang Schwerin
The Living Software Development Process
Software Quality Professional,pp. 4 - 16, 2003
Article | 436 | Details | Bibtex-Eintrag

PDF-Datei Michael Gnatz, Leonid Kof, Franz Prilmeier, Tilman Seifert
A Practical Approach of Teaching Software Engineering
Proceedings of the 16th Conference on Software Engineering Education and Training,pp. 120 - 128, IEEE Computer Society, 2003
Conference | 437 | Details | Bibtex-Eintrag

PDF-Datei J. Romberg, C. Grimm
Refinement of Hybrid Systems from Formal Models to Design Languages
Forum on Design Languages (FDL '03), Frankfurt,2003
Conference | 443 | Details | Bibtex-Eintrag

PDF-Datei J. Romberg, O. Slotosch, G. Hahn
MoDe: A Method for System-Level Architecture Evaluation
Int. Conference on Formal Methods and Models for Codesign (MEMOCODE 2003), Mont St Michel, France,2003
Conference | 444 | Details | Bibtex-Eintrag

PDF-Datei J. Romberg, J. Jürjens, G. Wimmel, O. Slotosch, G. Hahn
AutoFOCUS and the MoDe tool
,IEEE Computer Society, 2003
Conference | 445 | Details | Bibtex-Eintrag

PDF-Datei Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl
Model-based test case generation for smart cards
Formal Methods for Industrial Critical Systems,pp. 168 - 182, ENTCS, 2003
Conference | 451 | Details | Bibtex-Eintrag

Peter Braun, Manfred Broy, María Victoria Cengarle, Jan Philipps, Wolfgang Prenninger, Alexander Pretschner, Martin Rappl, Robert Sandner
The automotive CASE
,pp. 211 - 228, Wiley, 2003
Inbook | 452 | Details | Bibtex-Eintrag

Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps
Model based testing in incremental system development
Journal of Systems and Software, 2003
Article | 453 | Details | Bibtex-Eintrag

Jewgenij Botaschanjan, Markus Pister, Bernhard Rumpe
Testing Agile Requirements Models
,pp. 73 - 79, 2003
Conference | 4 | Details | Bibtex-Eintrag

PDF-Datei Farhad Mehta, Tobias Nipkow
Proving Pointer Programs in Higher-Order Logic
Automated Deduction --- CADE-19,pp. 121 - 135, Springer, 2003
Conference | 449 | Details | Bibtex-Eintrag

PDF-Datei Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner
Prototype-based tests for hybrid reactive systems
Proc. 14th IEEE Intl. Workshop on Rapid System Prototyping (RSP'03),pp. 78 - 85, IEEE Computer Society, 2003
Conference | 450 | Details | Bibtex-Eintrag

PDF-Datei Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner
Tests for mixed discrete-continuous systems
, 2003
Tech_Report | 466 | Details | Bibtex-Eintrag

Peter Dornbusch, Martin Huber
User-Toolkits zur dienstbasierten Entwicklung mobiler Applikationen
,2003
Conference | 471 | Details | Bibtex-Eintrag

Peter Dornbusch, Michael Fahrmair, Eiman Mohyeldin, Markus Dillinger
Communication Profiles and Active Attributes
IADIS International Conference WWW/Internet, Algarve/Portugal,IADIS Press, 2003
Conference | 472 | Details | Bibtex-Eintrag

Martin Huber, Tobias Dietl, Julius Kammerl, Peter Dornbusch
Collecting and Providing Location Information: The Location Trader
8th International Workshop on Mobile Multimedia, Munich,CDTM, 2003
Conference | 473 | Details | Bibtex-Eintrag

Peter Dornbusch, Matthias, Möller, Martin Huber
Rapid Prototyping of mobile Applications
8th International Workshop on Mobile Multimedia, Munich,IADIS Press, 2003
Conference | 474 | Details | Bibtex-Eintrag

Peter Dornbusch, Martin Huber
Generierung von Ortsinformationen durch User-Communities
6. Internationale Tagung Wirtschaftsinformatik, 2003, Dresden, Wirtschaftsinformatik 2003/Band I,Physica-Verlag, 2003
Conference | 475 | Details | Bibtex-Eintrag

Peter Dornbusch
MyCDTM - Portal und Informationssystem für Lehre und Forschung
,Springer-Verlag, 2003
Conference | 476 | Details | Bibtex-Eintrag

PDF-Datei Philippe du Reau, David Redmill, Eiman Mohyeldin, Zoran Golubicic, Robert Hirschfeld, Michael Fahrmair, Chris Salzmann, Peter Dornbusch
Description and Specification of the SCOUT hardware validators and SCOUT Middleware Demonstrator
IST-2001-34091 SCOUT,2003
Tech_Report | 481 | Details | Bibtex-Eintrag

Editoren: Martin Huber, Peter Dornbusch, Jonathan Landgrebe, Matthias Möller, Max Zündt
Visions of Advanced Mobil Communications
Trend Report 2002/2003,2003
Book | 483 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens, Gerhard Popp, Guido Wimmel
Use Case Oriented Development of Security-Critical Systems
DOCsec 2003 - OMG Workshop on Distributed Objects and Components Security, Information Security Bulletion,pp. 55 - 60, 2003
Article | 493 | Details | Bibtex-Eintrag

Ruth Breu, Klaus Burger, Michael Hafner, Jan Jürjens, Gerhard Popp, Guido Wimmel, Volkmar Lotz
Key Issues of a Formally Based Process Model for Security Engineering
Proceedings of the 16th International Conference on Software & Systems Engineering and their Applications (ICSSEA03), Paris,2003
Conference | 495 | Details | Bibtex-Eintrag

Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth Breu
Security-Critical System Development with Extended Use Cases
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC),IEEE Computer Society, 2003
Conference | 496 | Details | Bibtex-Eintrag

PDF-Datei Michael Gnatz, Frank Marschall, Gerhard Popp, Andreas Rausch, Wolfgang Schwerin
Enabling a Living Software Development Process with Process Patterns
, 2003
Tech_Report | 497 | Details | Bibtex-Eintrag

PDF-Datei Tilman Seifert, Markus Pizka
Supporting Software-Evolution at the Process Level
Workshop on Migration and Evolvability of Long-life Software Systems (MELLS), Erfurt, Germany,2003
Conference | 503 | Details | Bibtex-Eintrag

PDF-Datei Tilman Seifert, Thomas Wieland
Prerequisites for Enterprises to Get Involved in Open Source Software Development
1st Workshop on Open Source Software Engineering in an Industrial Environment (OSSIE), Erfurt,2003
Conference | 504 | Details | Bibtex-Eintrag

PDF-Datei Tilman Seifert, Markus Pizka, Karlheinz Raith
Process improvement in large-scale industrial environments based on SCM
Proc. of the Int. Conf. on Software Engineering Research and Practice - SERP, Las Vegas, NV,pp. 246 - 249, CSREA Press, 2003
Conference | 505 | Details | Bibtex-Eintrag

PDF-Datei Jianjun Deng, Tilman Seifert, Sascha Vogel
Towards a Product Model of Open Source Software in a Commercial Environment
3rd International Workshop on Open Source Software Engineering. ICSE 03,2003
Conference | 506 | Details | Bibtex-Eintrag

PDF-Datei A. Alkassar, M. Broy, F. Gehring, M. Garschhammer, H.-G. Hegering, P. Keil, H. Kelter, U. Löwer, M. Pankow, A. Picot, A.-R. Sadeghi, M. Schiffers
Kommunikations- und Informationstechnik 2010+3: Neue Trends und Entwicklungen in Technologie, Anwendungen und Sicherheit
2003
Book | 508 | Details | Bibtex-Eintrag

PDF-Datei Patrick Keil
Entwicklungslinien der IT-Sicherheit
,pp. 32 - 34, SecuMedia Verlag, 2003
Article | 509 | Details | Bibtex-Eintrag

Michael von der Beeck, Peter Braun, Martin Rappl, Christian Schröder
UML for Real: Design of Embedded Real-Time Systems, Automotive UML
Kluwer Academic Publishers,Kluwer Academic Publishers, 2003
Book | 510 | Details | Bibtex-Eintrag

PDF-Datei Peter Braun, Frank Marschall
BOTL - The Bidirectional Objekt Oriented Transformation Language
, 2003
Tech_Report | 511 | Details | Bibtex-Eintrag

PDF-Datei Peter Braun
Metamodel-based Integration of Tools
Proceeding of ESEC/FSE 2003, TIS 2003 Workshop on Tool Integration in System Development,2003
Conference | 512 | Details | Bibtex-Eintrag

Bernhard Schätz, Peter Braun, Franz Huber, Alexander Wißpeintner
Consistency in Model-Based Development
Proceedings of ECBS 2003 10th IEEE International Conference and Workshop on the Engineering of Computer Based Systems,2003
Conference | 513 | Details | Bibtex-Eintrag

Michael von der Beeck, Peter Braun, Ulrich Freund, Martin Rappl
Architecture Centric Modeling of Automotive Control Software
SAE Technical Paper Series 2003-01-0856,2003
Conference | 514 | Details | Bibtex-Eintrag

María Victoria Cengarle, Alexander Knapp
OCL 1.4/5 vs. 2.0 Expressions: formal semantics and expressiveness
Software and Systems Modeling,Springer Verlag, 2003
Article | 523 | Details | Bibtex-Eintrag

PDF-Datei Stefan Berghofer, Martin Strecker
Extracting a formally verified, fully executable compiler from a proof assistant
Proc. 2nd International Workshop on Compiler Optimization Meets Compiler Verification (COCV'2003), Electronic Notes in Theoretical Computer Science,2003
Conference | 524 | Details | Bibtex-Eintrag

PDF-Datei Gerwin Klein, Martin Strecker
Verified Bytecode Verification and Type-Certifying Compilation
Journal of Logic and Algebraic Programming,2003
Article | 525 | Details | Bibtex-Eintrag

Frank Marschall, Maurice Schoenmakers
KOGITO - Knowledge Management in Requirements Engineering
Proceedings of the KnowTech 2003 (5. Konferenz zum Einsatz von Wissensmanagement in Wirtschaft und Verwaltung),2003
Conference | 528 | Details | Bibtex-Eintrag

PDF-Datei Frank Marschall, Maurice Schoenmakers
Classifying Requirement Conflicts for Multi-Stakeholder Distributed Systems
Proceedings of the Workshop on Requirements Engineering in Open Systems at the 11th IEEE International Requirements Engineering Conference,2003
Conference | 529 | Details | Bibtex-Eintrag

PDF-Datei Frank Marschall, Peter Braun
Model Transformations for the MDA with BOTL
Proceedings of the Workshop on Model Driven Architecture: Foundations and Applications, CTIT Technical Report TR-CTIT-03-27,Univeristy of Twente, 2003
Tech_Report | 530 | Details | Bibtex-Eintrag

Frank Marschall, Maurice Schoenmakers
Towards model-based Requirements Engineering for web-enabled B2B Applications
Proceedings of the 10th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2003),IEEE Computer Society Press, 2003
Conference | 531 | Details | Bibtex-Eintrag

PDF-Datei Gerwin Klein, Martin Wildmoser
Verified Bytecode Subroutines
Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics,Springer Verlag, 2003
Article | 534 | Details | Bibtex-Eintrag

PDF-Datei Gerwin Klein, Martin Wildmoser
Verified Bytecode Subroutines
Journal of Automated Reasoning,Kluwer Academic Press, 2003
Article | 535 | Details | Bibtex-Eintrag

PDF-Datei Norbert Schirmer
Java Definite Assignment in Isabelle/HOL
Formal Techniques for Java-like Programs 2003 (Proceedings), Chair of Software Engineering, Technical Report 108,, 2003
Tech_Report | 536 | Details | Bibtex-Eintrag

PDF-Datei Norbert Schirmer
Analysing the Java Package/Access Concepts in Isabelle/HOL
Concurrency and Computation: Practice and Experience,2003
Article | 537 | Details | Bibtex-Eintrag

PDF-Datei Stefan Berghofer
Program Extraction in simply-typed Higher Order Logic
Types for Proofs and Programs, International Workshop, (TYPES 2002),Springer-Verlag, 2003
Conference | 545 | Details | Bibtex-Eintrag

Stefan Berghofer
Proofs, Programs and Executable Specifications in Higher Order Logic
,2003
PHDthesis | 546 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens, Johannes Grünbauer
Critical Systems Development with UML: Overview with Automotive Case-study
,ACIS, 2003
Conference | 547 | Details | Bibtex-Eintrag

PDF-Datei Johannes Grünbauer, Helia Hollmann, Jan Jürjens, Guido Wimmel
Modelling and Verification of Layered Security Protocols: A Bank Application
SAFECOMP 2003, 23-26 September 2003 Edinburgh, GB,Springer-Verlag, 2003
Conference | 548 | Details | Bibtex-Eintrag

PDF-Datei Leonid Kof, Bernhard Schätz
Combining Aspects of Reactive Systems
Proceedings of Perspectives of System Informatics'03,pp. 1019-1041, Springer Verlag, 2003
Conference | 549 | Details | Bibtex-Eintrag

H. Lötzbeyer
Modellbasierte Testfallermittlung für eingebettete Systeme in sicherheitskritischen Anwendungen
Dissertation,LOGOS-Verlag Berlin, 2003
PHDthesis | 556 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Schätz, Tobias Hain, Frank Houdek, Wolfgang Prenninger, Martin Rappl, Jan Romberg, Oscar Slotosch, Martin Strecker, Alexander Wißpeintner
Case tools for embedded systems
, 2003
Tech_Report | 568 | Details | Bibtex-Eintrag

A. Pretschner
Modellbasiertes Testen
Tutorial, Entwurf komplexer Automatisierungssysteme, Braunschweig,2003
Conference | 570 | Details | Bibtex-Eintrag

PDF-Datei A. Pretschner
Compositional Generation of MC/DC Integration Test Suites
Proc. TACoS'03, Warsaw, Electronic Notes in Theoretical Computer Science 82(6),pp. 1 - 11, 2003
Conference | 571 | Details | Bibtex-Eintrag

Peter Braun, Michael von der Beeck, Martin Rappl, Christian Schröder
Automotive UML
UML for Real,Kluwer Academic Publisher, 2003
Conference | 577 | Details | Bibtex-Eintrag

Bernhard Schätz, Jan Romberg, Oscar Slotosch, Martin Strecker, Alexander Wißpeintner, Tobias Hain, Wolfgang Prenninger, Martin Rappl, Katharina Spies
Modeling Embedded Software: State of the Art and Beyond
Proceedings of ICCSEA 16th International Conference on Software and Systems Engineering and their Applications, 2003 Conference,2003
Conference | 580 | Details | Bibtex-Eintrag

Jan Jürjens, E. Fernandez, R. Sandner
Critical Systems Development with UML-like Languages
Special Section of the Journal on Software and Systems Modeling,2003
Article | 588 | Details | Bibtex-Eintrag

Jan Jürjens, E. Fernandez, R. France, B. Rumpe
Critical Systems Development with UML
UML'03 satellite workshop proceedings,, 2003
Tech_Report | 589 | Details | Bibtex-Eintrag

Siv Hilde Houmb, Jan Jürjens
Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec
10th Asia-Pacific Software Engineering Conference (APSEC 2003), Chiangmai (Thailand),IEEE Computer Society, 2003
Conference | 591 | Details | Bibtex-Eintrag

Sebastian Höhn, Jan Jürjens
Automated Checking of SAP Security Permissions
6TH IFIP WG 11.5 Working Conference on Integrity and Internal Control in Information Systems (IICIS), Lausanne, Switzerland,Kluwer, 2003
Conference | 592 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Developing safety-critical systems with UML
UML 2003, San Francisco,Springer-Verlag, 2003
Conference | 593 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Algebraic State Machines: Concepts and Applications to Security
Andrei Ershov 5th International Conference "Perspectives of System Informatics" (PSI'03), Novosibirsk, Russia,Springer-Verlag, 2003
Conference | 594 | Details | Bibtex-Eintrag

Jan Jürjens, Lidiya Buda
Entwurfsprinzipien und Entwurfsmuster für sichere Systeme
IT-Audit, 2003
Publication | 595 | Details | Bibtex-Eintrag

Jan Juerjens
Critical Systems Design with UML light
, 2003
Tech_Report | 596 | Details | Bibtex-Eintrag

Jan Jürjens
Principles for Secure Systems Design with UMLsec
Kluwer, 2003
Book | 598 | Details | Bibtex-Eintrag

Manfred Broy, Ralf Steinbrüggen
Modellbildung in der Informatik
Xpert.press Series, Heidelberg,Springer-Verlag, 2003
Book | 602 | Details | Bibtex-Eintrag

M. Fontoura, W. Pree, B. Rumpe
UML Profile for Framework Architectures
in Chinese,China Machine Press, 2003
Book | 607 | Details | Bibtex-Eintrag

PDF-Datei Editoren: J. Jürjens, Bernhard Rumpe, Robert France, Eduardo B. Fernandez
Critical Systems Development with UML
Proceedings of the "UML 2003 Workshop,, 2003
Conference | 611 | Details | Bibtex-Eintrag

B. Rumpe, P. Scholz
Scaling the Management of Extreme Programming Projects
Projects & Profits. Special Issue on Management of Extreme Programming Projects, Hyderabat,pp. 11 - 18, ICFAI Press, 2003
Article | 617 | Details | Bibtex-Eintrag

PDF-Datei B. Rumpe
E-Business Experiences with Online Auctions
Managing E-Commerce and Mobile Computing Technologies,IRM Press, 2003
Inbook | 619 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Rumpe
Model-Based Testing of Object-Oriented Systems
Formal Methods for Components and Objects, International Symposium, FMCO 2002, Leiden,Springer Verlag, 2003
Conference | 630 | Details | Bibtex-Eintrag

PDF-Datei D. Bettencourt da Cruz, B. Rumpe, G. Wimmel
Introducing Security Mechanisms after Initial Development: the RAC Case Study
, 2003
Tech_Report | 314 | Details | Bibtex-Eintrag

Tilman Seifert, Markus Pizka, Marcus Peisker
Die Bedeutung expliziter Modellierung für die Entwicklung komplexer und langlebiger Software-Systeme
, 2003
Tech_Report | 792 | Details | Bibtex-Eintrag

PDF-Datei Markus Pizka
Improving Distributed OS Performance by Flexible Incremental Linking
Proc. of the Int. Conf. on Parallel and Distributed Processing Techniques and Applications - PDPTA,pp. 1579 - 1585, CSREA Press, 2003
Conference | 793 | Details | Bibtex-Eintrag

PDF-Datei Markus Pizka, Manfred Broy
Success and Failure of 1000 First Semester CS Students
Computers and Advanced Technology in Education - CATE 2003,pp. 771 - 776, ACTA Press, 2003
Conference | 794 | Details | Bibtex-Eintrag

PDF-Datei Raimund L. Feldmann, Markus Pizka
An On-line SE Repository for Germany´s SME -- An Experience Report
Advances in Learning Software Organizations, 4th International Workshop, LSO 2002,pp. 34 - 43, Springer-Verlag, 2003
Conference | 795 | Details | Bibtex-Eintrag

PDF-Datei Andreas Bauer, Markus Pizka
The Contribution of Free Software to Software Evolution
Proc. of the Int. Workshop on Principles of Software Evolution (IWPSE),IEEE Computer Society, 2003
Conference | 796 | Details | Bibtex-Eintrag

PDF-Datei Elena Kolodizki, Martin Ober, Markus Pizka
Refactoring in Langzeitprojekten
, 2003
Tech_Report | 797 | Details | Bibtex-Eintrag

Andreas Bauer
GCC erweitern und effizient nutzen
Linux Magazin,pp. 108 - 111, 2003
Article | 799 | Details | Bibtex-Eintrag

Andreas Bauer
PDF-Slides -- Professionell präsentieren mit Linux
Linux User,pp. 34 - 37, 2003
Article | 800 | Details | Bibtex-Eintrag

M. Broy
Automotive Software Engineering
25th International Conference on Software Engineering,pp. 719 - 720, IEEE 2003, 2003
Conference | 832 | Details | Bibtex-Eintrag

M. Broy
Hierarchies of Models for Embedded Systems
First ACM and IEEE Conference on Formal Methods and Models for Co-Design,pp. 183 - 190, IEEE Computer Society, 2003
Conference | 833 | Details | Bibtex-Eintrag

M. Broy
Modeling Services and Layered Architectures
Formal Techniques for Networked and Distributed Systems,pp. 48 - 61, Springer, 2003
Inbook | 834 | Details | Bibtex-Eintrag

M. Broy
Engineering Software Intensive Systems. Keynote
Fourth International Conference on Software Engineering, Artificial Intellligence, Networking and Parallel/Distributed Computing,pp. 1 - 11, ACIS, 2003
Conference | 835 | Details | Bibtex-Eintrag

M. Broy
Multi-view Modeling of Software Systems. Keynote
FM2003 Satellite Workshop on Formal Aspects of Component Software,2003
Publication | 323 | Details | Bibtex-Eintrag

M. Broy, Edsger Dijkstra
An Independent and Rigorous Mind
People Behind Informatics,pp. 88 - 96, 2003
Publication | 324 | Details | Bibtex-Eintrag

PDF-Datei D. Cruz, S. Vogel
Towards a Method to instantiate a Product Model for Open Source Software Development in a Commercial Environment
1st Workshop on Open-Source Software in an Industrial Context (OSIC'03), OOPSLA 2003,pp. 31 - 36, , 2003
Conference | 843 | Details | Bibtex-Eintrag

M. Fahrmair, E. Mohyeldin, C. Salzmann
Communication Profiles for Reconfigurable Systems
Dillinger, Madani, Alonistioti ed.: Software Defined Radio: Architecture, Systems and Functions John Wiley & Sons,2003
Conference | 901 | Details | Bibtex-Eintrag

N. Houssos, A. Alonistioti, L. Merkakos, M. Dillinger , E. Mohyeldin, M. Fahrmair, M. Schoenmakers
Advanced Adaptability and Profile Management Framework for the Support of Flexible Mobile Service Provisioning
IEEE Wireless Communication Magazine,2003
Article | 902 | Details | Bibtex-Eintrag

PDF-Datei Gerd Beneken, Ulrike Hammerschall, Manfred Broy, Maria Victoria Cengarle, Jan Jürjens, Bernhard Rumpe, Maurce Schoenmakers
Componentware - State of the Art 2003
Proceedings of the CUE Workshop Venedig,2003
Conference | 923 | Details | Bibtex-Eintrag

2002


PDF-Datei Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps
Model-Based Development of Embedded Systems
, 2002
Tech_Report | 355 | Details | Bibtex-Eintrag

PDF-Datei Alexander Pretschner, Jan Philipps
Szenarien modellbasierten Testens
, 2002
Tech_Report | 356 | Details | Bibtex-Eintrag

PDF-Datei Klaus Bender, Manfred Broy, Istvan Peter, Alexander Pretschner, Thomas Stauner
Model based development of hybrid systems: specification, simulation, test case generation
Modelling, Analysis, and Design of Hybrid Systemspp. 37-52,Springer, 2002
Inbook | 357 | Details | Bibtex-Eintrag

PDF-Datei Ingolf Krüger, Wolfgang Prenninger, Robert Sandner
Semantics of Broadcast MSCs
Semantic Foundations of Engineering Design Languages (SFEDL),2002
Publication | 358 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens, Gerhard Popp, Guido Wimmel
Towards Using Security Patterns in Model-based System Development
EuroPLoP 2002 (Security Focus Group),2002
Conference | 364 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
UMLsec: Extending UML for Secure Systems Development
UML 2002, Dresden,pp. 412 - 425, Springer-Verlag, 2002
Conference | 365 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Using UMLsec and Goal-Trees for Secure Systems Development
Symposium of Applied Computing (SAC 2002), Madrid,ACM, 2002
Conference | 366 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Methodische Entwicklung sicherer CORBA-Anwendungen
,IT-Verlag, 2002
Conference | 375 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Formal Semantics for Interacting UML subsystems
IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), Twente,Kluwer, 2002
Conference | 376 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
A UML statecharts semantics with message-passing
Symposium of Applied Computing (SAC 2002), Madrid,ACM, 2002
Conference | 377 | Details | Bibtex-Eintrag

PDF-Datei Guido Wimmel, Jan Jürjens
Specification-based Test Generation for Security-Critical Systems Using Mutations
ICFEM 2002, 2002 Shanghai, China,pp. 471 - 482, Springer-Verlag, 2002
Conference | 378 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Games in the Semantics of Programming Languages
Journal Synthese, Nos. 1-2,Kluwer, 2002
Article | 386 | Details | Bibtex-Eintrag

PDF-Datei Markus Pizka
STA -- A Conceptual Model for System Evolution
Intern. Conference on Software Maintenance,pp. 462 - 469, IEEE CS Press, 2002
PHDthesis | 389 | Details | Bibtex-Eintrag

PDF-Datei Raimund Feldman, Markus Pizka
An On-line SE Repository for Germany’s SME -- An Experience Report
Advances in Learning Software Organizations,Springer-Verlag, 2002
Publication | 390 | Details | Bibtex-Eintrag

PDF-Datei Markus Pizka
Dynamic Component and Code Co-Evolution
5th Int. Workshop on Principles of Software Evolution IWPSE,pp. 71 - 75, 2002
Conference | 391 | Details | Bibtex-Eintrag

PDF-Datei Markus Pizka, Christian Rehn
Heaps and Stacks in Distributed Shared Memory
16th Int. Parallel & Distributed Processing Sysmposium - IPDPS,2002
Conference | 392 | Details | Bibtex-Eintrag

PDF-Datei Michael Gnatz, Frank Marschall, Gerhard Popp, Andreas Rausch, Wolfgang Schwerin
Towards a Tool Support for a Living Software Development Process
Proceedings of the Hawai'i International Conference on System Sciences,IEEE Computer Society, 2002
Conference | 441 | Details | Bibtex-Eintrag

PDF-Datei Franz Huber, Jan Philipps, Oscar Slotosch
Model-based development of embedded systems
Embedded Intelligence,WEKA Fachzeitschriften-Verlag, 2002
Conference | 454 | Details | Bibtex-Eintrag

PDF-Datei J. Romberg
Model-Based Deployment with AutoFocus: A First Cut
14th Euromicro 2002 Conference on Real-Time Systems, Work-in-Progress Session, Vienna, Austria,2002
Conference | 446 | Details | Bibtex-Eintrag

PDF-Datei Markus Dillinger , Eiman Mohyeldin , J. Luo, Peter Dornbusch , Michael Fahrmair, Chris Salzmann
Structure and Management of SDR System Profiles
Software Defined Radio Technical Conference, San Diego USA,2002
Conference | 477 | Details | Bibtex-Eintrag

PDF-Datei Peter Dornbusch, Maximilian Zündt
Realisierung von Positionsortungen in WLAN
,VDE Verlag, 2002
Conference | 478 | Details | Bibtex-Eintrag

PDF-Datei Markus Dillinger , Eiman Mohyeldin , J. Luo, Peter Dornbusch , Michael Fahrmair, Chris Salzmann
Communication Profiles for SDR Equipment
IST Mobile & Wireless Telecommunications Summit,2002
Conference | 479 | Details | Bibtex-Eintrag

Editoren: Martin Huber, Anne Buttermann, Lucia Diaz Trigo, Matthias Möller, Peter Dornbusch, Max Zündt
IT-Security in Global Corporate Networks
Trend Report 2002, BoD - Books on Demand,2002
Book | 484 | Details | Bibtex-Eintrag

Editoren: Martin Huber, Christian Bachmeier, Anne Buttermann, Sascha Vogel,Peter Dornbusch
Smart Dust
Trend Report 2001/2002, BoD - Books on Demand,2002
Book | 485 | Details | Bibtex-Eintrag

I. Krüger, W. Prenninger, R. Sandner, M. Broy
From Scenarios to Hierarchical Broadcasting Software Architectures using UML-RT
International Journal of Software Engineering and Knowledge Engineering (IJSEKE) 12:4,pp. 1 - 20, World Scientific, 2002
Article | 486 | Details | Bibtex-Eintrag

PDF-Datei I. Krüger, W. Prenninger, R. Sandner
Development of an Autonomous Transport System using UML-RT
, 2002
Tech_Report | 487 | Details | Bibtex-Eintrag

PDF-Datei Gnatz, Marschall, Popp, Rausch, Rodenberg-Ruiz, Schwerin
Proceedings of the 1st Workshop on Software Development Process Patterns
, 2002
Tech_Report | 498 | Details | Bibtex-Eintrag

Peter Braun, Michael von der Beeck, Martin Rappl, Christian Schröder
Model-Based Requirements Engineering for Embedded Systems
IEEE Joint International Requirements Engineering Conference, Essen,IEEE CS Press, 2002
Conference | 501 | Details | Bibtex-Eintrag

Roland Schätzle, Tilman Seifert, Jörg Kleine-Gung
Enterprise Java Beans: Kritische Betrachtungen zu einer modernen Software-Architektur
Wirtschaftsinformatik,pp. 217 - 224, 2002
Article | 507 | Details | Bibtex-Eintrag

PDF-Datei Peter Braun,Frank Marschall
Transforming Object Oriented Models with BOTL
International Workshop on Graph Transformation and Visual Modeling Techniques, ENTCS 72.3, Elsevier Science B. V.,2002
Conference | 515 | Details | Bibtex-Eintrag

Peter Braun, Oscar Slotosch
Development of a Car Seat: A Case Study using AutoFocus, DOORS, and the Validas Validator
OMER - Object-oriented Modeling of Embedded Real-Time Systems, LNI P-5,Springer, 2002
Conference | 516 | Details | Bibtex-Eintrag

Peter Braun, Martin Rappl
A Model Based Approach for Automotive Software Development
OMER - Object-oriented Modeling of Embedded Real-Time Systems, LNI P-5,Springer, 2002
Conference | 517 | Details | Bibtex-Eintrag

Michael von der Beeck, Peter Braun, Martin Rappl, Christian Schröder
Automotive Software Development: A Model Based Approach
World Congress of Automotive Engineers, SAE Technical Paper Series 2002-01-0875,2002
Conference | 518 | Details | Bibtex-Eintrag

María Victoria Cengarle, Alexander Knapp
Towards OCL/RT
Proc. 11th Int. Symp. Formal Methods Europe, Lect. Notes Comp. Sci.,pp. 390 - 409, Springer Berlin, 2002
Conference | 522 | Details | Bibtex-Eintrag

PDF-Datei Martin Strecker
Investigating Type-Certifying Compilation with Isabelle
Proc. Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Lecture Notes in Computer Science,Springer Verlag, 2002
Conference | 526 | Details | Bibtex-Eintrag

PDF-Datei Martin Strecker
Formal Verification of a Java Compiler in Isabelle
Proc. Conference on Automated Deduction (CADE), Lecture Notes in Computer Science,pp. 63 - 77, Springer Verlag, 2002
Conference | 527 | Details | Bibtex-Eintrag

PDF-Datei Norbert Schirmer
Analysing the Java Package/Access Concepts in Isabelle/HOL
Formal Techniques for Java-like Programs 2003 (Proceedings), Computing Science Department, Technical Report NIII-R0204,University of Nijmegen, 2002
Conference | 538 | Details | Bibtex-Eintrag

PDF-Datei Jesús Aransay, Clemens Ballarin, Julio Rubio
Deduction and Computation in Algebraic Topology
First Ibero-American Workshop on Automated Deduction and Artificial Intelligence (IDEIA): Sevilla, Spain,pp. 47 - 54, 2002
Conference | 539 | Details | Bibtex-Eintrag

PDF-Datei Clemens Ballarin, Manuel Kauers
Solving Parametric Linear Systems: an Experiment with Constraint Algebraic Programming
Eighth Rhine Workshop on Computer Algebra: Mannheim, Germany,pp. 101 - 114, , 2002
Conference | 540 | Details | Bibtex-Eintrag

PDF-Datei Stefan Berghofer, Tobias Nipkow
Executing Higher Order Logic
Types for Proofs and Programs, International Workshop, (TYPES 2000),Springer-Verlag, 2002
Conference | 544 | Details | Bibtex-Eintrag

PDF-Datei Gertrud Bauer, Tobias Nipkow
The 5 Colour Theorem in Isabelle/Isar
Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA,Springer, 2002
Conference | 550 | Details | Bibtex-Eintrag

PDF-Datei A. Blotz, F. Huber, H. Lötzbeyer, A. Pretschner, O. Slotosch, P. Zängerl
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems
Proc. Ada Deutschland Tagung, Jena,2002
Conference | 557 | Details | Bibtex-Eintrag

Monika Vetterling, Guido Wimmel, Alexander Wißpeintner
Secure Systems Development Based on the Common Criteria
10th International Symposium on the Foundations of Software Engineering (FSE-10). ACM,2002
Conference | 564 | Details | Bibtex-Eintrag

PDF-Datei B. Schätz, A. Pretschner, F. Huber, J. Philipps
Model-Based Development of Embedded Systems
Advances in Object-Oriented Information Systems, Lecture Notes in Computer Science,pp. 298 - 311, Springer Verlag, 2002
Conference | 572 | Details | Bibtex-Eintrag

Peter Braun, Manfred Broy, María Victoria Cengarle, Jan Philipps, Wolfgang Prenninger, Alexander Pretschner, Martin Rappl, Robert Sandner
The Automotive CASE
,2002
Conference | 576 | Details | Bibtex-Eintrag

Jan Jürjens, V. Cengarle, E. Fernandez, B. Rumpe, R. Sandner
Critical Systems Development with UML
UML'02 satellite workshop proceedings,, 2002
Tech_Report | 590 | Details | Bibtex-Eintrag

Helia R. Hollmann, Klaus Schmidt, Johannes Grünbauer, Jan Jürjens, Guido Wimmel
Untersuchung zur Einbindung von Sicherheitsinfrastrukturen in Applikationsarchitekturen und Kommunikationsprotokollen
,2002
Tech_Report | 597 | Details | Bibtex-Eintrag

Jan Jürjens
Principles for Secure Systems Design
Oxford University Computing Laboratory,2002
PHDthesis | 601 | Details | Bibtex-Eintrag

Editoren: Helmut Schwichtenberg, Ralf Steinbrüggen
Proof and System-Reliability
Proc. Marktoberdorf Summer School 2001, Dordrecht,Kluwer Academic Publishers, 2002
Book | 603 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Rumpe
Java-OCL Based on New Presentation of the OCL-Syntax
Object Modeling with the OCL,pp. 189 - 212, Springer Verlag Berlin, 2002
Inbook | 620 | Details | Bibtex-Eintrag

Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Wills
The Amsterdam Manifesto on OCL
Object Modeling with the OCL,pp. 115 - 149, Springer Verlag Berlin, 2002
Inbook | 621 | Details | Bibtex-Eintrag

PDF-Datei Marcus Fontoura, Bernhard Rumpe, Wolfgang Pree
Product Line Annotations with UML-F
Second Software Product Line Conference, San Diego, California,Springer Verlag, 2002
Conference | 623 | Details | Bibtex-Eintrag

PDF-Datei Dan Turk, Robert France, Bernhard Rumpe
Limitations of Agile Software Processes
Third International Conference on Extreme Programming and Flexible Processes in Software Engineering, XP2002, Alghero, Italy,pp. 43 - 46, 2002
Conference | 624 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Rumpe, Peter Scholz
A manager's view on large scale XP projects
Third International Conference on Extreme Programming and Flexible Processes in Software Engineering, XP2002, Alghero, Italy,pp. 158 - 159, 2002
Conference | 625 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Rumpe, Astrid Schröder
Quantitative Survey on Extreme Programming Projects
Third International Conference on Extreme Programming and Flexible Processes in Software Engineering, XP2002, Alghero, Italy,pp. 95 - 100, 2002
Conference | 626 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Rumpe
Executable Modeling with UML. A Vision or a Nightmare?
Issues & Trends of Information Technology Management in Contemporary Associations, Seattle,pp. 697 - 701, Idea Group Publishing, 2002
Conference | 627 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Rumpe
Online Auctions (lessons learned from strategic E-Business consulting)
Issues & Trends of Information Technology Management in Contemporary Associations, Seattle,pp. 682 - 686, Idea Group Publishing, 2002
Conference | 628 | Details | Bibtex-Eintrag

Bernhard Rumpe
Agile Modeling in Lightweight Projects
Monterey 2002.Radical Innovations of Software and Systems Engineering in the Future. Workshop Proceedings. Venezia. TR CS-2002-10,Universita Ca Foscari di Venezia, 2002
Conference | 310 | Details | Bibtex-Eintrag

PDF-Datei M. Pizka, B. Rumpe, T.Seifert
Workshop Agile Methodologies Experience
Virtuelles Software Engineering Kompetenzzentrum VISEK.de,2002
Tech_Report | 315 | Details | Bibtex-Eintrag

PDF-Datei Andreas Bauer
PostgreSQL --- Open Source Database Systems
Linux Magazine UK,pp. 33 - 35, 2002
Article | 801 | Details | Bibtex-Eintrag

Andreas Bauer
Projekte veröffentlichen auf SourceForge & Co.
Linux User,pp. 33 - 35, 2002
Article | 802 | Details | Bibtex-Eintrag

Andreas Bauer
Text-Utilities -- Text-Utilities in UNIX-Manier
Linux User,pp. 62 - 64, 2002
Article | 803 | Details | Bibtex-Eintrag

M. Broy, J. Siedersleben
Objektorientierte Programmierung und Softwareentwicklung: Eine kritische Einschätzung
Informatik Spektrum 3,pp. 3 - 11, 2002
Article | 827 | Details | Bibtex-Eintrag

Editoren: M. Broy, E. Denert
Software Pioneers
Springer, 2002
Book | 828 | Details | Bibtex-Eintrag

M. Broy, D. Rombach
Software Engineering. Wurzeln, Stand und Perspectiven
Informatik Spektrum 25:6,pp. 438 - 451, 2002
Article | 829 | Details | Bibtex-Eintrag

M. Broy
Abstractions from time
Programming Methodology. Monographs in Computer Science,pp. 95 - 107, Springer, 2002
Inbook | 830 | Details | Bibtex-Eintrag

M. Broy
Object-oriented Programming and Software Development – A Critical Assessment
Programming Methodology. Monographs in Computer Science,pp. 211 - 222, Springer, 2002
Inbook | 831 | Details | Bibtex-Eintrag

A. Pink, H. Koßmann, M. Broy, E. Kargl, M. Lagally, T. Schimper
Software-Entwicklung für Kommunikationsnetze
Springer, 2002
Publication | 322 | Details | Bibtex-Eintrag

M. Broy
Unifying Models and Engineering Theories of Composed Software Systems
Models, Algebra and Logic of Engineering Software. Marktoberdorf Summer School 2002,Springer, 2002
Conference | 837 | Details | Bibtex-Eintrag

Norbert Diernhofer, Michael Fahrmair, Ursula Eschbach
Shopping mit dem Handy
Mobile Computer & Kommunikation 10/2002,kom:unik Verlag, 2002
Article | 855 | Details | Bibtex-Eintrag

M. Dillinger, E. Mohyeldin, J. Luo, P. Weckerle, P. Dornbusch, M. Fahrmair, C. Salzmann
Dynamic Classmarks for SDR Equipment
15th IEEE International Symposium on Personal, Indoor and Mobile Communications (PIMRC 2002), Lisbon Portugal,2002
Conference | 903 | Details | Bibtex-Eintrag

2001


PDF-Datei David von Oheimb
Analyzing Java in Isabelle/HOL: Formalization, Type Safety and Hoare Logic
, 2001
PHDthesis | 288 | Details | Bibtex-Eintrag

PDF-Datei David von Oheimb
Hoare Logic for {J}ava in {Isabelle/HOL}
Concurrency: Practice and Experience,Wiley, 2001
Article | 289 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Rumpe
Extreme Programming - Back to Basics?
,pp. 121 - 131, GI-Edition, Lecture Notes in Informatics, 2001
Conference | 290 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin
Methodik, Sprachen und Grundlagen des Software Engineering - Abschlußbericht des Forschungslabors SysLab (1.10.94 - 30.9.99)
Informatik: Forschung und Entwicklung,pp. 53 - 59, Springer-Verlag, 2001
Article | 291 | Details | Bibtex-Eintrag

PDF-Datei Ingolf Krüger, Wolfgang Prenninger, Robert Sandner
Architectural Design of a Broadcasting System using UML-RT
OMER-2 Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung,, 2001
Conference | 295 | Details | Bibtex-Eintrag

PDF-Datei Ingolf Krüger, Wolfgang Prenninger, Robert Sandner
Deriving Architectural Prototypes for a Broadcasting System using UML-RT
1st ICSE Workshop on Describing Software Architecture with UML,Rational Software, 2001
Conference | 296 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Rumpe,Guido Wimmel
A Framework for Realtime Online Auctions
Managing Information Technology in a Global Economy - Proceedings of IRMA International Conference, Toronto,pp. 908 - 912, Idea Group Publishing, 2001
Conference | 297 | Details | Bibtex-Eintrag

PDF-Datei Guido Wimmel, Alexander Wißpeintner
Extended Description Techniques for Security Engineering
Trusted Information, The New Decade Challenge, IFIP TC11 16th "International Conference on Information Security (IFIP/Sec'01), Paris,pp. 470 - 485, Kluwer Academic Publishers, 2001
Conference | 298 | Details | Bibtex-Eintrag

PDF-Datei Max Breitling, Jan Philipps
Bridging System Views
VERIFY'01, Verification Workshop of the International Joint Conference on Automated Reasoning (IJCAR), Siena, Italy,Universita degli Studi di Siena, 2001
Conference | 300 | Details | Bibtex-Eintrag

PDF-Datei Jan Philipps, Bernhard Rumpe
Roots of Refactoring
Tenth OOPSLA Workshop on Behavioral Semantics. Tampa Bay, Florida, USA,Northeastern University, 2001
Conference | 302 | Details | Bibtex-Eintrag

PDF-Datei Carsten Jacobi, Bernhard Rumpe
Hierarchical XP. Improving XP for large scale projects in analogy to reorganization processes
Extreme Programming Examined,Addison-Wesley, 2001
Inbook | 303 | Details | Bibtex-Eintrag

PDF-Datei Marcus Fontoura, Bernhard Rumpe, Wolfgang Pree
The WebShop E-Commerce Framework
International Conference on Internet Computing, Nevade, USA,pp. 150 - 156, CSREA Press, 2001
Conference | 305 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Rumpe, Robert Sandner
UML - Unified Modeling Language im Einsatz. Teile 1-2. Hintergrund und Notation der Standard UML.
,Oldenbourg Verlag, 2001
Article | 307 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Rumpe, Robert Sandner
UML - Unified Modeling Language im Einsatz. Teil 3. UML-RT für echtzeitkritische und eingebettete Systeme
,Oldenbourg Verlag, 2001
Article | 308 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens, Guido Wimmel
Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications
Towards the E-Society. Proceedings of 1st IFIP International Conference on E-Commerce, E-Business and E-Government,pp. 489 - 506, Kluwer Academic Publishers, 2001
Conference | 309 | Details | Bibtex-Eintrag

PDF-Datei Pretschner, Alexander
Classical search strategies for test case generation with Constraint Logic Programming
Proc. Formal approaches to testing of software,pp. 47 - 60, BRICS, 2001
Conference | 327 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Rumpe, Astrid Schröder
Quantitative Untersuchung des Extreme Programming Prozesses
VISEK /006/D Technical Report. Virtuelles Software Engineering Kompetenzzentrum VISEK.de,, 2001
Tech_Report | 353 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Secure Java Development with UML
I-NetSec 01 - First International IFIP TC-11 WG 11.4 Working Conference on Network Security, Leuven (Belgium),Kluwer, 2001
Conference | 367 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Developing Secure Systems with UMLsec - From Business Processes to Implementation
VIS 2001, Kiel (Germany),Vieweg-Verlag, 2001
Conference | 368 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Formal Development and Verification of Security-Critical Systems with UML
AVoCS'01 - Workshop on Automated Verification of Critical Systems, Oxford,2001
Conference | 369 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Encapsulating Rules of Prudent Security Engineering
International Workshop on Security Protocols, Cambridge,Springer-Verlag, 2001
Conference | 370 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Transformations for Introducing Patterns - A Secure Systems Case Study
WTUML: Workshop on Transformations in UML (ETAPS 2001 Satellite Event), Genoa,2001
Conference | 371 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Transformations for Introducing Patterns - A Secure Systems Case Study
WTUML: Workshop on Transformations in UML (ETAPS 2001 Satellite Event), Genoa,2001
Conference | 372 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Towards Secure Systems Development with UMLsec
Fundamental Approaches to Software Engineering (FASE/ETAPS) 2001, International Conference, Genoa,Springer-Verlag, 2001
Conference | 373 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Modelling audit security for smart-card payment schemes with UMLsec
IFIP/SEC 2001 - 16th International Conference on Information Security, Paris,Kluwer, 2001
Conference | 374 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens, Guido Wimmel
Formally Testing Fail-safety of Electronic Purse Protocols
Automated Software Engineering (ASE 2001),IEEE Computer Society, 2001
Conference | 379 | Details | Bibtex-Eintrag

PDF-Datei Martín Abadi, Jan Jürjens
Formal Eavesdropping and its Computational Interpretation
Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001), Tohoku University, Sendai, Japan,Springer-Verlag, 2001
Conference | 380 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens, Guido Wimmel
Specification-based Testing of Firewalls
Andrei Ershov 4th International Conference "Perspectives of System Informatics" (PSI'01), Novosibirsk, Russia,Springer-Verlag, 2001
Conference | 381 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Composability of Secrecy
International Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security (MMM 2001), St. Petersburg,Springer-Verlag, 2001
Conference | 382 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Secrecy-preserving Refinement
Formal Methods Europe (FME) 2001, International Symposium, Berlin,Springer-Verlag, 2001
Conference | 383 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Abstracting from Failure Probabilities
ICACSD 2001 (International Conference on Application of Concurrency to System Design), Newcastle,IEEE Computer Society, 2001
Conference | 385 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
On a problem of Gabriel and Ulmer
Journal of Pure and Applied Algebra,pp. 183 - 196, Elsevier, 2001
Article | 387 | Details | Bibtex-Eintrag

PDF-Datei Markus Pizka, Christian Rehn
Murks - A POSIX Threads Based DSM System
Parallel and Distributed Computing Systems (PDCS),pp. 642 - 648, 2001
Publication | 393 | Details | Bibtex-Eintrag

PDF-Datei Markus Pizka
A Glimpse On Generative Programming From the Operating Systems Perspective
,2001
Conference | 394 | Details | Bibtex-Eintrag

PDF-Datei Michael Gnatz, Frank Marschall, Gerhard Popp, Andreas Rausch, Wolfgang Schwerin
Towards a Living Software Development Process based on Process Patterns
Proceedings of the Eighth European Workshop on Software Process Technology 2001, Lecture Notes in Computer Science 2077,pp. 182 - 202, Springer, 2001
Conference | 439 | Details | Bibtex-Eintrag

PDF-Datei Michael Gnatz, Frank Marschall, Gerhard Popp, Andreas Rausch, Wolfgang Schwerin
Modular Process Patterns supporting an Evolutionary Software Development Process
Proceedings of the Third International Conference on Product Focused Software Process Improvement,2001
Conference | 440 | Details | Bibtex-Eintrag

PDF-Datei Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz
An empirical investigation of the defect detection capabilities of requirements specification languages
Sixth CAiSE/IFIP8.1 International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'01),2001
Conference | 455 | Details | Bibtex-Eintrag

PDF-Datei Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps
Model based testing in evolutionary software development
Proc. 12th IEEE Intl. Workshop on Rapid System Prototyping (RSP'01),pp. 155 - 160, IEEE Computer Society, 2001
Conference | 456 | Details | Bibtex-Eintrag

PDF-Datei Jan Philipps, Alexander Pretschner
Heuristische Suche in der Testfallgenerierung
Softwaretechnik-Trends,pp. 11 - 12, 2001
Article | 467 | Details | Bibtex-Eintrag

Michael Wallbaum, Peter Dornbusch
Design Considerations for a Platform Supporting Location-Aware Services
International Conference on Multimedia, Internet, Video Technologies 2001 (MIV'01) Malta,2001
Conference | 480 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Michael Gnatz, Ingolf Krüger, Frank Marschall, Gerhard Popp, Andreas Rausch, Wolfgang Schwerin (Hrsg)
ADL-Workshop München 2001
Proceedings of the Munich Software Architecture Workshop 2001,, 2001
Book | 499 | Details | Bibtex-Eintrag

Michael von der Beeck, Peter Braun, Manfred Broy, Martin Rappl
A fundamental critique of the UML for the specification of embedded systems
2001
Article | 502 | Details | Bibtex-Eintrag

Michael von der Beeck, Peter Braun, Martin Rappl, Christian Schröder
Modellbasierte Softwareentwicklung für automobilspezifische Steuergerätenetzwerke
VDI Kongress: Elektrik in KFZ, VDI Berichte 1646,pp. 293 ff., 2001
Article | 519 | Details | Bibtex-Eintrag

Christine Röckl, Daniel Hirschkoff, Stefan Berghofer
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the Pi-Calculus and Mechanizing the Theory of Contexts
Proc. FOSSACS'01,Springer-Verlag, 2001
Conference | 543 | Details | Bibtex-Eintrag

PDF-Datei Gertrud Bauer, Markus Wenzel
Calculational reasoning revisited - an Isabelle/Isar experience
Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs'2001, Edinburgh, Scotland, UK,Springer, 2001
Conference | 552 | Details | Bibtex-Eintrag

PDF-Datei A. Pretschner, O. Slotosch, H. Lötzbeyer, E. Aiglstorfer, S. Kriebel
Model Based Testing for Real: The Inhouse Card Case Study
Proc. 6th Intl. Workshop on Formal Methods for Industrial Critical Systems (FMICS'01), Paris,pp. 79 - 94, 2001
Conference | 558 | Details | Bibtex-Eintrag

PDF-Datei A. Pretschner, H. Lötzbeyer
Model Based Testing with Constraint Logic Programming: First Results and Challenges
Proc. 2nd ICSE Intl. Workshop on Automated Program Analysis, Testing and Verification (WAPATV'01), Toronto,2001
Conference | 559 | Details | Bibtex-Eintrag

PDF-Datei T. Stauner, A. Pretschner, I. Péter
Approaching a Discrete-Continuous UML: Tool Support and Formalization
Proc. UML'2001 workshop on Practical UML-Based Rigorous Development Methods -- Countering or Integrating the eXtremists, Toronto,pp. 242 - 257, 2001
Conference | 573 | Details | Bibtex-Eintrag

PDF-Datei I. Péter, A. Pretschner, T. Stauner
Ein CASE-Werkzeug zur hybriden Modellierung und Simulation intelligenter Maschinen
Tool Presentation, Proc. Engineering komplexer Automatisierungssysteme (EKA'01), Braunschweig,2001
Conference | 574 | Details | Bibtex-Eintrag

PDF-Datei A. Pretschner, B. Schätz
Modellbasiertes Testen mit AutoFocus/Quest
Softwaretechnik-Trends 21(1):,pp. 20 - 23, 2001
Article | 575 | Details | Bibtex-Eintrag

Jan Jürjens
Towards Development of Secure Systems using UMLsec
Fundamental Approaches to Software Engineering (FASE,4th International Conference, Part of ETAPS),pp. 187 - 200, Springer Verlag, 2001
Conference | 599 | Details | Bibtex-Eintrag

Jan Jürjens
Secure Java Development with UMLsec
Advances in Network and Distributed Systems Security, Proceedings of the First Annual Working Conference on Network Security (I-NetSec '01),Kluwer, 2001
Conference | 600 | Details | Bibtex-Eintrag

Editoren: Tony Hoare, Manfred Broy, Ralf Steinbrüggen
Engineering Theories of Software Construction
Proc. Marktoberdorf Summer School 2000, Amsterdam,IOS Press, 2001
Book | 604 | Details | Bibtex-Eintrag

Editoren: Andy Evans, Robert France, Ana Moreira, Bernhard Rumpe
Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
Workshop of the pUML-Group held together with the UML'2001, Lecture Notes in Informatics. P-7 October 1st, 2001 in Toronto, Canada,GI, 2001
Book | 610 | Details | Bibtex-Eintrag

M. Broy, B. Rumpe
Übungen zur Einführung in die Informatik Strukturierte Aufgabensammlung mit Musterlösungen
,Springer-Verlag, 2001
Book | 609 | Details | Bibtex-Eintrag

M. Fontoura, W. Pree, B. Rumpe
The UML Profile for Framework Architectures
Addison-Wesley, 2001
Book | 608 | Details | Bibtex-Eintrag

Andreas Bauer
Mailbox zurück erobern
Linux User,pp. 108 - 111, 2001
Article | 804 | Details | Bibtex-Eintrag

Andreas Bauer
Open Source Datenbanksysteme -- Daten fest im Griff
Linux User,pp. 68 - 70, 2001
Article | 805 | Details | Bibtex-Eintrag

M. Broy
Toward a Mathematical Foundation of Software Engineering Methods
IEEE Transactions on Software Engineerring 27:1,pp. 42 - 57, 2001
Article | 821 | Details | Bibtex-Eintrag

M. Broy, E.-R. Olderog
Trace-Oriented Models of Concurrency
Handbook of Process Algebra,pp. 101 - 195, Elsevier Science B.V., 2001
Inbook | 822 | Details | Bibtex-Eintrag

M. Broy
From States to Histories: Relating States and History Views onto Systems
Engineering Theories of Software Construction,pp. 149 - 186, IOS Press, 2001
Inbook | 823 | Details | Bibtex-Eintrag

M. Broy, S. Hartkopf, K. Kohler, D. Rombach
Software Development in Germany: A Survey
Informatik Spektrum 24:2,pp. 81 - 90, 2001
Article | 824 | Details | Bibtex-Eintrag

M. Broy
Specification and Modeling: An Academic Perspective
ICSE 2001, 23rd International Conference on Software Engineering,pp. 673 - 675, IEEE Computer Society, 2001
Conference | 825 | Details | Bibtex-Eintrag

Editoren: B. Björner, M. Broy, A.V. Zamulin
Perspectives of System Informatics. 4th International Andrei Ershov Memorial Conference
Springer, 2001
Book | 826 | Details | Bibtex-Eintrag

M. Broy, K. Stoelen
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Springer, 2001
Publication | 321 | Details | Bibtex-Eintrag

2000


PDF-Datei Tobias Nipkow, David von Oheimb, Cornelia Pusch
{$micro$Java}: Embedding a Programming Language in a Theorem Prover
Foundations of Secure Computation,IOS Press, 2000
Publication | 265 | Details | Bibtex-Eintrag

PDF-Datei David von Oheimb
Axiomatic Semantics for Java_light in Isabelle/HOL
ECOOP2000 Workshop on Formal Techniques for Java Programs,, 2000
Conference | 268 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin
SysLab - Abschlußbericht
, 2000
Tech_Report | 269 | Details | Bibtex-Eintrag

PDF-Datei Gerald Luettgen, Michael von der Beeck, Rance Cleaveland
A Compositional Approach to Statecharts Semantics
Technical Report of ICASE, NASA Langley Research Center, Hampton, VA,ICASE Report No. 2000-12, NASA/CR-2000-210086, 2000
Publication | 273 | Details | Bibtex-Eintrag

PDF-Datei Max Breitling, Jan Philipps
Verification Diagrams for Dataflow Properties
, 2000
Tech_Report | 274 | Details | Bibtex-Eintrag

PDF-Datei Alexander K. Wißpeintner, Franz Huber, Jan Philipps
Model Checking and Random Competition -- A Study Using the Model Checking Framework MIC
,pp. 91 - 100, Shaker Verlag, 2000
Conference | 275 | Details | Bibtex-Eintrag

PDF-Datei Max Breitling, Jan Philipps
Diagrams for Dataflow
,Shaker Verlag, 2000
Publication | 276 | Details | Bibtex-Eintrag

PDF-Datei Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe
UML-F: A Modeling Language for Object-Oriented Frameworks
Proceedings of ECOOP 2000 - Object-Oriented Programming Conference,pp. 63 - 83, Springer Verlag, 2000
Conference | 277 | Details | Bibtex-Eintrag

PDF-Datei David Harel, Bernhard Rumpe
Modeling Languages: Syntax, Semantics and All That Stuff
The Weizmann Institute of Science, Rehovot, Israel, MCS00-16, 2000
Tech_Report | 278 | Details | Bibtex-Eintrag

PDF-Datei Max Breitling
Modeling Faults of distributed, reactive Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000,pp. 58 - 69, Springer, 2000
Conference | 279 | Details | Bibtex-Eintrag

PDF-Datei Tom Maibaum, Bernhard Rumpe
Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT'- an ICSE'98 Workshop)
Journal of Automated Software Engineering. (PSMT'- an ICSE'98 Workshop),Kluwer Academic Publishers, 2000
Article | 280 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu, Ingolf Krüger, Thomas Stauner
Hybrid Sequence Charts
Proc. of the 3rd IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2000),IEEE, 2000
Conference | 281 | Details | Bibtex-Eintrag

PDF-Datei Olaf Müller, Thomas Stauner
Modelling and Verification using Linear Hybrid Automata - a Case Study
Mathematical and Computer Modelling of Dynamical Systems,pp. 71 - 89, Swets & Zeitlinger, 2000
Article | 282 | Details | Bibtex-Eintrag

PDF-Datei Christoph Grimm, Thomas Stauner
Übersetzung von HyCharts in HDFG
Proc. of 3. ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen,VDE Verlag, 2000
Conference | 283 | Details | Bibtex-Eintrag

PDF-Datei Thomas Stauner
Extending HyCharts with state-invariants
Proc. of GI workshop Rigorose Entwicklung software-intensiver Systeme,, 2000
Conference | 284 | Details | Bibtex-Eintrag

PDF-Datei Alexander Pretschner, Oscar Slotosch, Thomas Stauner
Developing Correct Safety Critical, Hybrid, Embedded Systems
Proc. of New Information Processing Techniques for Military Systems,NATO Research and Technology Organization, 2000
Conference | 286 | Details | Bibtex-Eintrag

PDF-Datei Thomas Stauner
Properties of Hybrid Systems - a Computer Science Perspective
, 2000
Tech_Report | 287 | Details | Bibtex-Eintrag

PDF-Datei Robert Sandner
Developing Distributed Systems Step by Step with UML-RT
,pp. 43 - 50, , 2000
Conference | 292 | Details | Bibtex-Eintrag

PDF-Datei Max Breitling, Jan Philipps
Transitions into Black Box Views - The NetBill Protocol revisited -
, 2000
Tech_Report | 299 | Details | Bibtex-Eintrag

PDF-Datei Max Breitling, Jan Philipps
Step by Step to Histories
Proceedings of AMAST 2000, Algebraic Methodology and Software Technology Iowa City, IA, Lecture Notes in Computer Science,pp. 11 - 25, Springer, 2000
Conference | 301 | Details | Bibtex-Eintrag

PDF-Datei Jan Jürjens
Secure information flow for concurrent processes
Concur 2000, International Conference on Concurrency Theory, Pennsylvania,Springer-Verlag, 2000
Conference | 384 | Details | Bibtex-Eintrag

PDF-Datei P. SPIES,C. ECKERT,MARKUS PIZKA,C. CZECH,J. GEIGER,C. REHN
Flexible, Distributed and Adaptive Resource Management in MoDi
SFB 342: Methods and Tools for the Utilization of Parallel Architectures,2000
Conference | 395 | Details | Bibtex-Eintrag

M. Broy, H. Ehler, B. Paech, B. Rumpe, V. Thurner
Software Engineering
,TCW Transfer Centrum, 2000
Book | 406 | Details | Bibtex-Eintrag

PDF-Datei Istivan Peter, Alexander Pretschner, Thomas Stauner
Heterogeneous Development of Hybrid Systems
GI workshop Rigorose Entwicklung software-intensiver Systeme, Berlin,pp. 83 - 93, , 2000
Conference | 427 | Details | Bibtex-Eintrag

PDF-Datei Thomas Stauner
Properties of Hybrid Systems - a Computer Science Perspective
2000
Tech_Report | 428 | Details | Bibtex-Eintrag

M. Broy
The Essence of Message Sequence Charts. Keynote Speech
Proceedings of the International Symposium on Multimedia Software Engineering,pp. 42 - 47, IEEE Computer Society, 2000
Conference | 818 | Details | Bibtex-Eintrag

Bernhard Schätz, Katharina Spies
10 Years Focus -- Lessons Learned
,2000
Conference | 492 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Michael Gnatz, Frank Marschall, Sascha Molterer, Gerhard Popp, Andreas Rausch, Wolfgang Schwerin (Hrsg.)
Architektur-Workshop München 2000
Proceedings of the Munich Software Architecture Workshop 2000,, 2000
Book | 500 | Details | Bibtex-Eintrag

Peter Braun, Martin Rappl
Model based Systems Engineering---A Unified Approach using UML
Systems Engineering - A Key to Competitive Advantage for all Industries, Proc. of the 2nd European Systems Engineering Conference,Herbert Utz Verlag GmbH, 2000
Article | 520 | Details | Bibtex-Eintrag

Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch
Consistent Integration of Formal Methods
Tool and Algorithms for the Construction and Analysis of Systems (TACAS 2000),Springer Verlag, 2000
Conference | 521 | Details | Bibtex-Eintrag

PDF-Datei Michael Fahrmair, Frank Marschall, Sascha Molterer, Maurice Schoenmakers
Guidelines for Developing Adaptive Plug-and-Play Business Component Systems based on the J2EE
OOPSLA'00 Workshop on Business Object Components VI: Enterprise Application Integration,2000
Conference | 532 | Details | Bibtex-Eintrag

PDF-Datei Michael Fahrmair, Frank Marschall, Sascha Molterer, Maurice Schoenmakers
Developing Component Systems based on the J2EE: Problems and Solutions
OOPSLA'00 Component Architectures Workshop,2000
Conference | 533 | Details | Bibtex-Eintrag

PDF-Datei Stefan Berghofer, Tobias Nipkow
Proof terms for simply typed higher order logic
Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000,Springer-Verlag, 2000
Conference | 542 | Details | Bibtex-Eintrag

PDF-Datei Gertrud Bauer, Markus Wenzel
Computer-Assisted Mathematics at Work - The Hahn-Banach Theorem in Isabelle/Isar
,Springer, 2000
Conference | 554 | Details | Bibtex-Eintrag

PDF-Datei G. Wimmel, H. Lötzbeyer, A. Pretschner, O. Slotosch
Specification Based Test Sequence Generation with Propositional Logic
Special Issue on Specification Based Testing, Journal on Software Testing, Validation, and Reliability (STVR),pp. 229 - 248, 2000
Article | 560 | Details | Bibtex-Eintrag

PDF-Datei H. Lötzbeyer, A. Pretschner
Testing Concurrent Reactive Systems with Constraint Logic Programming
Proc. 2nd workshop on Rule-Based Constraint Reasoning and Programming, Singapore,2000
Conference | 561 | Details | Bibtex-Eintrag

PDF-Datei H. Lötzbeyer, A. Pretschner
AutoFocus on Constraint Logic Programming
Proc. (Constraint) Logic Programming and Software Engineering (LPSE'2000), London,2000
Conference | 562 | Details | Bibtex-Eintrag

Klaus Bergner, Heiko Lötzbeyer, Andreas Rausch, Marc Sihling, Alexander Vilbig
A Formally Founded Componentware Testing Methodology
ICSE 22, Proceedings of the first International Workshop on Automated Program Analysis, Testing and Verification,2000
Conference | 563 | Details | Bibtex-Eintrag

Peter Braun, Martin Rappl, Jörg Schäuffele
Softwareentwicklungen für Steuergerätenetzwerke – Eine Methodik für die frühe Phase
VDI Kongress: Elektrik im KFZ, BadenBaden, VDI-Berichte Nr. 1547,pp. 265 ff., 2000
Conference | 578 | Details | Bibtex-Eintrag

Bernd Gebhard, Martin Rappl
Requirements Management for Automotive Systems Development
World Congress of Automotive Engineers, SAE Transactions Paper, Number 2000-01-0716,2000
Conference | 579 | Details | Bibtex-Eintrag

Nicholas Hawlitzky, Alexander Münnich, Beate Nothhelfer-Kolb, Martin Rappl
Towards a methodology for managing distributed software development
Proceeding of IDPT 2000, Dallas,2000
Conference | 581 | Details | Bibtex-Eintrag

Nicholas Hawlitzky, Alexander Münnich, Beate Nothhelfer-Kolb, Martin Rappl
Managing distributed software development - A portfolio based methodology
PROFES 2000, Oulu, Finland,2000
Conference | 582 | Details | Bibtex-Eintrag

Editoren: Friedrich L. Bauer, Ralf Steinbrüggen
Foundations of Secure Computation
Proc. Marktoberdorf Summer School 1999, Amsterdam,IOS Press, 2000
Book | 605 | Details | Bibtex-Eintrag

Gianna Reggio, Alexander Knapp, Bernhard Rumpe, Bran Selic, Roel Wieringa
Dynamic Behaviour in UML Models: Semantic Questions
LMU-0006 UML'2000 Workshop,, 2000
Conference | 614 | Details | Bibtex-Eintrag

Manfred Broy, Bernhard Rumpe
Übungen zur Einführung in die Informatik - Strukturierte Aufgabensammlung mit Musterlösungen
Dialog, MIFI, Moskva, (Russische Ausgabe des gleichnamigen deutschen Buchs),Naucnii Mir Verlag, 2000
Book | 616 | Details | Bibtex-Eintrag

PDF-Datei Jean Hartmann, Claudio Imoberdorf, Michael Meisinger
UML-based Integration Testing
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA),2000
Conference | 783 | Details | Bibtex-Eintrag

M. Broy
Dynamic Distributed Systems
2000 Monterey Workshop on Modelling Software System Structures in a Fastly Moving Scenario,pp. 86 - 97, 2000
Conference | 815 | Details | Bibtex-Eintrag

M. Broy
Von der belehrten zur lernenden Gesellschaft
FOURUMTTN: Technik, Theologie, Naturwissenschaften 3,pp. 15 - 27, 2000
Article | 816 | Details | Bibtex-Eintrag

M. Broy
From States to Histories
,pp. 22 - 36, Springer, 2000
Inbook | 817 | Details | Bibtex-Eintrag

M. Broy, M. Wirsing
Algebraic State Machines
Proc. 8th Int. Conf. Algebraic Methodology and Software Technology, AMAST 2000,Springer, 2000
Conference | 819 | Details | Bibtex-Eintrag

K. Bergner, A. Rausch, M. Sihling, A. Vilbig, M. Broy
A Formal Model for Componentware
Foundations of Component-based Systems,pp. 189 - 210, Cambrige University Press, 2000
Inbook | 820 | Details | Bibtex-Eintrag

Editoren: D. Bjorner, M. Broy, A.V. Zamulin
Perspectives of System Informatics
Third International Andrei Ershov Memorial Conference, PSI'99,2000
Publication | 318 | Details | Bibtex-Eintrag

M. Broy, H.-G. Hegering, A. Picot, A. Buttermann, M. Garschhammer, R. Hauck, S. Vogel
Kommunikations- und Informationstechnik 2010 – Trends in Technologie und Markt
SecuMedia Verlag, 2000
Publication | 319 | Details | Bibtex-Eintrag

M. Broy, D. Rombach
Studie für das BMBF „Analyse und Evaluation der Software-Entwicklung in Deutschland"
2000
Publication | 320 | Details | Bibtex-Eintrag

PDF-Datei M. Fahrmair, C. Salzmann, M. Schoenmakers
Carp@ - managing dynamic jini systems
Proceedings of Middleware 2000 - Work in Progress Track New York, NY,2000
Conference | 904 | Details | Bibtex-Eintrag

1999


D. Ansorge, K. Bergner, B. Deifel, N. Hawlitzky, C. Maier, B. Paech, A. Rausch, M. Sihling, V. Thurner, S. Vogel
Managing Componentware Development -- Software Reuse and the V-Modell Process
Advanced Information Systems Engineering, 11th International Conference CAiSE'99, Heidelberg. Lecture Notes in Computer Science 1626,Springer Verlag, Berlin, 1999
Conference | 432 | Details | Bibtex-Eintrag

PDF-Datei Ruth Breu, Radu Grosu
Relating Events, Messages and Methods of Multiple-Threaded Objects
Journal of Object-Oriented Programming,SIGS Publications, Inc., 1999
Article | 220 | Details | Bibtex-Eintrag

PDF-Datei Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy
Focusing on Mobility
Proceedings of the Thirty-Second Annual Hawaii International Conference on System Sciences,IEEE Computer Society, 1999
Conference | 222 | Details | Bibtex-Eintrag

PDF-Datei Thomas Stauner, Bernhard Rumpe, Peter Scholz
Hybrid System Model
, 1999
Tech_Report | 223 | Details | Bibtex-Eintrag

PDF-Datei Olaf Müller, Tobias Nipkow, David von Oheimb, Oscar Slotosch
HOLCF = HOL + LCF
Journal of Functional Programming,pp. 191 - 223, Cambridge University Press, 1999
Article | 233 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu, Ingolf Krüger, Thomas Stauner
Hybrid Sequence Charts
, 1999
Tech_Report | 234 | Details | Bibtex-Eintrag

PDF-Datei Ingolf Krüger
Towards the Methodical Usage of Message Sequence Charts
,pp. 123 - 134, Herbert Utz Verlag, 1999
Conference | 235 | Details | Bibtex-Eintrag

PDF-Datei Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
The UML as a Formal Modeling Notation
The Unified Modeling Language - Workshop UML'98: Beyond the Notation,Springer Verlag Berlin, 1999
Conference | 236 | Details | Bibtex-Eintrag

PDF-Datei David von Oheimb, Tobias Nipkow
Machine-checking the {J}ava Specification: Proving Type-Safety
Formal Syntax and Semantics of {J}ava,pp. 119 - 156, Springer, 1999
Article | 238 | Details | Bibtex-Eintrag

PDF-Datei David von Oheimb
Hoare Logic for Mutual Recursion and Local Variables
Foundations of Software Technology and Theoretical Computer Science,pp. 168 - 180, Springer, 1999
Conference | 239 | Details | Bibtex-Eintrag

PDF-Datei Johann Schumann, Max Breitling
Formalisierung und Beweis einer Verfeinerung aus FOCUS mit automatischen Theorembeweisern - Fallstudie -
, 1999
Tech_Report | 241 | Details | Bibtex-Eintrag

PDF-Datei Editoren: Haim Kilov, Bernhard Rumpe, Ian Simmonds
Behavioral Specifications of Businesses and Systems
Behavioral Specifications of Businesses and Systems,Kluwer Academic Publishers, 1999
Book | 245 | Details | Bibtex-Eintrag

PDF-Datei Christian Lesny, Franz Huber, Bernhard Rumpe
Frisco F- Eine funktionale, logische und algebraische Spezifikationssprache
, 1999
Tech_Report | 246 | Details | Bibtex-Eintrag

PDF-Datei Editoren: Robert France , Bernhard Rumpe
<>'99 - The Unified Modeling Language (Beyond the Standard)
Proceedings of the Second International Conference in Fort Collins, Colorado, USA,Springer Verlag Berlin, 1999
Book | 247 | Details | Bibtex-Eintrag

PDF-Datei Franz Huber, Olav Rabe, Bernhard Rumpe
FRISCO OEF- Dokument-basiertes Editor-Framework
Erfahrungen mit Java. Projekte aus Industrie und Hochschule,d-punkt Verlag Heidelberg, 1999
Inbook | 248 | Details | Bibtex-Eintrag

PDF-Datei A. Evans, K. Lano, R. France, B. Rumpe
Meta-Modeling Semantics of UML
Behavioral Specifications of Businesses and Systems,Kluwer Academic Publisher, 1999
Inbook | 251 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Franz Huber, Bernhard Schätz
AutoFocus -- Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme
Informatik Forschung und Entwicklung,pp. 121--134, Springer Verlag, 1999
Article | 252 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Schätz, Franz Huber
Integrating Formal Description Techniques
FM'99 -- Formal Methods, Proceedings of the World Congress on Formal Methods in the Development of Computing Systems,pp. 1206 - 1225, Springer Verlag, 1999
Conference | 253 | Details | Bibtex-Eintrag

PDF-Datei Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy
From MSCs to Statecharts
Distributed and Parallel Embedded Systems,pp. 61 - 71, Kluwer Academic Publishers, 1999
Publication | 254 | Details | Bibtex-Eintrag

PDF-Datei Tobias Hamberger
Integrating Theorem Proving and Model Checking in {I}sabelle/{IOA}
1999
Tech_Report | 256 | Details | Bibtex-Eintrag

PDF-Datei Jan Philipps, Bernhard Rumpe
Refinement of Pipe-and-Filter Architectures
FM'99 -- Formal Methods, Proceedings of the World Congress on Formal Methods in the Development of Computing System,pp. 96 - 115, Springer, 1999
Conference | 257 | Details | Bibtex-Eintrag

PDF-Datei B. Rumpe, M. Schoenmakers, A. Radermacher, A. Schürr
UML + ROOM as a Standard ADL?
Engineering of Complex Computer Systems, ICECCS'99 Proceedings, Las Vegas, Nevada,IEEE Computer Society, 1999
Conference | 258 | Details | Bibtex-Eintrag

PDF-Datei S. Cook, A. Kleppe, R. Mitchell, B. Rumpe, J. Warmer, A. Wills
Defining UML Family Members Using Prefaces
Technology of Object-Oriented Languages and Systems, TOOLS'99 Pacific, Melbourne, Australia,IEEE Computer Society, 1999
Conference | 259 | Details | Bibtex-Eintrag

PDF-Datei Thomas Stauner
Specification of (parts of) a Lip-Sync Protocol Using HyCharts
,Herbert Utz Verlag Wissenschaft, 1999
Conference | 260 | Details | Bibtex-Eintrag

PDF-Datei Thomas Stauner, Klaus Schneider, Michaela Huhn
Translating a Visual Description Technique to a Synchronous Language: From DiCharts to PURR
,Herbert Utz Verlag Wissenschaft, 1999
Conference | 261 | Details | Bibtex-Eintrag

PDF-Datei Thomas Stauner, Christoph Grimm
Prototyping of Hybrid Systems - From HyCharts to Hybrid Data-Flow Graphs
WDS-Iasi-99, Workshop on Distributed Systems, Electronic Notes in Theoretical Computer Science 28,Elsevier Science, 1999
Conference | 262 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu, Ingolf Krüger, Thomas Stauner
Requirements Specification of an Automotive System with Hybrid Sequence Charts
WORDS'99F, Fifth International Workshop on Object-oriented Real-time Dependable Systems,IEEE, 1999
Conference | 263 | Details | Bibtex-Eintrag

PDF-Datei Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Wills
The Amsterdam Manifesto on OCL
, 1999
Tech_Report | 264 | Details | Bibtex-Eintrag

PDF-Datei Max Breitling, Jan Philipps
Black Box Views of State Machines
, 1999
Tech_Report | 266 | Details | Bibtex-Eintrag

PDF-Datei S. Kent, A. Evans, B. Rumpe
UML Semantics FAQ
Object-Oriented Technology, ECOOP'99 Workshop Reader,Springer Verlag, 1999
Conference | 267 | Details | Bibtex-Eintrag

PDF-Datei Gerhard Popp, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin
Internet Buchhandel - Eine UML Fallstudie
, 1999
Tech_Report | 270 | Details | Bibtex-Eintrag

PDF-Datei Marcus Fontura, Wolfgang Pree, Bernhard Rumpe
UML-F: A Modeling Language for Object-Oriented Frameworks
Computer Science, Princeton University, 1999
Tech_Report | 271 | Details | Bibtex-Eintrag

PDF-Datei Gerald Luettgen, Michael von der Beeck, Rance Cleaveland
Statecharts Via Process Algebra
CONCUR'99. Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, Lecture Notes in Computer Science,Springer, 1999
Conference | 272 | Details | Bibtex-Eintrag

PDF-Datei Robert Sandner, Michael Mauderer
Integrierte Beschreibungstechniken für automatisierte Produktionsanlagen - eine Evaluierung praxisnaher Beschreibungstechniken
, 1999
Tech_Report | 293 | Details | Bibtex-Eintrag

PDF-Datei Alexander Sabbah, Robert Sandner
Evaluation of Petri Net and Automata Based Description Techniques: An Industrial Case Study
, 1999
Tech_Report | 294 | Details | Bibtex-Eintrag

B. Deifel, U. Hinkel, B. Paech, P. Scholz, V. Thurner
Die Praxis der Softwareentwicklung: Eine Erhebung
Informatik-Spektrum,pp. 24 - 36, Springer-Verlag, 1999
Article | 426 | Details | Bibtex-Eintrag

PDF-Datei Markus Pizka
Integriertes Management erweiterbarer verteilter Systeme
1999
PHDthesis | 396 | Details | Bibtex-Eintrag

PDF-Datei Markus Pizka
Thread Segment Stacks
Proc. of PDPTA '99,1999
PHDthesis | 397 | Details | Bibtex-Eintrag

PDF-Datei Markus Pizka, C. Rehn
BOPS: Balancing Objects and Pages in a Shared Space
Proc. of the 1st Workshop on Software Distributed Shared Memory (WSDSM'99),1999
Conference | 398 | Details | Bibtex-Eintrag

V. Thurner
Customer Participation and Commitment in BPR
Reengineering in Action -- The Quest for World-Class Excellence,pp. 289 - 307, Imperial College Press, Singapur, 1999
Inbook | 430 | Details | Bibtex-Eintrag

PDF-Datei Jan Philipps, Oscar Slotosch
The quest for correct systems: Model checking of diagrams and datatypes
APSEC'99: Asian Pacific Software Engineering Conference,pp. 449 - 458, IEEE Computer Society, 1999
Conference | 457 | Details | Bibtex-Eintrag

Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz
Eine vergleichende Fallstudie mit CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken
,1999
Conference | 458 | Details | Bibtex-Eintrag

Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz
Eine vergleichende Fallstudie mit CASE-Werkzeugen für objektorientierte und funktionale Modellierungstechniken
OMER Workshop Proceedings Bericht Nr. 1999-01,1999
Conference | 459 | Details | Bibtex-Eintrag

Jan Philipps
Entwurf verteilter Systeme im Sonderforschungsbereich 342
,pp. 289 - 296, Springer, 1999
Conference | 468 | Details | Bibtex-Eintrag

Katharina Spies, Bernhard Schätz
Formale Beschreibungstechniken für verteilte Systeme
,Herbert Utz Verlag, 1999
Book | 491 | Details | Bibtex-Eintrag

PDF-Datei Stefan Berghofer, Markus Wenzel
Inductive datatypes in HOL - lessons learned in Formal-Logic Engineering
Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99,,Springer-Verlag, 1999
Conference | 541 | Details | Bibtex-Eintrag

PDF-Datei Frank Strobl, Alexander Wißpeintner
Specification of an Elevator Control System -- An AutoFocus Case Study
, 1999
Tech_Report | 567 | Details | Bibtex-Eintrag

Hubert Baumeister, Christoph Maier, Martin Rappl, Peter Scholz
Refinement Using µ-Charts: The Compaq Grand Slam Cup Case Study Revisited
AoM/IAoM'99, San Diego, USA,pp. 159 - 164, Maximilian Press Publishers, 1999
Conference | 583 | Details | Bibtex-Eintrag

Editoren: M. Broy, R Steinbrüggen
Calculational System Design
Proc. Marktoberdorf Summer School 1998, Amsterdam,IOS Press, 1999
Book | 606 | Details | Bibtex-Eintrag

B. Rumpe, C. Klein
Automata Describing Object Behavior
Specification of Behavioral Semantics in Object-Oriented Information Modeling,Kluwer Academic Publishers, 1999
Inbook | 622 | Details | Bibtex-Eintrag

M. Broy
Towards a Logical Basis of Software Engineering
Calculational System Design, IOS 1999,pp. 101 - 131, Springer, 1999
Publication | 787 | Details | Bibtex-Eintrag

M. Broy, Th. Stauner
Requirements Engineering für eingebettete Systeme
it+ti,pp. 7 - 11, 1999
Article | 809 | Details | Bibtex-Eintrag

M. Broy, O. Slotosch
Enriching the Software Engineering Process by Formal Methods
Boppard 1998,pp. 1 - 43, Springer, 1999
Inbook | 810 | Details | Bibtex-Eintrag

P. Hubwieser, M. Broy
Educating Surfers or Craftsmen: Introducing an ICT Curriculum for the 21st century
Communications and Networking in Education: Learning in a Networked Society. IFIP WG 3.1 and 3.5 Open Conference,pp. 162 - 170, 1999
Conference | 811 | Details | Bibtex-Eintrag

M. Broy, J. Schmidt
Informatik: Grundlagenwissenschaft oder Ingenieurdisziplin?
Informatik Spektrum 22,pp. 206 - 209, Springer, 1999
Article | 812 | Details | Bibtex-Eintrag

E. Astesiano, M. Broy, G. Reggio
Algebraic Specification of Concurrent Systems
Algebraic Foundations of Systems Specifications,pp. 467 - 520, Springer, 1999
Inbook | 813 | Details | Bibtex-Eintrag

Birgit Schieder, Manfred Broy
Adapting Calculational Logic to the Undefined
The Computer Journal,1999
Article | 814 | Details | Bibtex-Eintrag

M. Broy
Software technology - formal models and scientific foundations
Information and Software Technology 41: 14,pp. 947 - 950, 1999
Article | 836 | Details | Bibtex-Eintrag

R. Grosu, M. Broy, B. Selic, B. Rumpe
A formal foundation for UML-RT
1999
Publication | 232 | Details | Bibtex-Eintrag

PDF-Datei M. Breitling, M. Fahrmair, C. Salzmann, M. Schoenmakers
Carp@ - Managing Dynamic Distributed Jini Systems
OOPSLA'99 Workshop on Reflection and Software Engineering,pp. 173--184, 1999
Conference | 905 | Details | Bibtex-Eintrag

1998


V. Thurner, A. Erni
CAiSE*98 DC: 5th Doctoral Consortium on Advanced Information Systems Engineering
, 1998
Conference | 435 | Details | Bibtex-Eintrag

PDF-Datei Max Fuchs, Dieter Nazareth, Dirk Daniel, Bernhard Rumpe
BMW-ROOM - An Object-Oriented Method for ASCET
SAE'98, Cobo Center (Detroit, Michigan, USA),Society of Automotive Engineers, 1998
Conference | 167 | Details | Bibtex-Eintrag

PDF-Datei Tobias Nipkow, David von Oheimb
Java_light is Type-Safe -- Definitely
Proc. 25th ACM Symp. Principles of Programming Languages,pp. 161 - 170, ACM Press, New York, 1998
Conference | 170 | Details | Bibtex-Eintrag

PDF-Datei R. Grosu, G. Stefanescu, M. Broy
Visual Formalisms Revisited
CSD '98, International Conference on Application of Concurrency to System Design, Aizu-Wakamatsu City, Fukushima,IEEE Computer Society Press, 1998
Conference | 172 | Details | Bibtex-Eintrag

PDF-Datei R. Breu, R. Grosu
Modeling the Dynamic Behavior of Objects - On Events, Messages and Methods
, 1998
Tech_Report | 181 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy
Compositional Refinement of Interactive Systems Modelled by Relations
International Symposium Compositionality,pp. 130 - 149, Springer, 1998
Conference | 182 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Derec Coleman, Tom S. E. Maibaum, Bernhard Rumpe
PSMT'98- Workshop on Precise Semantics for Software Modeling Techniques
ICSE'98, Kyoto,, 1998
Tech_Report | 187 | Details | Bibtex-Eintrag

PDF-Datei Max Fuchs, Michael Eckrich, Olaf Müller, Jan Philipps, Peter Scholz
Advanced Design and Validation Techniques for Electronic Control Units
Proc. of the International Congress of the Society of Automotive Engineers,SAE International, 1998
Conference | 189 | Details | Bibtex-Eintrag

PDF-Datei Barbara Paech
Plädoyer für ein einheitliches Grundgerüst bei der System- und Softwaremodellierung
,pp. 9 - 15, , 1998
Conference | 190 | Details | Bibtex-Eintrag

PDF-Datei Ursula Hinkel
Home Shopping - Die Spezifikation einer Kommunikationsanwendung in Focus
, 1998
Tech_Report | 192 | Details | Bibtex-Eintrag

PDF-Datei V. Thurner
A Formally Founded Description Technique for Business Processes
Software Engineering for Parallel and Distributed Systems, PDSE98,pp. 254 - 261, IEEE Computer Society, 1998
Conference | 193 | Details | Bibtex-Eintrag

PDF-Datei Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig
Traffic Lights - An AutoFocus Case Study
1998 International Conference on Application of Concurrency to System Design,pp. 282 - 294, IEEE Computer Society, 1998
Conference | 194 | Details | Bibtex-Eintrag

PDF-Datei Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch
Tool supported Specification and Simulation of Distributed Systems
Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems,pp. 155 - 164, IEEE Computer Society, Los Alamitos, California, 1998
Conference | 195 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Derek Coleman, Tom S. E. Maibaum, Bernhard Rumpe
PSMT -- ICSE'98 Workshop on Precise Semantics for Software Modeling Techniques
Proceedings of International Conference on Software Engineerig (ICSE'98) Addendum,IEEE Computer Society, 1998
Conference | 196 | Details | Bibtex-Eintrag

PDF-Datei Michael von der Beeck, Ruth Breu, Bernhard Rumpe
4tes GROOM-Arbeitstreffen: Pragmatische und formale Techniken in der OO Modellierung
Softwaretechnik-Trends,GI, 1998
Publication | 198 | Details | Bibtex-Eintrag

PDF-Datei B. Paech
On the Role of Activity Diagrams in UML
Int. Workshop, UML'98, Mulhouse,ESSAIM, 1998
Conference | 199 | Details | Bibtex-Eintrag

PDF-Datei B. Paech
The Four Levels of Use Case Description
4th Int. Workshop on Requirements Engineering: Foundations for Software Quality, Pisa,Not yet known, 1998
Conference | 200 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu, Thomas Stauner
Visual Description of Hybrid Systems
Workshop On Real Time Programming (WRTP'98),Elsevier Science Ltd., 1998
Conference | 201 | Details | Bibtex-Eintrag

PDF-Datei Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
Developing the UML as a Formal Modelling Notation
<<UML>>'98 Beyond the notation. International Workshop Mulhouse France,Ecole Superieure Mulhouse, Universite de Haute-Alsace, 1998
Conference | 202 | Details | Bibtex-Eintrag

PDF-Datei Franz Huber, Bernhard Schätz
Specification Modules for Methodical System Development
,pp. 75 - 86, Shaker Verlag, Aachen, 1998
Conference | 203 | Details | Bibtex-Eintrag

PDF-Datei Max Breitling, Ursula Hinkel, Katharina Spies
Formale Entwicklung verteilter, reaktiver Systeme mit FOCUS
,pp. 63 - 74, Shaker Verlag, Aachen, 1998
Conference | 204 | Details | Bibtex-Eintrag

PDF-Datei Haim Kilov, Bernhard Rumpe
Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Spcifications)
, 1998
Tech_Report | 205 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Rumpe
A Note on Semantics (with an Emphasis on UML)
Second ECOOP Workshop on Precise Behavioral Semantics. (with an Emphasis on OO Business Specification),, 1998
Tech_Report | 206 | Details | Bibtex-Eintrag

PDF-Datei Editoren: Manfred Broy, Bernhard Rumpe
Requirements Targeting Software and Systems Engineering
International Workshop RTSE'97, Proceedings,Springer-Verlag, 1998
Book | 207 | Details | Bibtex-Eintrag

PDF-Datei Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
Systems, Views and Models of UML
The Unified Modeling Language, Technical Aspects and Applications,pp. 93-109, Physica Verlag, Heidelberg, 1998
Inbook | 208 | Details | Bibtex-Eintrag

PDF-Datei Katharina Spies
Eine Methode zur formalen Modellierung von Betriebssystemkonzepten
, 1998
PHDthesis | 211 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu, Thomas Stauner, Manfred Broy
A Modular Visual Model for Hybrid Systems
Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'98),pp. 75 - 91, Springer-Verlag, 1998
Publication | 212 | Details | Bibtex-Eintrag

PDF-Datei Ursula Hinkel
Verification of SDL Specifications on the Basis of Stream Semantics
Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC,, 1998
Conference | 213 | Details | Bibtex-Eintrag

PDF-Datei Michael Fahrmair, Bernhard Rumpe
Frisco STDA - Werkzeug zur methodischen Bearbeitung von Automaten
, 1998
Tech_Report | 214 | Details | Bibtex-Eintrag

PDF-Datei Ursula Hinkel
Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL
Dissertation, 1998
PHDthesis | 215 | Details | Bibtex-Eintrag

PDF-Datei Franz Huber, Andreas Rausch, Bernhard Rumpe
Modeling Dynamic Component Interfaces
TOOLS 26, Technology of Object-Oriented Languages and Systems,pp. 58 - 70, IEEE Computer Society, 1998
Conference | 216 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Rumpe
Formale Methodik des Entwurfs verteilter objektorientierter Systeme
Ausgezeichnete Informatikdissertationen,B. G. Teubner Stuttgart, 1998
Inbook | 217 | Details | Bibtex-Eintrag

PDF-Datei Haim Kilov, Bernhard Rumpe, Ian Simmonds
Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications
, 1998
Tech_Report | 218 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Rumpe, Veronika Thurner
Refining Business Processes
Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications),, 1998
Conference | 219 | Details | Bibtex-Eintrag

PDF-Datei R. Grosu, M. Broy, B. Selic, Gh. Stefanescu
Towards a Calculus for UML-RT Specifications
Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Vancouver, Canada,, 1998
Article | 221 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu, Thomas Stauner
Modular and Visual Specification of Hybrid Systems -- An Introduction to HyCharts
, 1998
Tech_Report | 224 | Details | Bibtex-Eintrag

PDF-Datei Franz Huber, Andreas Rausch, Bernhard Rumpe
Component Interface Diagrams: Putting Components to Work
, 1998
Tech_Report | 225 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
Software and System Modeling Based on a Unified Formal Semantics
Requirements Targeting Software and Systems Engineering, International Workshop RTSE'97, Benried, Germany,pp. 43 - 68, Springer Verlag, 1998
Conference | 226 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Deifel
Theoretische und praktische Ansätze im Requirements Engineering für Standardsoftware und Anlagenbau
, 1998
Tech_Report | 227 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Schätz
Ein methodischer Übergang von asynchron zu synchron kommunizierenden Systemen
, 1998
PHDthesis | 229 | Details | Bibtex-Eintrag

PDF-Datei A. Evans, J-M. Bruel, R. France, K. Lano, B. Rumpe
Making UML Precise
OOPSLA'98 Workshop on ``Formalizing UML. Why and How?'' 10 Seiten, Vancouver, Canada,OOPSLA'98, 1998
Conference | 237 | Details | Bibtex-Eintrag

PDF-Datei David von Oheimb, Cornela Pusch
Java -- formal fundiert
{JIT'98} --- {J}ava-{I}nformations-{T}age 1998,pp. 77 - 86, Springer, 1998
Conference | 240 | Details | Bibtex-Eintrag

PDF-Datei R. Breu, R. Grosu, C. Hofmann, F. Huber, I. Krüger, B. Rumpe, M. Schmidt, W. Schwerin
Exemplary and Complete Object Interaction Descriptions
Computer Standards & Interfaces 19,pp. 335 - 345, Elsevier Science Publisher, 1998
Article | 242 | Details | Bibtex-Eintrag

PDF-Datei Haim Kilov, Bernhard Rumpe
Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications)
Object-Oriented Technology - ECOOP'98 Workshop Reader,Springer Verlag Berlin, 1998
Conference | 243 | Details | Bibtex-Eintrag

PDF-Datei R. France, A. Evans, K. Lano, B. Rumpe
The UML as a Formal Modeling Notation
Computer Standards & Interfaces 19,pp. 325 - 334, Elsevier Science Publisher, 1998
Article | 244 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Ingolf Krüger
Interaction Interfaces -- Towards a scientific foundation of a methodological usage of Message Sequence Charts
Formal Engineering Methods (ICFEM'98),pp. 2 - 15, IEEE Computer Society, 1998
Conference | 255 | Details | Bibtex-Eintrag

PDF-Datei Haim Kilov, Bernhard Rumpe, Ian Simmonds
Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications
OOPSLA'98 Addendum,1998
Conference | 304 | Details | Bibtex-Eintrag

PDF-Datei Markus Pizka
Distributed Virtual Address Space Management in the MoDiS-OS
, 1998
Tech_Report | 399 | Details | Bibtex-Eintrag

Editoren: M. Broy, O. Spaniol
Informatik und Kommunikationstechnik
VDI Lexikon,Springer, 1998
Book | 806 | Details | Bibtex-Eintrag

Jan Philipps, Peter Scholz
Formal verification and hardware design with statecharts
Prospects for Hardware Foundations, Lecture Notes in Computer Science 1546,pp. 356 - 389, Springer, 1998
Conference | 460 | Details | Bibtex-Eintrag

PDF-Datei Jan Philipps, Alexander Schmidt
Entwurf und Implementierung eingebetteter Systeme
,1998
Conference | 461 | Details | Bibtex-Eintrag

Manfred Broy, Bernhard Rumpe
Workshop on Requirements Targeting Software Engineering
RTSE'97, (Springer LNCS 1526 contains revised versions of this articles),, 1998
Conference | 615 | Details | Bibtex-Eintrag

Bernhard Rumpe
Graphic Formalisms
Semi-Formal and Formal Specification Techniques for Software Systems,Dagstuhl-Seminar-Report 218, 1998
Conference | 311 | Details | Bibtex-Eintrag

J. Philipps, B. Rumpe
Streams - a Basis for Diagram Formalization
Proceedings of ObjecTime Workshop on Real-Time Object-Oriented Modeling, Ottawa,1998
Conference | 312 | Details | Bibtex-Eintrag

M. Broy
Pragmatic and Formal Specification of System Properties by Tables
, 1998
Tech_Report | 781 | Details | Bibtex-Eintrag

M. Broy
Kultur in der Informationsgesellschaft - die digitale Revolution frißt ihre Eltern - Einschätzungen aus Sicht eines Infomatikers
Kultur in der Infomationsgesellschaft,pp. 65 - 70, 1998
Publication | 782 | Details | Bibtex-Eintrag

M. Broy, A. Deimel, J. Henn, K. Koskimies, F. Plasil, G. Pomberger, W. Pree, M. Stal, C. Szyperski
What Characterizes a Software Component: Software Concepts & Tools 19:1
pp. 49 - 56, 1998
Publication | 785 | Details | Bibtex-Eintrag

M. Broy
Appendix: A Unifom Model of Component
Software Concepts & Tools 19:1,pp. 57 - 60, 1998
Publication | 784 | Details | Bibtex-Eintrag

M. Broy
On the Meaning of Message Sequence Charts (Key Note)
Proceedings of the1st Workshop of the SDL Forum Society Workshop on SDL & MSC, Berlin,pp. 13 - 34, 1998
Conference | 786 | Details | Bibtex-Eintrag

M. Broy, P. Scholz
Anforderungsspezifikation und Entwurf eingebetteter Softwaresystem im Kfz
Mobil mit Mikroelektronik und Mikrosystemtechnik, GMM-Fachbericht, VDE 1998,pp. 107 - 118, 1998
Publication | 788 | Details | Bibtex-Eintrag

M. Broy
A Logical Basis for Modular Software and Systems Engineering
,pp. 19 - 35, Springer, 1998
Inbook | 789 | Details | Bibtex-Eintrag

M. Broy
Informatik - eine grundlegende Einführung
Band 2 Systemstrukturen und Theoretische Infomatik,Springer, 1998
Book | 790 | Details | Bibtex-Eintrag

M. Broy, M. von der Beeck, I. Krüger
SOFTBED: Problemanalyse für das Großverbundprojekt ”Systemtechnik Automobil - Software für eingebettete Systeme”
,1998
Publication | 231 | Details | Bibtex-Eintrag

1997


PDF-Datei M. Broy
Refinement of Time
Transformation-Based Reactive System Development, ARTS'97,pp. 44 - 63, TCS, 1997
Conference | 1 | Details | Bibtex-Eintrag

PDF-Datei Marco Devillers, David Griffioen, Olaf Mü
Possibly Infinite Sequences in Theorem Provers: A Comparative Study
Theorem Proving in Higher Order Logics (TPHOL'97),Springer-Verlag, 1997
Conference | 24 | Details | Bibtex-Eintrag

PDF-Datei Haim Kilov, Bernhard Rumpe
ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modeling Techniques
, 1997
Tech_Report | 33 | Details | Bibtex-Eintrag

PDF-Datei M. Broy
Requirements Engineering for Embedded Systems
FemSys'97,1997
Conference | 37 | Details | Bibtex-Eintrag

PDF-Datei Franz Huber, Bernhard Schätz
Rapid Prototyping with AutoFocus
,pp. 343 - 352, GMD Verlag (St. Augustin), 1997
Conference | 48 | Details | Bibtex-Eintrag

PDF-Datei Franz Huber, Bernhard Schätz, Geralf Einert
Consistent Graphical Specification of Distributed Systems
FME '97: 4th International Symposium of Formal Methods Europe, Lecture Notes in Computer Science 1313,pp. 122 - 141, Springer, 1997
Conference | 49 | Details | Bibtex-Eintrag

PDF-Datei Olaf Müller, Tobias Nipkow
Traces of I/O Automata in Isabelle/HOLCF
Theory and Practice of Software Development (TAPSOFT'97),Springer-Verlag, 1997
Conference | 63 | Details | Bibtex-Eintrag

PDF-Datei M. Broy
Mathematical Methods in System and Software Engineering
Mathematical Methods in Program Development,Springer, 1997
Publication | 64 | Details | Bibtex-Eintrag

PDF-Datei Olaf Müller, Peter Scholz
Functional Specification of Real-Time and Hybrid Systems
Proc. Hybrid and Real-Time Systems, Grenoble,Lecture Notes in Computer Science, Springer, 1997
Conference | 65 | Details | Bibtex-Eintrag

PDF-Datei Ursula Hinkel, Katharina Spies
Spezifikationsmethodik für mobile, dynamische FOCUS-Netze
,GMD Verlag (St.Augustin), 1997
Publication | 66 | Details | Bibtex-Eintrag

PDF-Datei Christian Prehofer
Feature-Oriented Programming: A Fresh Look at Objects
Proceedings of ECOOP'97,Springer, 1997
Publication | 81 | Details | Bibtex-Eintrag

PDF-Datei Christian Prehofer
An Object-Oriented Approach to Feature Interaction
Fourth IEEE Workshop on Feature Interactions in Telecommunications Networks and Distributed Systems,IOS-Press, 1997
Publication | 82 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Rumpe
Formale Methodik des Entwurfs verteilter objektorientierter Systeme
, 1997
PHDthesis | 92 | Details | Bibtex-Eintrag

PDF-Datei Stefan Loidl, Ekkart Rudolph, Ursula Hinkel
MSC'96 and Beyond - a Critical Look
SDL Forum 97,Elsevier, 1997
Publication | 95 | Details | Bibtex-Eintrag

PDF-Datei Christian Facchi, Markus Haubner, Ursula Hinkel
The SDL Specification of the Sliding Window Protocol Revisited
SDL Forum 97,Elsevier, 1997
Publication | 96 | Details | Bibtex-Eintrag

PDF-Datei Thomas Stauner, Olaf Müller, Max Fuchs
Using HyTech to Verify an Automotive Control System
Proc. Hybrid and Real-Time Systems, Grenoble,Lecture Notes in Computer Science, Springer, 1997
Conference | 98 | Details | Bibtex-Eintrag

PDF-Datei Robert Sandner, Olaf Müller
Theorem Prover Support for the Refinement of Stream Processing Functions
Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97),Springer, 1997
Conference | 99 | Details | Bibtex-Eintrag

PDF-Datei Klaus Bergner, Franz Huber
Systems Development with Java: Experiences from a Practical Project Course in Software Engineering
Proceedings Eighth International Workshop on Software Technology and Engineering Practice (STEP'97),pp. 382 - 389, IEEE Computer Society, 1997
Conference | 101 | Details | Bibtex-Eintrag

PDF-Datei Markus Wenzel
Type Classes and Overloading in Higher-Order Logic
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97,pp. 307 - 322, Springer, 1997
Publication | 110 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt
A Graphical Description Technique for Communication in Software Architectures
, 1997
Tech_Report | 135 | Details | Bibtex-Eintrag

PDF-Datei Volkmar Lotz
Threat Scenarios as a Means to Formally Develop Secure Systems
, 1997
Tech_Report | 136 | Details | Bibtex-Eintrag

PDF-Datei V. Thurner
A Formally Founded Description Technique for Business Processes
, 1997
Tech_Report | 434 | Details | Bibtex-Eintrag

PDF-Datei Barbara Paech
A Framework for Interaction Description with Roles
, 1997
Tech_Report | 139 | Details | Bibtex-Eintrag

PDF-Datei Klaus Bergner, Andreas Rausch, Marc Sihling
Using UML for Modeling a Distributed Java Application
, 1997
Tech_Report | 140 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Max Breitling, Bernhard Schätz, Katharina Spies
Summary of Case Studies in Focus - Part II
, 1997
Tech_Report | 141 | Details | Bibtex-Eintrag

PDF-Datei Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner
Towards a Formalization of the Unified Modeling Language
Proceedings of ECOOP'97 - Object-Oriented Programming, 11th European Conference,pp. 344 - 366, Springer Verlag, 1997
Conference | 144 | Details | Bibtex-Eintrag

PDF-Datei François Bourdoncle, Stephan Merz
Type Checking Higher-Order Polymorphic Multi-Methods
POPL '97: 24th ACM Symposium on Principles of Programming Languages, Paris (France),pp. 302 - 315, ACM Press, 1997
Conference | 148 | Details | Bibtex-Eintrag

PDF-Datei Veronika Thurner
Business Process Modeling in Software Development
CAiSE'97 Doctoral Consortium, Fachbericht Informatik 14/97,, 1997
Conference | 156 | Details | Bibtex-Eintrag

PDF-Datei Veronika Thurner
Making it Their Idea -- A Case Study: Customer Participation and Communication in BPR
SCI'97,pp. 112 - 119, International Institute of Informatics and Systemics IIIS, 1997
Conference | 157 | Details | Bibtex-Eintrag

PDF-Datei David von Oheimb, Thomas F. Gritzner
{RALL}: Machine-supported Proofs for Relation Algebra
Conference on Automated Deduction -- CADE-14,pp. 380 - 394, Springer-Verlag, Berlin, 1997
Conference | 158 | Details | Bibtex-Eintrag

PDF-Datei Oscar Slotosch
Higher Order Quotients and their Implementation in Isabelle HOL
Theorem Proving in Higher Order Logics,pp. 291 - 306, Springer, 1997
Conference | 159 | Details | Bibtex-Eintrag

PDF-Datei Oscar Slotosch
Refinements in HOLCF: Implementation of Interactive Systems
Verlag Dr. Kovac, 1997
PHDthesis | 160 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Stefan Jähnichen
KORSO -- Korrekte Software durch formale Methoden
Informatik Forschung und Entwicklung,pp. 157 - 160, Springer, 1997
Article | 161 | Details | Bibtex-Eintrag

PDF-Datei Christian Prehofer
From Inheritance to Feature Interaction
Special Issues in Object-Oriented Programming. (ECOOP 1996 Workshop on Composability Issues in Object-Orientation),dpunkt-Verlag, 1997
Conference | 162 | Details | Bibtex-Eintrag

PDF-Datei Christian Prehofer
Higher-Order Functional-Logic Programming: A Systematic Development
Second Fuji International Workshop on Functional and Logic Programming,World Scientific, 1997
Conference | 163 | Details | Bibtex-Eintrag

PDF-Datei Christian Prehofer
From Inheritance to Feature Interaction or Composing Monads
, 1997
Tech_Report | 164 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy
The Specification of System Components by State Transition Diagrams
, 1997
Tech_Report | 165 | Details | Bibtex-Eintrag

PDF-Datei Barbara Paech, Bernhard Rumpe
State Based Service Description
FMOODS'97: Formal Methods for Open Object-based Distributed Systems,Chapman-Hall, 1997
Conference | 166 | Details | Bibtex-Eintrag

PDF-Datei Volkmar Lotz
Threat Scenarios as a Means to Formally Develop Secure Systems
Journal of Computer Security 5,pp. 31 - 67, IOS Press, 1997
Article | 168 | Details | Bibtex-Eintrag

PDF-Datei Editoren: Manfred Broy, Ernst Denert, Klaus Renzel, Monika Schmidt
Software Architectures and Design Patterns in Business Applications
, 1997
Tech_Report | 169 | Details | Bibtex-Eintrag

PDF-Datei Jan Philipps, Bernhard Rumpe
Stepwise Refinement of Data Flow Architectures
Software Architectures and Design Patterns in Business Applications,, 1997
Conference | 171 | Details | Bibtex-Eintrag

PDF-Datei M. Broy, R. Grosu, C. Klein
Reconciling Real-Time with Asynchronous Message Passing
FME '97, 4th International Symposium of Formal Methods Europe, Graz, Austria, Lecture Notes in Computer Science 1313,Springer, 1997
Conference | 173 | Details | Bibtex-Eintrag

PDF-Datei R. Breu, R. Grosu
Modeling the Dynamic Behavior of Objects - On Events, Messages and Methods
Proceedings of Euro-Par'97, Third International Euro-Par Conference, Passau, Germany,Springer, 1997
Conference | 174 | Details | Bibtex-Eintrag

PDF-Datei R. Grosu, K. Stoelen, M. Broy
A Denotational Model for Mobile Point-to-Point Data-flow Networks with Channel Sharing
, 1997
Tech_Report | 177 | Details | Bibtex-Eintrag

PDF-Datei Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
Towards a Precise Semantics for Object-Oriented Modeling Techniques
Object-Oriented Technology, ECOOP'97 Workshop Reader,Springer Verlag, 1997
Inbook | 179 | Details | Bibtex-Eintrag

PDF-Datei R. Grosu, K. Stoelen
Compositional Specification of Mobile Systems
, 1997
Tech_Report | 180 | Details | Bibtex-Eintrag

PDF-Datei Alexander Vilbig, Bernd Deifel, Sascha Molterer, Andreas Rausch, Marc Sihling
Using the SysLab Method - A Case Study
, 1997
Tech_Report | 183 | Details | Bibtex-Eintrag

PDF-Datei Klaus Bergner, Franz Huber, Andreas Rausch, Marc Sihling
Component-Oriented Redesign of the CASE-Tool AutoFocus
, 1997
Tech_Report | 184 | Details | Bibtex-Eintrag

PDF-Datei Haim Kilov, Bernhard Rumpe, Ian Simmonds
OOPSLA'97 Workshop on Object-Oriented Behavioral Semantics
, 1997
Tech_Report | 186 | Details | Bibtex-Eintrag

PDF-Datei Olaf Müller
Treating Partiality in a Logic of Total Functions
The Computer Journal,Oxford University Press, 1997
Article | 188 | Details | Bibtex-Eintrag

PDF-Datei Haim Kilov, Bernhard Rumpe
Summary of ECOOP'97 Workshop on Precise Semantics of Object-Oriented Modeling Techniques
Object-Oriented Technology -- ECOOP'97 Workshop Reader,Springer Verlag Berlin, 1997
Conference | 191 | Details | Bibtex-Eintrag

PDF-Datei Haim Kilov, Bernhard Rumpe, Ian Simmonds
Object-Oriented Behavioral Semantics - With an Emphasis on Semantics of Large OO Business Specifications
OOPSLA'97 Conference Addendum to the Proceedings,ACM press, 1997
Conference | 197 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt
Using Extended Event Traces to Describe Communication in Software Architectures
Asia-Pacific Software Engineering Conference and International Computer Science Conference, Hong Kong,IEEE Computer Society, 1997
Conference | 209 | Details | Bibtex-Eintrag

PDF-Datei Jens Coldewey, Ingolf Krüger
Form-Based User Interface - The Architectural Patterns
Proceedings of the 1997 European Pattern Languages of Programming Conference, Irsee, Germany,Siemens Technical Report 120/SW1/FB, 1997
Conference | 210 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Franz Regensburger, Bernhard Schätz, Katharina Spies
The Steamboiler Specification - A Case Study in Focus
, 1997
Tech_Report | 230 | Details | Bibtex-Eintrag

PDF-Datei Barbara Paech, Bernhard Rumpe,
Towards Development of Correct Software using Views
Proceedings of BCS FACS / EROS ROOM Workshop,ROOS Project Report GR/K67311-2, 1997
Conference | 250 | Details | Bibtex-Eintrag

PDF-Datei MARKUS PIZKA,S. GROH,J. RUDOLPH
Shadow Stacks---A Hardware-supported DSM for Objects of any Granularity
Proc. of IEEE 3rd Int'l Conf. on Algorithms & Architectures for Parallel Processing (ICA3PP'97),1997
Conference | 400 | Details | Bibtex-Eintrag

PDF-Datei Markus Pizka
Design And Implementation of the GNU INSEL-Compiler gic
pp. 64, , 1997
Tech_Report | 401 | Details | Bibtex-Eintrag

PDF-Datei MARKUS PIZKA,C. ECKERT,S. GROH
Evolving Software Tools for New Distributed Computing Environments
Proceedings of the International Conference on Parallel and Distributed Processing Techniq&uuml;s and Applications - PDPTA'97 ,pp. 87 - 96, 1997
Conference | 402 | Details | Bibtex-Eintrag

PDF-Datei S. Groh, Markus Pizka
A Different Approach to Resource Management in Distributed Systems
Proc. of the Int. Conf. on Parallel and Distributed Processing Techniq&uuml;s and Applications - PDPTA,1997
Conference | 403 | Details | Bibtex-Eintrag

PDF-Datei Markus Pizka, C. Eckert
A Language-Based Approach to Construct Structured and Efficient Object-Based Distributed Systems
Proc. of the 30th Hawaii Int. Conf. on System Sciences,pp. 130 - 139, IEEE CS Press, 1997
Conference | 404 | Details | Bibtex-Eintrag

PDF-Datei Cornel Klein, Christian Prehofer, Bernhard Rumpe
Feature Specification and Refinement with State Transition Digrams
Fourth IEEE Workshop on Feature Interactions in Telecommunications Networks and Distributed Systems,IOS-Press, 1997
Conference | 407 | Details | Bibtex-Eintrag

PDF-Datei Max Breitling
Fomalizing and Verifying TimeWarp with FOCUS
, 1997
Tech_Report | 412 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Herbert Ehler, Barbara Paech, Veronika Thurner
Innovation durch Kooperation im Software-Engineering
,pp. 503 - 504, Springer-Verlag, 1997
Conference | 422 | Details | Bibtex-Eintrag

PDF-Datei Jan, Philipps, Bernhard Rumpe
Refinement of Information Flow Architectures
ICFEM'97 Proceedings, Hiroshima. Japan.,IEEE CS Press, 1997
Conference | 423 | Details | Bibtex-Eintrag

Jan Philipps, Peter Scholz
System-level hardware design with mu -charts
CHDL'97: Hardware Description Languages and their Application,Chapman and Hall, 1997
Conference | 462 | Details | Bibtex-Eintrag

Jan Philipps, Peter Scholz
Formal verification of statecharts with instantaneous chain reactions
TACAS'97: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 1217,pp. 224 - 238, Springer, 1997
Conference | 463 | Details | Bibtex-Eintrag

Jan Philipps, Peter Scholz
Compositional specification of embedded systems with statecharts
TAPSOFT'97: Theory and Practice of Software Development, Lecture Notes in Computer Science 1214,Springer, 1997
Conference | 464 | Details | Bibtex-Eintrag

Jan Philipps, Peter Scholz
Synthesis of digital circuits from hierarchical state machines
5th GI/ITG/GMM Workshop,pp. 224 - 238, , 1997
Conference | 465 | Details | Bibtex-Eintrag

Jan Philipps, Alexander Schmidt
Traffic flow by data flow
, 1997
Tech_Report | 469 | Details | Bibtex-Eintrag

PDF-Datei Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin
Exemplary and Complete Object Interaction Descriptions
Proceedings OOPSLA'97 Workshop on Object-oriented Behavioral Semantics,, 1997
Conference | 489 | Details | Bibtex-Eintrag

Manfred Broy, Stephan Merz, Katharina Spies
Formal Systems Specification -- The RPC-Memory Specification Case Study
1997
Book | 490 | Details | Bibtex-Eintrag

B. Rumpe, A. Schürr
Syntax and Semantics of object-oriented Methods
OBJEKTspektrum, Second GROOM-Workshop,SIGS Publications, 1997
Article | 618 | Details | Bibtex-Eintrag

M. Broy
Towards a Mathematical Concept of a Component and its Use
Software- Concepts and Tools 18,pp. 137 - 148, 1997
Conference | 664 | Details | Bibtex-Eintrag

R. Grosu, K. Stoelen, M. Broy
A Model for Mobile Point-to-Point Data-flow Networks with Channel Sharing
,1997
Tech_Report | 770 | Details | Bibtex-Eintrag

Editoren: M. Broy, B. Schieder
Mathematical Methods in Program Development
Springer, 1997
Publication | 771 | Details | Bibtex-Eintrag

Editoren: M. Broy
Schwerpunktthema: Formale Methoden in der Praxis
it+ti - Informationstechnik und Technische Informatik,1997
Publication | 772 | Details | Bibtex-Eintrag

M. Broy
Abstract Semantics of Synchronous Languages: The Example ESTEREL
, 1997
Tech_Report | 773 | Details | Bibtex-Eintrag

P. Hubwieser, M. Broy
Ein neuer Ansatz für den Informatikunterricht am Gymnasium
LOG IN 17,pp. 42 - 47, 1997
Article | 774 | Details | Bibtex-Eintrag

P. Hubwieser, M. Broy
Grundlegende Konzepte von Informations- und Kommunikationssystemen für den Informatikunterricht
Informatik und Lernen in der Informationsgesellschaft. 7. GI-Fachtagung Informatik und Schule Duisburg 1997,pp. 40 - 50, Springer, 1997
Conference | 775 | Details | Bibtex-Eintrag

M. Broy
Semantic Concepts for Software Architectures
Software Architectures and Design Patterns in Business Applications,pp. 241 - 260, , 1997
Tech_Report | 776 | Details | Bibtex-Eintrag

M. Broy
Software Engineering - eine Schlüsselfunktion für Hochtechnologie - Gefahren, Chancen, und Grenzen
,pp. 127 - 156, 1997
Publication | 777 | Details | Bibtex-Eintrag

B. Schieder, M. Broy
On a calculational logic with undefined
,pp. 108 - 117, 1997
Publication | 778 | Details | Bibtex-Eintrag

M. Broy
Informatik - eine grundlegende Einführung
Band 1 Programmierung und Rechnerstrukturen,Springer, 1997
Book | 779 | Details | Bibtex-Eintrag

M. Broy, B. Rumpe
Übungen zur Einführung in die Informatik
,Springer, 1997
Book | 780 | Details | Bibtex-Eintrag

M. Broy
Interactive and Reactive Systems: States, Observations, Experiments and all that ...
Foundations of Computer Science,pp. 279 - 286, Springer, 1997
Inbook | 807 | Details | Bibtex-Eintrag

1996


PDF-Datei Manfred Broy
Towards a Mathematical Model of a Component and Its Use
Componentware Users Conference 1996, Munich, Proceedings,SIGS Publications, 1996
Conference | 16 | Details | Bibtex-Eintrag

PDF-Datei Henrik Linnestad, Christian Prehofer, Olav Lysne
Higher-Order Proof by Consistency
Proc. 16th Conf. Foundations of Software Technology and Theoretical Computer Science,Springer, 1996
Conference | 17 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy
Algebraic Specification of Reactive Systems
Algebraic Methodology and Software Technology,pp. 487 - 503, Springer, 1996
Conference | 18 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy
A Functional Solution to the RPC-Memory Specification Problem
Formal Systems Specification: The RPC-Memory Specification Case Study,pp. 183 - 211, Springer-Verlag, 1996
Inbook | 21 | Details | Bibtex-Eintrag

PDF-Datei Volkmar Lotz
Threat Scenarios as a Means to Formally Develop Secure Systems
ESORICS 96 - European Symposium on Research in Computer Security,Springer Verlag, Berlin, 1996
Publication | 34 | Details | Bibtex-Eintrag

PDF-Datei M. Broy
Formal Description Techniques - How Formal and Descriptive are they
FORTE IX,pp. 95 - 112, Chapman & Hall, 1996
Publication | 35 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu, Ketil Stoelen
A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing
AMAST'96,1996
Conference | 46 | Details | Bibtex-Eintrag

PDF-Datei Michael Hanus, Christian Prehofer
Higher-Order Narrowing with Definitional Trees
Proc. Seventh International Conference on Rewriting Techniques and Applications (RTA'96),Springer, 1996
Conference | 50 | Details | Bibtex-Eintrag

PDF-Datei Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies
AutoFocus - A Tool for Distributed Systems Specification
Proceedings FTRTFT'96 - Formal Techniques in Real-Time and Fault-Tolerant Systems,pp. 467 - 470, Springer Verlag, 1996
Conference | 56 | Details | Bibtex-Eintrag

PDF-Datei Franz Huber, Bernhard Schätz, Katharina Spies
AutoFocus - Ein Werkzeugkonzept zur Beschreibung verteilter Systeme
,, 1996
Conference | 57 | Details | Bibtex-Eintrag

PDF-Datei Cornel Klein, Bernhard Rumpe, Manfred Broy
A stream-based mathematical model for distributed information processing systems - SysLab system model -
FMOODS'96, Formal Methods for Open Object-based Distributed Systems,pp. 323 - 338, ENST France Telecom, 1996
Conference | 61 | Details | Bibtex-Eintrag

PDF-Datei Tobias Nipkow
Winskel is (almost) Right: Towards a Mechanized Semantics Textbook
Foundations of Software Technology and Theoretical Computer Science,pp. 180 - 192, 1996
Conference | 70 | Details | Bibtex-Eintrag

PDF-Datei Barbara Paech
Algebraic View Specification
AMAST96: Algebraic Methodology and Software Technology,1996
Conference | 77 | Details | Bibtex-Eintrag

PDF-Datei Barbara Paech
Formal User-Centered Requirements Engineering
User-Centered Requirements Engineering Workshop: Integrating Methods from Software Engineering and Human-Computer Interaction,1996
Conference | 78 | Details | Bibtex-Eintrag

PDF-Datei Cornelia Pusch
Verification of Compiler Correctness for the WAM
Theorem Proving in Higher Order Logics (TPHOLs'96),pp. 347 - 362, Springer-Verlag, 1996
Publication | 87 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Stephan Merz, Katharina Spies (eds.)
The RPC Memory Case Study: A Synopsis
Formal Systems Specification -- The RPC-Memory Specification Case Study,pp. 1 - 4, Springer, 1996
Inbook | 89 | Details | Bibtex-Eintrag

PDF-Datei B. Rumpe, C. Klein
Automata Describing Object Behavior
Specification of Behavioral Semantics in Object-Oriented Information Modeling,pp. 265 - 286, Kluwer Academic Publishers, 1996
Publication | 93 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Schätz, Heinrich Hußmann, Manfred Broy
Graphical Development of Consistent System Specifications
FME'96: Industrial Benefit and Advances In Formal Methods,Springer, 1996
Conference | 102 | Details | Bibtex-Eintrag

PDF-Datei Ketil Stoelen
Assumption/Commitment Rules for Dataflow Networks - with an Emphasis on Completeness
To appear in the proceedings of ESOP'96,Springer, 1996
Conference | 105 | Details | Bibtex-Eintrag

PDF-Datei Ketil Stoelen
Using Relations on Streams to Solve the RPC-Memory Specification Problem
Formal Systems Specification: The RPC-Memory Specification Case Study, Lecture Notes in Comuter Science 1169,pp. 477 - 520, Springer-Verlag, 1996
Publication | 106 | Details | Bibtex-Eintrag

PDF-Datei Ketil Stoelen
Refinement Principles Supporting the Transition from Asychronous to Synchronous Communications
Science of Computer Programming,1996
Article | 109 | Details | Bibtex-Eintrag

PDF-Datei Dieter Nazareth, Franz Regensburger, Peter Scholz
Mini-Statecharts: A Lean Version of Statecharts
, 1996
Tech_Report | 124 | Details | Bibtex-Eintrag

PDF-Datei Christian Facchi, Markus Haubner, Ursula Hinkel
The SDL Specification of the Sliding Window Protocol Revisited.
, 1996
Tech_Report | 125 | Details | Bibtex-Eintrag

PDF-Datei Christian Facchi
How to Improve the Service Specifications of the ISO/OSI Basic Reference Model.
, 1996
Tech_Report | 126 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Gheorghe Stefanescu
The Algebra of Stream Processing Functions.
, 1996
Tech_Report | 127 | Details | Bibtex-Eintrag

PDF-Datei Olaf Müller, Peter Scholz
Specification of Real-Time and Hybrid Systems in FOCUS.
, 1996
Tech_Report | 128 | Details | Bibtex-Eintrag

PDF-Datei Peter Scholz
An Extended Version of Mini-Statecharts.
, 1996
Tech_Report | 129 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu, Cornel Klein, Bernhard Rumpe, Manfred Broy
State Transition Diagrams.
, 1996
Tech_Report | 130 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu, Cornel Klein, Bernhard Rumpe
Enhancing the SysLab System Model with State.
, 1996
Tech_Report | 131 | Details | Bibtex-Eintrag

PDF-Datei R. Hettler
Description Techniques for Data in the SysLab Method
, 1996
Tech_Report | 132 | Details | Bibtex-Eintrag

PDF-Datei Ursula Hinkel, Katharina Spies
Anleitung zur Spezifikation von mobilen, dynamischen FOCUS-Netzen
, 1996
Tech_Report | 133 | Details | Bibtex-Eintrag

PDF-Datei Christoph Hofmann, Eckart Horn, Wolfgang Keller, Klaus Renzel, Monika Schmidt
The Field of Software Architecture
, 1996
Tech_Report | 134 | Details | Bibtex-Eintrag

PDF-Datei Alexander B. Schmidt, Franz Huber
Softwaretechnik - Praxiserfahrung im Studium
,pp. 22 - 24, , 1996
Article | 143 | Details | Bibtex-Eintrag

PDF-Datei Martín Abadi, Leslie Lamport, Stephan Merz
A TLA Solution to the RPC-Memory Specification problem
Formal Systems Specification: The RPC-Memory Specification Case Study. Lecture Notes in Computer Science 1169,pp. 21 - 66, Springer-Verlag, 1996
Publication | 145 | Details | Bibtex-Eintrag

PDF-Datei Frank Leßke, Stephan Merz
A TLA solution to the steam boiler control specification problem
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. Lecture Notes in Computer Science 1165,pp. 339 - 359, Springer-Verlag, 1996
Publication | 152 | Details | Bibtex-Eintrag

PDF-Datei R. Grosu, K. Stoelen
Specification of Dynamic Networks
Proceedings of the 8th Nordic Workshop on Programming Theory, Oslo, Norway,University of Oslo, 1996
Conference | 175 | Details | Bibtex-Eintrag

PDF-Datei R. Grosu, K. Stoelen
A Denotational Model for Mobile Many-to-Many Data-flow Networks
, 1996
Tech_Report | 176 | Details | Bibtex-Eintrag

Bernhard Rumpe
A Formal Methodolgy for the Design of Distributed Object-Oriented Systems
POOMA'96: Parallel Object-Oriented Methods and Applications, Santa Fe,1996
Conference | 629 | Details | Bibtex-Eintrag

PDF-Datei Henrik Linnestad, Christian Prehofer und Olav Lysne
High-Order Proof by Consistency
Springer-Verlag, 1996
Publication | 408 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu, Ketil Stolen
A Denotational Model for Mobile Many-to-Many Data-flow Networks
, 1996
Tech_Report | 411 | Details | Bibtex-Eintrag

PDF-Datei Dieter Nazareth, Tobias Nipkow
Formal Verification of Algorithm W: The Monomorphic Case
Theorem Proving in High Order Logics (TPHOLs'96),pp. 331 - 346, Springer-Verlag, 1996
Conference | 424 | Details | Bibtex-Eintrag

PDF-Datei Tobias Nipkow
More Church-Rosser Proofs (in Isabelle/HOL)
Automated Deduction - CADE-13,pp. 733 - 747, Springer-Verlag, 1996
Conference | 425 | Details | Bibtex-Eintrag

Bernhard Rumpe
Formale Methodik des Entwurfs verteilter objektorientierter Systeme
,Herbert Utz Verlag Wissenschaft, 1996
PHDthesis | 612 | Details | Bibtex-Eintrag

M. Broy
Experiences with Software Specification and Verification Using LP, the Larch Proof Assistent
Formal Methods in System Design 8,pp. 221 - 272, 1996
Article | 640 | Details | Bibtex-Eintrag

Editoren: M. Broy
Deductive Program Design
Springer, 1996
Book | 651 | Details | Bibtex-Eintrag

M. Broy
Software-Engineering - von der Wissenschaft zur Anwendung in der Technik
Software in Technik und Automation. ITG-Fachbericht,pp. 19 - 30, VDE Verlag, 1996
Inbook | 658 | Details | Bibtex-Eintrag

M. Broy
Wettbewerbsvorteile durch fortgeschrittene Softwaretechnik
,1996
Publication | 659 | Details | Bibtex-Eintrag

P. Hubwieser, M. Broy, W. Brauer
A New Approach in Teaching Information Technologies: Shifting Emphasis form Technology to Information
IFIP WG 3.1 & WG 3.5, International Conference, Information Technology: Supporting Change Through Teacher Education, Kiryat Anavim, Israel,1996
Conference | 660 | Details | Bibtex-Eintrag

M. Broy, W. Damm, M. Eckrich, W. Mala, G. Venzl
Korrekte Software für sicherheitskritische Systeme - Das Projekt KorSys im Überblick
BMBF Status Seminar,1996
Publication | 661 | Details | Bibtex-Eintrag

M. Broy
On the Construction of Reliable Systems
10. Deutsch-Japanisches IT-Forum. Kloster Seeon,1996
Publication | 662 | Details | Bibtex-Eintrag

P. Hubwieser, M. Broy
Der informationszentrierte Ansatz: Ein Vorschlag für eine zeitgemäße Form des Informatikunterrichts am Gymnasium
, 1996
Tech_Report | 663 | Details | Bibtex-Eintrag

M. Broy
Schneller, jünger, flexibler
Ausbildung! Qualifikation! Arbeit! Die Zukunft von Bildungssystem und Arbeitswelt,pp. 100 - 103, SZ-Aktuell Olzog Verlag, 1996
Inbook | 665 | Details | Bibtex-Eintrag

M. Broy
Mathematik des Software-Engineering
Highlights aus der Informatik,pp. 229 - 252, Springer, 1996
Inbook | 666 | Details | Bibtex-Eintrag

Editoren: M. Broy, S. Merz, K. Spies
Formal Systems Specification
The RPC-Memory Specification Case Study,Springer, 1996
Book | 667 | Details | Bibtex-Eintrag

M. Broy, L. Lamport
The RPC-Memory Specification Problem - Problem Statement
Formal Systems Specification. The RPC-Memory Specification Case Study,pp. 1 - 4, Springer, 1996
Inbook | 668 | Details | Bibtex-Eintrag

Editoren: B. Björner, M. Broy, I.V. Potosin
Perspectives of System Informatics
Second International Andrei Ershov Memorial Conference. Akademgorodok, Novosibirsk, Russia,Springer, 1996
Book | 669 | Details | Bibtex-Eintrag

M. Broy, H. Hußmann, B. Schätz
Formal Development of Consistent System Specification
FME\'96: Industrial Benefits and Advances in Formal Methods,pp. 248 - 267, Springer, 1996
Inbook | 808 | Details | Bibtex-Eintrag

1995


PDF-Datei Klaus Bergner, Bernhard Rumpe
Event Handling in ET++ -- A Case Study in the Algebraic Specification of Object--Oriented Application Frameworks.
, 1995
Tech_Report | 6 | Details | Bibtex-Eintrag

PDF-Datei Francois Bourdoncle, Stephan Merz
On the integration of functional programming, class-based object-oriented programming, and multi-methods
Research Report 26, Paris, 1995
Publication | 7 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy
Mathematical System Models as a Basis of Software Engineering
Computer Science Today,pp. 292 - 306, Springer, 1995
Article | 19 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy
Equations for Describing Dynamic Nets of Communicating Systems
Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop,pp. 170 - 187, Springer, 1995
Conference | 22 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy
Advanced Component Interface Specification
Theory and Practice of Parallel Programming - International Workshop TPPP'94,pp. 89 - 104, Springer, 1995
Conference | 23 | Details | Bibtex-Eintrag

PDF-Datei Claus Dendorfer
Methodik funktionaler Systementwicklung
, 1995
PHDthesis | 26 | Details | Bibtex-Eintrag

PDF-Datei Christian Facchi
Methodik zur formalen Spezifikation des ISO/OSI Schichtenmodells
Herbert Utz Verlag Wissenschaft, 1995
PHDthesis | 27 | Details | Bibtex-Eintrag

PDF-Datei Thomas Gritzner
wp-Kalkül und relationale Spezifikation kommunizierender Systeme
, 1995
PHDthesis | 28 | Details | Bibtex-Eintrag

PDF-Datei Rudi Hettler
Entity/Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen
Tectum-Verlag Marburg, 1995
PHDthesis | 29 | Details | Bibtex-Eintrag

PDF-Datei Olaf Müller, Tobias Nipkow
Combining Model Checking and Deduction for I/O-Automata
Tools and Algorithms for the Construction and Analysis of Systems,1995
Book | 67 | Details | Bibtex-Eintrag

PDF-Datei Tobias Nipkow, Christian Prehofer
Type Reconstruction for Type Classes
Functional Programming,1995
Article | 72 | Details | Bibtex-Eintrag

PDF-Datei Tobias Nipkow, Konrad Slind
I/O Automata in Isabelle/HOL
Proc. of Types for Proofs and Programs,1995
Conference | 73 | Details | Bibtex-Eintrag

PDF-Datei Christian Prehofer
Higher-Order Narrowing with Convergent Systems
Algebraic Methodology and Software Technology : 4th International Conference, AMAST '95,Springer, 1995
Conference | 79 | Details | Bibtex-Eintrag

PDF-Datei Christian Prehofer
A Call-by-Need Strategy for Higher-Order Functional-Logic Programming.
Logic Programming. Proc. of the 1995 International Symposium,MIT Press, 1995
Conference | 85 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Rumpe, Cornel Klein, Manfred Broy
Ein strombasiertes mathematisches Modell verteilter informationsverarbeitender Systeme - Syslab Systemmodell -
, 1995
Tech_Report | 88 | Details | Bibtex-Eintrag

PDF-Datei Franz Regensburger
HOLCF: Higher Order Logic of Computable Functions
Higher Order Logic Theorem Proving and Its Application (HOL95),1995
Publication | 91 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Rumpe
Gofer Objekt-System -- Imperativ Objektorientierte und Funktionale Programmierung in einer Sprache vereint
Kolloquium Programmiersprachen und Grundlagen der Programmierung, Adalbert Stifter Haus, Alt Reichenau,Technical report University of Passau, MIP-9519, 1995
Conference | 94 | Details | Bibtex-Eintrag

PDF-Datei Ketil Stoelen
A Refinement Relation Supporting the Transition from Unbounded to Bounded Communication Buffers
Proceedings MPC'95,1995
Conference | 107 | Details | Bibtex-Eintrag

PDF-Datei Ketil Stoelen
Development of SDL Specifications in Focus
Proceedings SDL Forum 95,1995
Conference | 108 | Details | Bibtex-Eintrag

PDF-Datei Christian Prehofer
Solving Higher-Order Equations: From Logic to Programming
, 1995
PHDthesis | 114 | Details | Bibtex-Eintrag

PDF-Datei Oscar Slotosch
Implementing the Change of Data Structures with SPECTRUM in the Framework of KORSO Development Graphs
, 1995
Tech_Report | 115 | Details | Bibtex-Eintrag

PDF-Datei Max Fuchs
Formal Design of a Modulo-N Counter
, 1995
Tech_Report | 116 | Details | Bibtex-Eintrag

PDF-Datei Dieter Nazareth
A Polymorphic Sort System for Axiomatic Specification Languages
, 1995
PHDthesis | 117 | Details | Bibtex-Eintrag

PDF-Datei Ketil Stoelen, Max Fuchs
A Formal Method for Hardware/Software Co-Design
, 1995
Tech_Report | 118 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu, Ketil Stølen
A Denotational Model for Mobile Point-to-Point Dataflow Networks
, 1995
Tech_Report | 119 | Details | Bibtex-Eintrag

PDF-Datei Bernhard Schätz, Katharina Spies
Formale Syntax zur logischen Kernsprache der FOCUS-Entwicklungsmethodik
, 1995
Tech_Report | 120 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu, Bernhard Rumpe
Concurrent Timed Port Automata
, 1995
Tech_Report | 121 | Details | Bibtex-Eintrag

PDF-Datei Ketil Stoelen
Refinement Principles Supporting the Transition from Asynchronous to Synchronous Communication
, 1995
Tech_Report | 122 | Details | Bibtex-Eintrag

PDF-Datei Christian Facchi
Formal Semantics of Time Sequence Diagrams
, 1995
Tech_Report | 123 | Details | Bibtex-Eintrag

PDF-Datei Ketil Stoelen
Assumption/Commitment Rules for Data-flow Networks --- with an Emphasis on Completeness.
, 1995
Tech_Report | 142 | Details | Bibtex-Eintrag

PDF-Datei Wolfgang Bartsch, Klaus Bergner, Rudi Hettler, Barbara Paech
Studenten entwickeln Universelles Hochschulinformationssystem: Erfahrungen aus einem Softwaretechnik-Praktikum
Software Engineering im Unterricht der Hochschulen'95, German Chapter of the ACM,Teubner, 1995
Article | 147 | Details | Bibtex-Eintrag

PDF-Datei Ketil Stølen, Frank Dederichs, Rainer Weber
Specification and Refinement of Networks of Asynchronously Communicating Agents using the Assumption/Commitment Paradigm
Formal Aspects of Computing,1995
Article | 149 | Details | Bibtex-Eintrag

PDF-Datei Max Fuchs, Jan Philipps
Formal Development of a Production Cell in Focus -- A Case Study
Formal Development of Reactive Systems,1995
Article | 150 | Details | Bibtex-Eintrag

PDF-Datei Max Fuchs, Ketil Stoelen
Development of a Distributed Min/Max Component
Proc. 3.GI/ITG Workshop, Anwendung formaler Methoden beim Entwurf von Hardwaresystemen,pp. 126 - 135, 1995
Conference | 151 | Details | Bibtex-Eintrag

PDF-Datei Martin Abadi, Stephan Merz
An Abstract Account of Composition
Mathematical Foundations of Computer Science,Springer, 1995
Article | 153 | Details | Bibtex-Eintrag

PDF-Datei Martin Abadi, Stephan Merz
On TLA as a logic
Deductive Program Design,Springer, 1995
Article | 154 | Details | Bibtex-Eintrag

PDF-Datei Barbara Paech
A methodology integrating formal and informal software development
ICSE'95, Workshop on Formal Methods Application in Software Engineering Practice,1995
Conference | 155 | Details | Bibtex-Eintrag

PDF-Datei R. Grosu, K. Stoelen
A Denotational Model for Mobile Point-to-Point Data-flow Networks
, 1995
Tech_Report | 178 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy
On the Design and Verification of a Simple Distributed Spanning Tree Algorithm
, 1995
Tech_Report | 409 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy
Characterizing the Behavior of Reactive Systems by Trace Sets
, 1995
Tech_Report | 410 | Details | Bibtex-Eintrag

PDF-Datei Jan Philipps, Tomohiro Yoneda
Symbolic verification of statecharts
Technical Report FTS95-37, IEICE,1995
Tech_Report | 470 | Details | Bibtex-Eintrag

M. Walicki, M. Broy
Structured Specifications and Implementation of Nondeterministic Data Types
, 1995
Tech_Report | 652 | Details | Bibtex-Eintrag

M. Broy
Mathematics of Software Engineering. Invited talk at MPC 95
Mathematics of Program Construction, Lecture Notes of Computer Science 947,pp. 18 - 47, Springer, 1995
Article | 653 | Details | Bibtex-Eintrag

M. Broy
Informatik - eine grundlegende Einführung. Teil IV
Springer Verlag, 1995
Book | 656 | Details | Bibtex-Eintrag

Editoren: M. Broy, S. Jähnichen
KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report
Lecture Notes of Computer Science 1009,Springer, 1995
Publication | 657 | Details | Bibtex-Eintrag

M. Broy
A Functional Specification of the Alpha AXPTM Shared Memory Model
DIGITAL Systems Research Center, SRC 136,1995
Publication | 60 | Details | Bibtex-Eintrag

1994


PDF-Datei Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder
Interpreter Verification for a Functional Language
Proc. 14th Conf. Foundations of Software Technology and Theoretical Computer Science,pp. 77 - 88, 1994
Conference | 5 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Ketil Stoelen
Specification and Refinement of Finite Dataflow Networks - A Relational Approach
, 1994
Tech_Report | 9 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy
A Functional Rephrasing of the Assumption/Commitment Specification Style
, 1994
Tech_Report | 10 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Michal Walicki
Structured Specifications and Implementation of Nondeterministic Data Types
, 1994
Tech_Report | 11 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy
Specification and Refinement of a Buffer of Length One
Deductive Program Design,pp. 273 - 304, Springer, 1994
Conference | 15 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Ketil Stoelen
Specification and Refinement of Finite Dataflow Networks - a Relational Approach
Proc. FTRTFT'94, Lecture Notes in Computer Science 863,pp. 247 - 267, Springer, 1994
Conference | 20 | Details | Bibtex-Eintrag

PDF-Datei Franz Regensburger
HOLCF: eine konservative Erweiterung von HOL um LCF
, 1994
PHDthesis | 30 | Details | Bibtex-Eintrag

PDF-Datei Birgit Schieder
Logic and Proof Method of Recursion
, 1994
PHDthesis | 31 | Details | Bibtex-Eintrag

PDF-Datei Max Fuchs, Michael Mendler
Functional Semantics for Delta-Delay VHDL based on Focus
Formal Semantics for VHDL,ch. 1, 1994
Conference | 36 | Details | Bibtex-Eintrag

PDF-Datei Max Fuchs
Technologieabhängigkeit von Spezifikationen digitaler Hardware
, 1994
Tech_Report | 39 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu, Dieter Nazareth
Towards a New Way of Parameterization
Proceedings of the Third Maghrebian Conference on Software Engineering and Artificial Intelligence,1994
Conference | 40 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu, Franz Regensburger
The Logical Framework of SPECTRUM
, 1994
Tech_Report | 43 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu
Concurrent Object Oriented Programming
, 1994
Tech_Report | 44 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu, Franz Regensburger
The Semantics of Spectrum
Higher-Order Algebra, Logic and Term Rewriting. First International Workshop, HOA' 93,Springer, 1994
Conference | 45 | Details | Bibtex-Eintrag

PDF-Datei Eckhardt Holz, Ketil Stoelen
An Attempt to Embed a Restricted Version of SDL as a Target Language in Focus
Proc. Forte'94,pp. 324 - 339, 1994
Conference | 47 | Details | Bibtex-Eintrag

PDF-Datei Rudi Hettler
A Requirement Specification for a Lexical Analyser
, 1994
Tech_Report | 53 | Details | Bibtex-Eintrag

PDF-Datei Rudi Hettler, Dieter Nazareth, Franz Regensburger, Oscar Slotosch
AVL Trees Revisited: A Case Study in SPECTRUM
, 1994
Tech_Report | 54 | Details | Bibtex-Eintrag

PDF-Datei Eckhardt Holz, Ketil Stoelen
An Attempt to Embed a Restricted Version of SDL as a Target Language in Focus
, 1994
Tech_Report | 55 | Details | Bibtex-Eintrag

PDF-Datei Christian Prehofer
Decidable Higher-order Unification Problems
Automated Deduction CADE-12, 12th International Conference on Automated Deduction,Springer, 1994
Conference | 80 | Details | Bibtex-Eintrag

PDF-Datei Christian Prehofer
Higher-order Narrowing
Proc. Ninth Annual IEEE Symposium on Logic in Computer Science LICS '94,IEEE Computer Society Press, 1994
Conference | 83 | Details | Bibtex-Eintrag

PDF-Datei Christian Prehofer
On Modularity in Term Rewriting and Narrowing
1st International Conference on Constraints in Computational Logics,Springer, 1994
Conference | 84 | Details | Bibtex-Eintrag

PDF-Datei Franz Regensburger
The calculus of SPECTRUM
, 1994
Tech_Report | 90 | Details | Bibtex-Eintrag

PDF-Datei Katharina Spies
Funktionale Spezifikation eines Kommunikationsprotokolls
, 1994
Tech_Report | 103 | Details | Bibtex-Eintrag

PDF-Datei Gheorghe Stefanescu
Algebra of Flownomials.
, 1994
Tech_Report | 104 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu, Dieter Nazareth
The Specification Language Spectrum - Core Language Report V1.0
, 1994
Tech_Report | 111 | Details | Bibtex-Eintrag

PDF-Datei Maximilian Fuchs
Technologieabhängigkeit von Spezifikationen digitaler Hardware
, 1994
PHDthesis | 112 | Details | Bibtex-Eintrag

PDF-Datei Radu Grosu
Concurrent Object Oriented Programming
, 1994
PHDthesis | 113 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Max Fuchs, Thomas F. Gritzner, Bernhard Schätz, Katharina Spies, Ketil Stølen
Summary of Case Studies in FOCUS - a Design Method for Distributed Systems
, 1994
Tech_Report | 413 | Details | Bibtex-Eintrag

PDF-Datei Barbara Paech, Bernhard Rumpe
A new Concept of Refinement used for Behavior Modelling with Automata
FME'94: Industrial Benefit of Formal Methods Europe, Symposium '94,Springer-Verlag, 1994
Tech_Report | 414 | Details | Bibtex-Eintrag

B. Paech, B. Rumpe
Spezifikationsautomaten: Eine Erweiterung der Spezifikationssprache Spectrum um eine graphische Notation
,University of Hannover, 1994
Tech_Report | 313 | Details | Bibtex-Eintrag

Bernhard Rumpe
Verwendung endlicher Automaten zur Implementierung des dynamischen Verhaltens von C++ Objekten
,Technical Report 9402 University of Giessen, 1994
Conference | 316 | Details | Bibtex-Eintrag

M. Broy
Sicherheit und Logik
Institutionen und Einzelne im Zeitalter der Informationstechnik. Sicherheit und Informationstechnik,pp. 159 - 164, Oldenbourg Verlag, 1994
Inbook | 647 | Details | Bibtex-Eintrag

M. Broy
Software – Gestalten mit Sprache
,pp. 93 - 103, 1994
Article | 648 | Details | Bibtex-Eintrag

M. Broy
Informatik - eine grundlegende Einführung. Teil III
Springer, 1994
Book | 649 | Details | Bibtex-Eintrag

M. Broy
A Functional Solution to the Memory and RPC Specification Problem
1994
Publication | 655 | Details | Bibtex-Eintrag

M. Broy
Software - eine andauernde Herausforderung. Siemens
1994
Publication | 59 | Details | Bibtex-Eintrag

1993


PDF-Datei Manfred Broy, Claus Dendorfer, Ketil Stoelen
HOPSA - a High-level Programming Language for Parallel Computations
Proc. Euro-ARCH'93, Informatik aktuell,pp. 636 - 646, Springer, 1993
Conference | 3 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Christian Facchi, Radu Grosu, Rudi Hettler, Heinrich Hußmann, Dieter Nazareth, Franz Regensburger, Oscar Slotosch, Ketil Stølen
The Requirement and Design Specification Language SPECTRUM An Informal Introduction (V 1.0)
, 1993
Tech_Report | 447 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy
Functional Specification of Time Sensitive Communicating Systems
ACM Transactions on Software Engeneering and Methodology 2:1,pp. 1 - 46, 1993
Conference | 13 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy
(Inter-)Action Refinement: The Easy Way
Program Design Calculi,Springer NATO ASI Series, 1993
Inbook | 14 | Details | Bibtex-Eintrag

PDF-Datei Max Fuchs, Ketil Stølen
Development of a Distributed Min/Max Component
, 1993
Tech_Report | 38 | Details | Bibtex-Eintrag

PDF-Datei R. Berghammer, T.F. Gritzner, G. Schmidt
Prototyping relational specifications using higher-order objects
Higher-Order Algebra, Logic, and Term Rewriting. First International Workshop, HOA' 93, Amsterdam,1993
Conference | 42 | Details | Bibtex-Eintrag

PDF-Datei Rudi Hettler
Zur Übersetzung von E/R-Schemata nach SPECTRUM
, 1993
Tech_Report | 52 | Details | Bibtex-Eintrag

PDF-Datei Heinrich Hußmann
Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem
, 1993
Tech_Report | 58 | Details | Bibtex-Eintrag

PDF-Datei Dieter Nazareth
A Universally Polymorphic Specification Language -- A Brief Informal Introduction
Programmiersprachen und Grundlagen der Programmierung,1993
Article | 68 | Details | Bibtex-Eintrag

PDF-Datei Dieter Nazareth
Modelling Inheritance in an Algebraic Specification Language
Proceedings of the Third International Conference for Young Computer Scientists,1993
Conference | 69 | Details | Bibtex-Eintrag

PDF-Datei Tobias Nipkow, Christian Prehofer
Type Checking Type Classes
Proc. 20th ACM Symp. Principles of Programming Languages,ACM Press, 1993
Conference | 71 | Details | Bibtex-Eintrag

PDF-Datei Ketil Stoelen, Frank Dederichs, Rainer Weber
Assumption/Commitment Rules for Networks of Asynchronously Communicating Agents
, 1993
Tech_Report | 97 | Details | Bibtex-Eintrag

PDF-Datei Oscar Slotosch, F. Nickl, S. Merz, Heinrich Hußmann, Rudi Hettler
Die funktionale Essenz von HDMS-A
, 1993
Tech_Report | 100 | Details | Bibtex-Eintrag

PDF-Datei Wolfgang Bartsch, Ernst Denert
Objektorientierte Spezifikation: Konzepte und eine Notation
,Springer-Verlag, 1993
Article | 146 | Details | Bibtex-Eintrag

PDF-Datei Sergei Gorlatch
Driving Efficient Parralel Programs By Systematic Coarsing Specification Parallelism
, 1993
Tech_Report | 415 | Details | Bibtex-Eintrag

Bernhard Rumpe
Using the Algebraic Specification Language Spectrum for Object-Oriented Software Design
OOPSLA'93 Workshop on Specification of Behavioral Semantics of Object-Oriented Information Modeling,1993
Conference | 317 | Details | Bibtex-Eintrag

M. Broy
Informatik - eine grundlegende Einführung. Teil II
Springer Verlag, 1993
Book | 641 | Details | Bibtex-Eintrag

Editoren: M. Broy
Program Design Calculi
Springer, 1993
Book | 642 | Details | Bibtex-Eintrag

M. Broy, M. Wirsing
Korrekte Software – vom Experiment zur Anwendung
Informatik, Wirtschaft, Gesellschaft. GI Jahrestagung 1993, Informatik aktuell,pp. 29 - 44, Springer, 1993
Article | 643 | Details | Bibtex-Eintrag

Editoren: D. Björner, M. Broy, I.V. Pottosin
Formal Methods in Programming and their Application
Lecture Notes in Computer Science 735,Springer, 1993
Book | 644 | Details | Bibtex-Eintrag

M. Broy, S. Jähnichen
Das BMFT-Verbundprojekt ”Korrekte Software (Korso)”
Informatik in Forschung und Entwicklung 8,pp. 152 - 165, 1993
Article | 645 | Details | Bibtex-Eintrag

M. Broy
Zur Bewahrung unserer Autonomie vor den Automaten: Zum Menschenbild des Informatikers
Bilder vom Menschen in Technik Wissenschaft und Religion,pp. 65 - 88, , 1993
Article | 646 | Details | Bibtex-Eintrag

M. Broy
Zur Beziehung zwischen der Systembeschreibung GRAPES und der Modellierung im Semantischen Objektmodell. EMSC
1993
Publication | 0 | Details | Bibtex-Eintrag

1992


PDF-Datei Manfred Broy, Frank Dederich, Claus Dendorfer, Max Fuchs, Thomas Gritzner, Rainer Weber
The Design of Distributed Systems - An Introduction to FOCUS
, 1992
Tech_Report | 2 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy
Compositional Refinement of Interactive Systems
DIGITAL Systems Research Center SRC 89,1992
Publication | 12 | Details | Bibtex-Eintrag

PDF-Datei Frank Dederichs
Transformation verteilter Systeme: Von applikativen zu prozeduralen Darstellungen
, 1992
PHDthesis | 25 | Details | Bibtex-Eintrag

PDF-Datei Rainer Weber
Eine Methodik für die formale Anforderungsspezifikation verteilter Systeme
, 1992
PHDthesis | 32 | Details | Bibtex-Eintrag

PDF-Datei Thomas F. Gritzner
A simple toy example of a distributed system: On the design of a connecting switch
,pp. 144 - 176, Springer-Verlag, 1992
Publication | 41 | Details | Bibtex-Eintrag

PDF-Datei Rudi Hettler
Spezifikation des UNIX Datei- und Variablensystems Eine SPECTRUM Fallstudie
, 1992
Tech_Report | 51 | Details | Bibtex-Eintrag

PDF-Datei Christian Prehofer
An Efficient Constraint Language for Polymorphic Order-sorted Resolution
Proc. Logics in AI, JELIA 92,Springer, 1992
Conference | 86 | Details | Bibtex-Eintrag

M. Broy, C. Dendorfer
Functional Modelling of Operating System Structures by Timed Higher Order Stream Processing Functions
Journal of Functional Programming 2 (1),pp. 1 - 21, 1992
Article | 632 | Details | Bibtex-Eintrag

PDF-Datei Max Fuchs
Funktionale Spezifikation einer Geschwindigkeitsregelung
, 1992
Tech_Report | 416 | Details | Bibtex-Eintrag

PDF-Datei Sergei Gorlatch
Parallel Program Development for a Recursive Numerical Algorithm: a Case Study
, 1992
Tech_Report | 417 | Details | Bibtex-Eintrag

PDF-Datei Thomas F. Gritzner
The Action Graph Model as a Link Between Abstract Relation Algebras and Process-Algebraic Specifications
, 1992
Tech_Report | 418 | Details | Bibtex-Eintrag

PDF-Datei Claus Dendofer, Rainer Weber
Development and Implementation of a Communication Protocol - An Exercise in FOCUS
, 1992
Tech_Report | 419 | Details | Bibtex-Eintrag

M. Broy, Th. Streicher
Modular Functional Modelling of Petri Nets with Individual Tokens
Advances in Petri Nets 1992, Lecture Notes in Computer Science 609,pp. 70 - 88, 1992
Article | 631 | Details | Bibtex-Eintrag

M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, R. Weber
Summary of Case Studies in FOCUS - a Design Method for Distributed Systems
, 1992
Tech_Report | 634 | Details | Bibtex-Eintrag

M. Broy
Operational and Denotational Semantics with Explicit Concurrency
Fundamenta Informaticae 16:3,pp. 201 - 230, 1992
Article | 635 | Details | Bibtex-Eintrag

M. Broy, M. Lehmann
Die Schutzfähigkeit von Computerprogrammen nach dem neuen europäischen und deutschem Urheberrecht
Gewerblicher Rechtsschutz und Urheberrecht,1992
Article | 636 | Details | Bibtex-Eintrag

Editoren: M. Broy
Programming and Mathematical Method
Springer, 1992
Book | 637 | Details | Bibtex-Eintrag

M. Broy
Informatik - eine grundlegende Einführung. Teil I
Springer Verlag, 1992
Book | 638 | Details | Bibtex-Eintrag

M. Broy
Algebraic and Functional Specification of an Interactive Serializable Database Interface
Distributed Computing 6:5,pp. 5 - 18, 1992
Article | 639 | Details | Bibtex-Eintrag

1991


PDF-Datei Manfred Broy
Towards a Formal Foundation of the Specification and Description Language SDL
Formal Aspects of Computing 3,pp. 21 - 57, 1991
Publication | 8 | Details | Bibtex-Eintrag

PDF-Datei Frank Leßke
On constructive specifications of abstract data types using temporal logic
, 1991
Tech_Report | 62 | Details | Bibtex-Eintrag

PDF-Datei Claus Dendofer
Funktionale Modellierung eines Postsystems
, 1991
Tech_Report | 420 | Details | Bibtex-Eintrag

PDF-Datei Manfred Broy, Claus Dendorfer
Modelling Operating System Structures by Timed Stream Processing Functions
, 1991
Tech_Report | 421 | Details | Bibtex-Eintrag

M. Broy, Ch. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, R. Regensburger, K. Stolen
The Requirement and Design Specification Language SPECTRUM
, 1991
Tech_Report | 839 | Details | Bibtex-Eintrag

M. Broy
Declarative Specification and Declarative Programming
Proceedings Sixth International Workshop on Software Specification and Design, Como,pp. 2 - 13, IEEE Computer Society Press, 1991
Conference | 840 | Details | Bibtex-Eintrag

M. Broy, T.F. Gritzner
Parallelism Algebras: A Link between Process Algebras and Abstract Relational Algebra
, 1991
Tech_Report | 841 | Details | Bibtex-Eintrag

M. Broy
Aspekte der Zuverlässigkeit bei der Spezifikation von Softwaresystemen
,pp. 7 - 18, vde-Verlag, 1991
Article | 842 | Details | Bibtex-Eintrag

M. Broy, C. Delgado Kloos
Weakening the Weak Conditions for Self-Timed Circuits
, 1991
Publication | 328 | Details | Bibtex-Eintrag

M. Broy, F. Dederichs, C. Dendorfer, R. Weber
Characterizing the Behaviour of Reactive Systems by Trace Sets
, 1991
Publication | 329 | Details | Bibtex-Eintrag

M. Broy
On the Design and Verification of a simple Distributed Tree Algorithm
, 1991
Publication | 330 | Details | Bibtex-Eintrag

M. Broy
Formal Modelling of Networks of Time Sensitve Interactive Systems. Networks 91
Warsaw, 1991, Wydawnictwo Polytechniki Wroclawskicj, Wroclaw,pp. 19 - 33, 1991
Publication | 331 | Details | Bibtex-Eintrag

1990


M. Broy
Das Mißverständnis ”Künstliche Intelligenz”
,pp. 65 - 78, S. Hirzel, Stuttgart, 1990
Article | 633 | Details | Bibtex-Eintrag

© Software & Systems Engineering Research Group
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2014-08-15 21:28:28