TU München - Fakultät für
Informatik |
Home | Forschung/Kompetenz | Lehre | Personen | Publikationen | Abschlussarbeiten | Sonstiges | Kontakt | |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Manfred Broy, Marco Kuhrmann
Projektorganisation und Management im Software Engineering IT Freelancer Magazin,pp. 8--9, 2014 Article | 1312 | Details | Bibtex-Eintrag |
Marco Kuhrmann, Michaela Tiessler
Crafting a Method Engineering Metamodel: Approach, Methods, Results , 2014 Tech_Report | 1313 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Birgit Penzenstadler, Veronika Bauer, Andreas Fleischmann
Seminar: Sustainability in Software Engineering pp. 125, , 2011 Tech_Report | 1266 | Details | Bibtex-Eintrag |
Wolfgang Schwitzer, Vlad Popa
Using Protocol Buffers for Resource-Constrained Distributed Embedded Systems pp. 22, , 2011 Tech_Report | 1267 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Maria Spichkova
Architecture: Methodology of Decomposition pp. 65, , 2010 Tech_Report | 1232 | Details | Bibtex-Eintrag |
Maria Spichkova
From Semiformal Requirements To Formal Specification pp. 32, , 2010 Tech_Report | 1233 | Details | Bibtex-Eintrag |
F. Hoelzl, M. Spichkova, D. Trachtenherz
AutoFocus Tool Chain Technische Universitaet M?nchen, 2010 Tech_Report | 1236 | Details | Bibtex-Eintrag |
F. Hoelzl, M. Spichkova, D. Trachtenherz
Safety-Critical System Development Methodology , 2010 Tech_Report | 1237 | Details | Bibtex-Eintrag |
Marco Kuhrmann, Georg Kalus, Manuel Then
Flexible Process-Tool-Integration , 2010 Tech_Report | 1241 | Details | Bibtex-Eintrag |
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 |
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 |
Thomas Tuerk
Local Reasoning about While-Loops VSTTE 2010. Workshop Proceedings,pp. 29-39, , 2010 Conference | 1250 | Details | Bibtex-Eintrag |
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 |
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 |
David Trachtenherz
Ausführungssemantik von AutoFocus-Modellen: Isabelle/HOL-Formalisierung und Äquivalenzbeweis , 2009 Tech_Report | 1124 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Eugen Wachtel, Marco Kuhrmann, Georg Kalus
A Domain Specific Language for Project Execution Models ,pp. 2986--3000, , 2009 Conference | 1164 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
Markus Herrmannsdoerfer and Stefano Merenda
Result of the Tool Questionnaire , 2009 Tech_Report | 1188 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Jewgenij Botaschanjan, Alexander Harhurin, Leonid Kof
Service-Based Specification of Reactive Systems , 2008 Tech_Report | 1085 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
Franz Huber, Tobias Schröpf
Hochverfügbarkeit für Linux , 2008 Tech_Report | 1094 | Details | Bibtex-Eintrag |
Martin Fritzsche, Manfred Broy
Criteria for the Evaluation of Requirements Engineering Methods in a Change Intensive Environment , 2008 Tech_Report | 1095 | Details | Bibtex-Eintrag |
Michael Meisinger, Sabine Rittmann
A comparison of service-oriented development approaches , 2008 Tech_Report | 1096 | Details | Bibtex-Eintrag |
M. Spichkova, J. Jürjens
Formal Specification of Cryptographic Protocols and Their Composition Properties , 2008 Tech_Report | 1099 | Details | Bibtex-Eintrag |
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 |
Marco Kuhrmann, Ulrike Hammerschall
Anpassung des V-Modell XT - Leitfaden zur organisationsspezifischen Anpassung des V-Modell XT , 2008 Tech_Report | 1104 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Alexander Harhurin and Judith Hartmann
Dienstbasierte Spezifikation des ACC, Fallstudie , 2008 Tech_Report | 1113 | Details | Bibtex-Eintrag |
S. Wagner, M. Ruhe
A Structured Review of Productivity Factors in Software Development Technical , 2008 Tech_Report | 1114 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Elmar Juergens, Benjamin Hummel, Florian Deissenboeck, Martin Feilkas
Static Bug Detection Through Analysis of Inconsistent Clones ,2008 Conference | 1146 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
Sabine Rittmann
A methodology for modeling usage behavior of multi-functional systems Handed in as PhD thesis , 2008 PHDthesis | 1202 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Martin Fritzsche, Patrick Keil
Kategorisierung etablierter Vorgehensmodelle und ihre Verbreitung in der deutschen Software-Industrie , 2007 Tech_Report | 1041 | Details | Bibtex-Eintrag |
Martin Leucker
Learning meets Verification Formal Methods for Components and Objects, 5th International Symposium (FMCO 2006),2007 Conference | 1010 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Alexander Harhurin, Judith Hartmann
A Formal Approach to Specifying the Functionality of Software System Families , 2007 Tech_Report | 1064 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
Eva Geisberger
Requirements Engineering Reference Model (REM) GI Softwaretechnik Trends,pp. 1, 2007 Article | 1211 | Details | Bibtex-Eintrag |
Eva Geisberger, Bernhard Schätz
Modellbasierte Anforderungsanalyse mit AutoRAID GI - Informatik Forschung und Entwicklung,pp. 231-242, 2007 Article | 1207 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
Maria Spichkova
FlexRay: Verification of the FOCUS Specification in Isabelle/HOL. A Case Study. , 2006 Tech_Report | 922 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
Manfred Broy, Florian Deissenboeck, Markus Pizka
Demystifying Maintainability Proceedings of the 4th Workshop on Software Quality,2006 Conference | 929 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Stefan Wagner
A Literature Survey of the Software Quality Economics of Defect-Detection Techniques , 2006 Tech_Report | 940 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Doris Wild
AutoFocus 2 - Das Bilderbuch , 2006 Book | 1204 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
María Victoria Cengarle, Alexander Knapp
Operational Semantics of UML 2.0 Interactions , 2005 Tech_Report | 866 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
Leonid Kof
Text Analysis for Requirements Engineering , 2005 PHDthesis | 914 | Details | Bibtex-Eintrag |
Manfred Broy, Andreas Rausch, Marc Sihling, Marco Kuhrmann
IT-Projekte erfolgreich mit dem neuen V-Modell XT , 2005 Tech_Report | 875 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Bernhard Schätz, Andreas Fleischmann, Eva Geisberger, Markus Pister
Model-Based Requirements Engineering with AutoRAID ,pp. 511-516, , 2005 Conference | 912 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
Harald Fecher, Martin Leucker, Verena Wolf
Don\'t know in probabilistic systems , 2005 Tech_Report | 1022 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
T. Tuerk
A Hierarchy for Accellera's Property Specification Language University of Kaiserslautern, Department of Computer Science, 2005 | 1258 | Details | Bibtex-Eintrag |
Andreas Bauer, Markus Pizka
Tackling C++ Tail Calls C/C++ Users Journal,pp. 28 - 34, 2004 Article | 798 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Andreas Fleischmann, Eva Geisberger, Markus Pister
Herausforderungen fuer das Requirements Engineering eingebetteter Systeme , 2004 Tech_Report | 852 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Benedikt Bollig, Martin Leucker
Verifying qualitative properties of probabilistic programs Validation of Stochastic Systems,pp. 124--146, Springer, 2004 Article | 1034 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Peter Braun, Frank Marschall
BOTL - The Bidirectional Objekt Oriented Transformation Language , 2003 Tech_Report | 511 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
Gerwin Klein, Martin Wildmoser
Verified Bytecode Subroutines Journal of Automated Reasoning,Kluwer Academic Press, 2003 Article | 535 | Details | Bibtex-Eintrag |
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 |
Norbert Schirmer
Analysing the Java Package/Access Concepts in Isabelle/HOL Concurrency and Computation: Practice and Experience,2003 Article | 537 | Details | Bibtex-Eintrag |
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 |
Jan Jürjens, Johannes Grünbauer
Critical Systems Development with UML: Overview with Automotive Case-study ,ACIS, 2003 Conference | 547 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
Jan Jürjens
Developing safety-critical systems with UML UML 2003, San Francisco,Springer-Verlag, 2003 Conference | 593 | Details | Bibtex-Eintrag |
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 |
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 |
B. Rumpe
E-Business Experiences with Online Auctions Managing E-Commerce and Mobile Computing Technologies,IRM Press, 2003 Inbook | 619 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps
Model-Based Development of Embedded Systems , 2002 Tech_Report | 355 | Details | Bibtex-Eintrag |
Alexander Pretschner, Jan Philipps
Szenarien modellbasierten Testens , 2002 Tech_Report | 356 | Details | Bibtex-Eintrag |
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 |
Ingolf Krüger, Wolfgang Prenninger, Robert Sandner
Semantics of Broadcast MSCs Semantic Foundations of Engineering Design Languages (SFEDL),2002 Publication | 358 | Details | Bibtex-Eintrag |
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 |
Jan Jürjens
UMLsec: Extending UML for Secure Systems Development UML 2002, Dresden,pp. 412 - 425, Springer-Verlag, 2002 Conference | 365 | Details | Bibtex-Eintrag |
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 |
Jan Jürjens
Methodische Entwicklung sicherer CORBA-Anwendungen ,IT-Verlag, 2002 Conference | 375 | Details | Bibtex-Eintrag |
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 |
Jan Jürjens
A UML statecharts semantics with message-passing Symposium of Applied Computing (SAC 2002), Madrid,ACM, 2002 Conference | 377 | Details | Bibtex-Eintrag |
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 |
Jan Jürjens
Games in the Semantics of Programming Languages Journal Synthese, Nos. 1-2,Kluwer, 2002 Article | 386 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
Markus Pizka, Christian Rehn
Heaps and Stacks in Distributed Shared Memory 16th Int. Parallel & Distributed Processing Sysmposium - IPDPS,2002 Conference | 392 | Details | Bibtex-Eintrag |
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 |
Franz Huber, Jan Philipps, Oscar Slotosch
Model-based development of embedded systems Embedded Intelligence,WEKA Fachzeitschriften-Verlag, 2002 Conference | 454 | Details | Bibtex-Eintrag |
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 |
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 |
Peter Dornbusch, Maximilian Zündt
Realisierung von Positionsortungen in WLAN ,VDE Verlag, 2002 Conference | 478 | Details | Bibtex-Eintrag |
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 |
I. Krüger, W. Prenninger, R. Sandner
Development of an Autonomous Transport System using UML-RT , 2002 Tech_Report | 487 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
M. Pizka, B. Rumpe, T.Seifert
Workshop Agile Methodologies Experience Virtuelles Software Engineering Kompetenzzentrum VISEK.de,2002 Tech_Report | 315 | Details | Bibtex-Eintrag |
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 |
David von Oheimb
Analyzing Java in Isabelle/HOL: Formalization, Type Safety and Hoare Logic , 2001 PHDthesis | 288 | Details | Bibtex-Eintrag |
David von Oheimb
Hoare Logic for {J}ava in {Isabelle/HOL} Concurrency: Practice and Experience,Wiley, 2001 Article | 289 | Details | Bibtex-Eintrag |
Bernhard Rumpe
Extreme Programming - Back to Basics? ,pp. 121 - 131, GI-Edition, Lecture Notes in Informatics, 2001 Conference | 290 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Jan Jürjens
Encapsulating Rules of Prudent Security Engineering International Workshop on Security Protocols, Cambridge,Springer-Verlag, 2001 Conference | 370 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Jan Jürjens
Secrecy-preserving Refinement Formal Methods Europe (FME) 2001, International Symposium, Berlin,Springer-Verlag, 2001 Conference | 383 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
Markus Pizka
A Glimpse On Generative Programming From the Operating Systems Perspective ,2001 Conference | 394 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin
SysLab - Abschlußbericht , 2000 Tech_Report | 269 | Details | Bibtex-Eintrag |
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 |
Max Breitling, Jan Philipps
Verification Diagrams for Dataflow Properties , 2000 Tech_Report | 274 | Details | Bibtex-Eintrag |
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 |
Max Breitling, Jan Philipps
Diagrams for Dataflow ,Shaker Verlag, 2000 Publication | 276 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Thomas Stauner
Extending HyCharts with state-invariants Proc. of GI workshop Rigorose Entwicklung software-intensiver Systeme,, 2000 Conference | 284 | Details | Bibtex-Eintrag |
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 |
Thomas Stauner
Properties of Hybrid Systems - a Computer Science Perspective , 2000 Tech_Report | 287 | Details | Bibtex-Eintrag |
Robert Sandner
Developing Distributed Systems Step by Step with UML-RT ,pp. 43 - 50, , 2000 Conference | 292 | Details | Bibtex-Eintrag |
Max Breitling, Jan Philipps
Transitions into Black Box Views - The NetBill Protocol revisited - , 2000 Tech_Report | 299 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Gertrud Bauer, Markus Wenzel
Computer-Assisted Mathematics at Work - The Hahn-Banach Theorem in Isabelle/Isar ,Springer, 2000 Conference | 554 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Thomas Stauner, Bernhard Rumpe, Peter Scholz
Hybrid System Model , 1999 Tech_Report | 223 | Details | Bibtex-Eintrag |
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 |
Radu Grosu, Ingolf Krüger, Thomas Stauner
Hybrid Sequence Charts , 1999 Tech_Report | 234 | Details | Bibtex-Eintrag |
Ingolf Krüger
Towards the Methodical Usage of Message Sequence Charts ,pp. 123 - 134, Herbert Utz Verlag, 1999 Conference | 235 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
Johann Schumann, Max Breitling
Formalisierung und Beweis einer Verfeinerung aus FOCUS mit automatischen Theorembeweisern - Fallstudie - , 1999 Tech_Report | 241 | Details | Bibtex-Eintrag |
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 |
Christian Lesny, Franz Huber, Bernhard Rumpe
Frisco F- Eine funktionale, logische und algebraische Spezifikationssprache , 1999 Tech_Report | 246 | Details | Bibtex-Eintrag |
Editoren: Robert France , Bernhard Rumpe
< Proceedings of the Second International Conference in Fort Collins, Colorado, USA,Springer Verlag Berlin, 1999 Book | 247 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
Tobias Hamberger
Integrating Theorem Proving and Model Checking in {I}sabelle/{IOA} 1999 Tech_Report | 256 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
Thomas Stauner
Specification of (parts of) a Lip-Sync Protocol Using HyCharts ,Herbert Utz Verlag Wissenschaft, 1999 Conference | 260 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Wills
The Amsterdam Manifesto on OCL , 1999 Tech_Report | 264 | Details | Bibtex-Eintrag |
Max Breitling, Jan Philipps
Black Box Views of State Machines , 1999 Tech_Report | 266 | Details | Bibtex-Eintrag |
S. Kent, A. Evans, B. Rumpe
UML Semantics FAQ Object-Oriented Technology, ECOOP'99 Workshop Reader,Springer Verlag, 1999 Conference | 267 | Details | Bibtex-Eintrag |
Gerhard Popp, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin
Internet Buchhandel - Eine UML Fallstudie , 1999 Tech_Report | 270 | Details | Bibtex-Eintrag |
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 |
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 |
Robert Sandner, Michael Mauderer
Integrierte Beschreibungstechniken für automatisierte Produktionsanlagen - eine Evaluierung praxisnaher Beschreibungstechniken , 1999 Tech_Report | 293 | Details | Bibtex-Eintrag |
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 |
Markus Pizka
Integriertes Management erweiterbarer verteilter Systeme 1999 PHDthesis | 396 | Details | Bibtex-Eintrag |
Markus Pizka
Thread Segment Stacks Proc. of PDPTA '99,1999 PHDthesis | 397 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
V. Thurner, A. Erni
CAiSE*98 DC: 5th Doctoral Consortium on Advanced Information Systems Engineering , 1998 Conference | 435 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
R. Breu, R. Grosu
Modeling the Dynamic Behavior of Objects - On Events, Messages and Methods , 1998 Tech_Report | 181 | Details | Bibtex-Eintrag |
Manfred Broy
Compositional Refinement of Interactive Systems Modelled by Relations International Symposium Compositionality,pp. 130 - 149, Springer, 1998 Conference | 182 | Details | Bibtex-Eintrag |
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 |
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 |
Barbara Paech
Plädoyer für ein einheitliches Grundgerüst bei der System- und Softwaremodellierung ,pp. 9 - 15, , 1998 Conference | 190 | Details | Bibtex-Eintrag |
Ursula Hinkel
Home Shopping - Die Spezifikation einer Kommunikationsanwendung in Focus , 1998 Tech_Report | 192 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
B. Paech
On the Role of Activity Diagrams in UML Int. Workshop, UML'98, Mulhouse,ESSAIM, 1998 Conference | 199 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
Franz Huber, Bernhard Schätz
Specification Modules for Methodical System Development ,pp. 75 - 86, Shaker Verlag, Aachen, 1998 Conference | 203 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
Editoren: Manfred Broy, Bernhard Rumpe
Requirements Targeting Software and Systems Engineering International Workshop RTSE'97, Proceedings,Springer-Verlag, 1998 Book | 207 | Details | Bibtex-Eintrag |
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 |
Katharina Spies
Eine Methode zur formalen Modellierung von Betriebssystemkonzepten , 1998 PHDthesis | 211 | Details | Bibtex-Eintrag |
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 |
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 |
Michael Fahrmair, Bernhard Rumpe
Frisco STDA - Werkzeug zur methodischen Bearbeitung von Automaten , 1998 Tech_Report | 214 | Details | Bibtex-Eintrag |
Ursula Hinkel
Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL Dissertation, 1998 PHDthesis | 215 | Details | Bibtex-Eintrag |
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 |
Bernhard Rumpe
Formale Methodik des Entwurfs verteilter objektorientierter Systeme Ausgezeichnete Informatikdissertationen,B. G. Teubner Stuttgart, 1998 Inbook | 217 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
Radu Grosu, Thomas Stauner
Modular and Visual Specification of Hybrid Systems -- An Introduction to HyCharts , 1998 Tech_Report | 224 | Details | Bibtex-Eintrag |
Franz Huber, Andreas Rausch, Bernhard Rumpe
Component Interface Diagrams: Putting Components to Work , 1998 Tech_Report | 225 | Details | Bibtex-Eintrag |
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 |
Bernhard Deifel
Theoretische und praktische Ansätze im Requirements Engineering für Standardsoftware und Anlagenbau , 1998 Tech_Report | 227 | Details | Bibtex-Eintrag |
Bernhard Schätz
Ein methodischer Übergang von asynchron zu synchron kommunizierenden Systemen , 1998 PHDthesis | 229 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
M. Broy
Refinement of Time Transformation-Based Reactive System Development, ARTS'97,pp. 44 - 63, TCS, 1997 Conference | 1 | Details | Bibtex-Eintrag |
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 |
Haim Kilov, Bernhard Rumpe
ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modeling Techniques , 1997 Tech_Report | 33 | Details | Bibtex-Eintrag |
M. Broy
Requirements Engineering for Embedded Systems FemSys'97,1997 Conference | 37 | Details | Bibtex-Eintrag |
Franz Huber, Bernhard Schätz
Rapid Prototyping with AutoFocus ,pp. 343 - 352, GMD Verlag (St. Augustin), 1997 Conference | 48 | Details | Bibtex-Eintrag |
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 |
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 |
M. Broy
Mathematical Methods in System and Software Engineering Mathematical Methods in Program Development,Springer, 1997 Publication | 64 | Details | Bibtex-Eintrag |
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 |
Ursula Hinkel, Katharina Spies
Spezifikationsmethodik für mobile, dynamische FOCUS-Netze ,GMD Verlag (St.Augustin), 1997 Publication | 66 | Details | Bibtex-Eintrag |
Christian Prehofer
Feature-Oriented Programming: A Fresh Look at Objects Proceedings of ECOOP'97,Springer, 1997 Publication | 81 | Details | Bibtex-Eintrag |
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 |
Bernhard Rumpe
Formale Methodik des Entwurfs verteilter objektorientierter Systeme , 1997 PHDthesis | 92 | Details | Bibtex-Eintrag |
Stefan Loidl, Ekkart Rudolph, Ursula Hinkel
MSC'96 and Beyond - a Critical Look SDL Forum 97,Elsevier, 1997 Publication | 95 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
Volkmar Lotz
Threat Scenarios as a Means to Formally Develop Secure Systems , 1997 Tech_Report | 136 | Details | Bibtex-Eintrag |
V. Thurner
A Formally Founded Description Technique for Business Processes , 1997 Tech_Report | 434 | Details | Bibtex-Eintrag |
Barbara Paech
A Framework for Interaction Description with Roles , 1997 Tech_Report | 139 | Details | Bibtex-Eintrag |
Klaus Bergner, Andreas Rausch, Marc Sihling
Using UML for Modeling a Distributed Java Application , 1997 Tech_Report | 140 | Details | Bibtex-Eintrag |
Manfred Broy, Max Breitling, Bernhard Schätz, Katharina Spies
Summary of Case Studies in Focus - Part II , 1997 Tech_Report | 141 | Details | Bibtex-Eintrag |
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 |
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 |
Veronika Thurner
Business Process Modeling in Software Development CAiSE'97 Doctoral Consortium, Fachbericht Informatik 14/97,, 1997 Conference | 156 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
Oscar Slotosch
Refinements in HOLCF: Implementation of Interactive Systems Verlag Dr. Kovac, 1997 PHDthesis | 160 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
Christian Prehofer
From Inheritance to Feature Interaction or Composing Monads , 1997 Tech_Report | 164 | Details | Bibtex-Eintrag |
Manfred Broy
The Specification of System Components by State Transition Diagrams , 1997 Tech_Report | 165 | Details | Bibtex-Eintrag |
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 |
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 |
Editoren: Manfred Broy, Ernst Denert, Klaus Renzel, Monika Schmidt
Software Architectures and Design Patterns in Business Applications , 1997 Tech_Report | 169 | Details | Bibtex-Eintrag |
Jan Philipps, Bernhard Rumpe
Stepwise Refinement of Data Flow Architectures Software Architectures and Design Patterns in Business Applications,, 1997 Conference | 171 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
R. Grosu, K. Stoelen
Compositional Specification of Mobile Systems , 1997 Tech_Report | 180 | Details | Bibtex-Eintrag |
Alexander Vilbig, Bernd Deifel, Sascha Molterer, Andreas Rausch, Marc Sihling
Using the SysLab Method - A Case Study , 1997 Tech_Report | 183 | Details | Bibtex-Eintrag |
Klaus Bergner, Franz Huber, Andreas Rausch, Marc Sihling
Component-Oriented Redesign of the CASE-Tool AutoFocus , 1997 Tech_Report | 184 | Details | Bibtex-Eintrag |
Haim Kilov, Bernhard Rumpe, Ian Simmonds
OOPSLA'97 Workshop on Object-Oriented Behavioral Semantics , 1997 Tech_Report | 186 | Details | Bibtex-Eintrag |
Olaf Müller
Treating Partiality in a Logic of Total Functions The Computer Journal,Oxford University Press, 1997 Article | 188 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
Manfred Broy, Franz Regensburger, Bernhard Schätz, Katharina Spies
The Steamboiler Specification - A Case Study in Focus , 1997 Tech_Report | 230 | Details | Bibtex-Eintrag |
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 |
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 |
Markus Pizka
Design And Implementation of the GNU INSEL-Compiler gic pp. 64, , 1997 Tech_Report | 401 | Details | Bibtex-Eintrag |
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üs and Applications - PDPTA'97 ,pp. 87 - 96, 1997 Conference | 402 | Details | Bibtex-Eintrag |
S. Groh, Markus Pizka
A Different Approach to Resource Management in Distributed Systems Proc. of the Int. Conf. on Parallel and Distributed Processing Techniqüs and Applications - PDPTA,1997 Conference | 403 | Details | Bibtex-Eintrag |
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 |
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 |
Max Breitling
Fomalizing and Verifying TimeWarp with FOCUS , 1997 Tech_Report | 412 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
Manfred Broy
Algebraic Specification of Reactive Systems Algebraic Methodology and Software Technology,pp. 487 - 503, Springer, 1996 Conference | 18 | Details | Bibtex-Eintrag |
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 |
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 |
M. Broy
Formal Description Techniques - How Formal and Descriptive are they FORTE IX,pp. 95 - 112, Chapman & Hall, 1996 Publication | 35 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
Franz Huber, Bernhard Schätz, Katharina Spies
AutoFocus - Ein Werkzeugkonzept zur Beschreibung verteilter Systeme ,, 1996 Conference | 57 | Details | Bibtex-Eintrag |
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 |
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 |
Barbara Paech
Algebraic View Specification AMAST96: Algebraic Methodology and Software Technology,1996 Conference | 77 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Ketil Stoelen
Refinement Principles Supporting the Transition from Asychronous to Synchronous Communications Science of Computer Programming,1996 Article | 109 | Details | Bibtex-Eintrag |
Dieter Nazareth, Franz Regensburger, Peter Scholz
Mini-Statecharts: A Lean Version of Statecharts , 1996 Tech_Report | 124 | Details | Bibtex-Eintrag |
Christian Facchi, Markus Haubner, Ursula Hinkel
The SDL Specification of the Sliding Window Protocol Revisited. , 1996 Tech_Report | 125 | Details | Bibtex-Eintrag |
Christian Facchi
How to Improve the Service Specifications of the ISO/OSI Basic Reference Model. , 1996 Tech_Report | 126 | Details | Bibtex-Eintrag |
Manfred Broy, Gheorghe Stefanescu
The Algebra of Stream Processing Functions. , 1996 Tech_Report | 127 | Details | Bibtex-Eintrag |
Olaf Müller, Peter Scholz
Specification of Real-Time and Hybrid Systems in FOCUS. , 1996 Tech_Report | 128 | Details | Bibtex-Eintrag |
Peter Scholz
An Extended Version of Mini-Statecharts. , 1996 Tech_Report | 129 | Details | Bibtex-Eintrag |
Radu Grosu, Cornel Klein, Bernhard Rumpe, Manfred Broy
State Transition Diagrams. , 1996 Tech_Report | 130 | Details | Bibtex-Eintrag |
Radu Grosu, Cornel Klein, Bernhard Rumpe
Enhancing the SysLab System Model with State. , 1996 Tech_Report | 131 | Details | Bibtex-Eintrag |
R. Hettler
Description Techniques for Data in the SysLab Method , 1996 Tech_Report | 132 | Details | Bibtex-Eintrag |
Ursula Hinkel, Katharina Spies
Anleitung zur Spezifikation von mobilen, dynamischen FOCUS-Netzen , 1996 Tech_Report | 133 | Details | Bibtex-Eintrag |
Christoph Hofmann, Eckart Horn, Wolfgang Keller, Klaus Renzel, Monika Schmidt
The Field of Software Architecture , 1996 Tech_Report | 134 | Details | Bibtex-Eintrag |
Alexander B. Schmidt, Franz Huber
Softwaretechnik - Praxiserfahrung im Studium ,pp. 22 - 24, , 1996 Article | 143 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
Henrik Linnestad, Christian Prehofer und Olav Lysne
High-Order Proof by Consistency Springer-Verlag, 1996 Publication | 408 | Details | Bibtex-Eintrag |
Radu Grosu, Ketil Stolen
A Denotational Model for Mobile Many-to-Many Data-flow Networks , 1996 Tech_Report | 411 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
Manfred Broy
Mathematical System Models as a Basis of Software Engineering Computer Science Today,pp. 292 - 306, Springer, 1995 Article | 19 | Details | Bibtex-Eintrag |
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 |
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 |
Claus Dendorfer
Methodik funktionaler Systementwicklung , 1995 PHDthesis | 26 | Details | Bibtex-Eintrag |
Christian Facchi
Methodik zur formalen Spezifikation des ISO/OSI Schichtenmodells Herbert Utz Verlag Wissenschaft, 1995 PHDthesis | 27 | Details | Bibtex-Eintrag |
Thomas Gritzner
wp-Kalkül und relationale Spezifikation kommunizierender Systeme , 1995 PHDthesis | 28 | Details | Bibtex-Eintrag |
Rudi Hettler
Entity/Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen Tectum-Verlag Marburg, 1995 PHDthesis | 29 | Details | Bibtex-Eintrag |
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 |
Tobias Nipkow, Christian Prehofer
Type Reconstruction for Type Classes Functional Programming,1995 Article | 72 | Details | Bibtex-Eintrag |
Tobias Nipkow, Konrad Slind
I/O Automata in Isabelle/HOL Proc. of Types for Proofs and Programs,1995 Conference | 73 | Details | Bibtex-Eintrag |
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 |
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 |
Bernhard Rumpe, Cornel Klein, Manfred Broy
Ein strombasiertes mathematisches Modell verteilter informationsverarbeitender Systeme - Syslab Systemmodell - , 1995 Tech_Report | 88 | Details | Bibtex-Eintrag |
Franz Regensburger
HOLCF: Higher Order Logic of Computable Functions Higher Order Logic Theorem Proving and Its Application (HOL95),1995 Publication | 91 | Details | Bibtex-Eintrag |
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 |
Ketil Stoelen
A Refinement Relation Supporting the Transition from Unbounded to Bounded Communication Buffers Proceedings MPC'95,1995 Conference | 107 | Details | Bibtex-Eintrag |
Ketil Stoelen
Development of SDL Specifications in Focus Proceedings SDL Forum 95,1995 Conference | 108 | Details | Bibtex-Eintrag |
Christian Prehofer
Solving Higher-Order Equations: From Logic to Programming , 1995 PHDthesis | 114 | Details | Bibtex-Eintrag |
Oscar Slotosch
Implementing the Change of Data Structures with SPECTRUM in the Framework of KORSO Development Graphs , 1995 Tech_Report | 115 | Details | Bibtex-Eintrag |
Max Fuchs
Formal Design of a Modulo-N Counter , 1995 Tech_Report | 116 | Details | Bibtex-Eintrag |
Dieter Nazareth
A Polymorphic Sort System for Axiomatic Specification Languages , 1995 PHDthesis | 117 | Details | Bibtex-Eintrag |
Ketil Stoelen, Max Fuchs
A Formal Method for Hardware/Software Co-Design , 1995 Tech_Report | 118 | Details | Bibtex-Eintrag |
Radu Grosu, Ketil Stølen
A Denotational Model for Mobile Point-to-Point Dataflow Networks , 1995 Tech_Report | 119 | Details | Bibtex-Eintrag |
Bernhard Schätz, Katharina Spies
Formale Syntax zur logischen Kernsprache der FOCUS-Entwicklungsmethodik , 1995 Tech_Report | 120 | Details | Bibtex-Eintrag |
Radu Grosu, Bernhard Rumpe
Concurrent Timed Port Automata , 1995 Tech_Report | 121 | Details | Bibtex-Eintrag |
Ketil Stoelen
Refinement Principles Supporting the Transition from Asynchronous to Synchronous Communication , 1995 Tech_Report | 122 | Details | Bibtex-Eintrag |
Christian Facchi
Formal Semantics of Time Sequence Diagrams , 1995 Tech_Report | 123 | Details | Bibtex-Eintrag |
Ketil Stoelen
Assumption/Commitment Rules for Data-flow Networks --- with an Emphasis on Completeness. , 1995 Tech_Report | 142 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
Martin Abadi, Stephan Merz
An Abstract Account of Composition Mathematical Foundations of Computer Science,Springer, 1995 Article | 153 | Details | Bibtex-Eintrag |
Martin Abadi, Stephan Merz
On TLA as a logic Deductive Program Design,Springer, 1995 Article | 154 | Details | Bibtex-Eintrag |
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 |
R. Grosu, K. Stoelen
A Denotational Model for Mobile Point-to-Point Data-flow Networks , 1995 Tech_Report | 178 | Details | Bibtex-Eintrag |
Manfred Broy
On the Design and Verification of a Simple Distributed Spanning Tree Algorithm , 1995 Tech_Report | 409 | Details | Bibtex-Eintrag |
Manfred Broy
Characterizing the Behavior of Reactive Systems by Trace Sets , 1995 Tech_Report | 410 | Details | Bibtex-Eintrag |
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 |
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 |
Manfred Broy, Ketil Stoelen
Specification and Refinement of Finite Dataflow Networks - A Relational Approach , 1994 Tech_Report | 9 | Details | Bibtex-Eintrag |
Manfred Broy
A Functional Rephrasing of the Assumption/Commitment Specification Style , 1994 Tech_Report | 10 | Details | Bibtex-Eintrag |
Manfred Broy, Michal Walicki
Structured Specifications and Implementation of Nondeterministic Data Types , 1994 Tech_Report | 11 | Details | Bibtex-Eintrag |
Manfred Broy
Specification and Refinement of a Buffer of Length One Deductive Program Design,pp. 273 - 304, Springer, 1994 Conference | 15 | Details | Bibtex-Eintrag |
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 |
Franz Regensburger
HOLCF: eine konservative Erweiterung von HOL um LCF , 1994 PHDthesis | 30 | Details | Bibtex-Eintrag |
Birgit Schieder
Logic and Proof Method of Recursion , 1994 PHDthesis | 31 | Details | Bibtex-Eintrag |
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 |
Max Fuchs
Technologieabhängigkeit von Spezifikationen digitaler Hardware , 1994 Tech_Report | 39 | Details | Bibtex-Eintrag |
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 |
Radu Grosu, Franz Regensburger
The Logical Framework of SPECTRUM , 1994 Tech_Report | 43 | Details | Bibtex-Eintrag |
Radu Grosu
Concurrent Object Oriented Programming , 1994 Tech_Report | 44 | Details | Bibtex-Eintrag |
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 |
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 |
Rudi Hettler
A Requirement Specification for a Lexical Analyser , 1994 Tech_Report | 53 | Details | Bibtex-Eintrag |
Rudi Hettler, Dieter Nazareth, Franz Regensburger, Oscar Slotosch
AVL Trees Revisited: A Case Study in SPECTRUM , 1994 Tech_Report | 54 | Details | Bibtex-Eintrag |
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 |
Christian Prehofer
Decidable Higher-order Unification Problems Automated Deduction CADE-12, 12th International Conference on Automated Deduction,Springer, 1994 Conference | 80 | Details | Bibtex-Eintrag |
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 |
Christian Prehofer
On Modularity in Term Rewriting and Narrowing 1st International Conference on Constraints in Computational Logics,Springer, 1994 Conference | 84 | Details | Bibtex-Eintrag |
Franz Regensburger
The calculus of SPECTRUM , 1994 Tech_Report | 90 | Details | Bibtex-Eintrag |
Katharina Spies
Funktionale Spezifikation eines Kommunikationsprotokolls , 1994 Tech_Report | 103 | Details | Bibtex-Eintrag |
Gheorghe Stefanescu
Algebra of Flownomials. , 1994 Tech_Report | 104 | Details | Bibtex-Eintrag |
Radu Grosu, Dieter Nazareth
The Specification Language Spectrum - Core Language Report V1.0 , 1994 Tech_Report | 111 | Details | Bibtex-Eintrag |
Maximilian Fuchs
Technologieabhängigkeit von Spezifikationen digitaler Hardware , 1994 PHDthesis | 112 | Details | Bibtex-Eintrag |
Radu Grosu
Concurrent Object Oriented Programming , 1994 PHDthesis | 113 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
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 |
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 |
Manfred Broy
(Inter-)Action Refinement: The Easy Way Program Design Calculi,Springer NATO ASI Series, 1993 Inbook | 14 | Details | Bibtex-Eintrag |
Max Fuchs, Ketil Stølen
Development of a Distributed Min/Max Component , 1993 Tech_Report | 38 | Details | Bibtex-Eintrag |
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 |
Rudi Hettler
Zur Übersetzung von E/R-Schemata nach SPECTRUM , 1993 Tech_Report | 52 | Details | Bibtex-Eintrag |
Heinrich Hußmann
Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem , 1993 Tech_Report | 58 | Details | Bibtex-Eintrag |
Dieter Nazareth
A Universally Polymorphic Specification Language -- A Brief Informal Introduction Programmiersprachen und Grundlagen der Programmierung,1993 Article | 68 | Details | Bibtex-Eintrag |
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 |
Tobias Nipkow, Christian Prehofer
Type Checking Type Classes Proc. 20th ACM Symp. Principles of Programming Languages,ACM Press, 1993 Conference | 71 | Details | Bibtex-Eintrag |
Ketil Stoelen, Frank Dederichs, Rainer Weber
Assumption/Commitment Rules for Networks of Asynchronously Communicating Agents , 1993 Tech_Report | 97 | Details | Bibtex-Eintrag |
Oscar Slotosch, F. Nickl, S. Merz, Heinrich Hußmann, Rudi Hettler
Die funktionale Essenz von HDMS-A , 1993 Tech_Report | 100 | Details | Bibtex-Eintrag |
Wolfgang Bartsch, Ernst Denert
Objektorientierte Spezifikation: Konzepte und eine Notation ,Springer-Verlag, 1993 Article | 146 | Details | Bibtex-Eintrag |
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 |
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 |
Manfred Broy
Compositional Refinement of Interactive Systems DIGITAL Systems Research Center SRC 89,1992 Publication | 12 | Details | Bibtex-Eintrag |
Frank Dederichs
Transformation verteilter Systeme: Von applikativen zu prozeduralen Darstellungen , 1992 PHDthesis | 25 | Details | Bibtex-Eintrag |
Rainer Weber
Eine Methodik für die formale Anforderungsspezifikation verteilter Systeme , 1992 PHDthesis | 32 | Details | Bibtex-Eintrag |
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 |
Rudi Hettler
Spezifikation des UNIX Datei- und Variablensystems Eine SPECTRUM Fallstudie , 1992 Tech_Report | 51 | Details | Bibtex-Eintrag |
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 |
Max Fuchs
Funktionale Spezifikation einer Geschwindigkeitsregelung , 1992 Tech_Report | 416 | Details | Bibtex-Eintrag |
Sergei Gorlatch
Parallel Program Development for a Recursive Numerical Algorithm: a Case Study , 1992 Tech_Report | 417 | Details | Bibtex-Eintrag |
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 |
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 |
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 |
Frank Leßke
On constructive specifications of abstract data types using temporal logic , 1991 Tech_Report | 62 | Details | Bibtex-Eintrag |
Claus Dendofer
Funktionale Modellierung eines Postsystems , 1991 Tech_Report | 420 | Details | Bibtex-Eintrag |
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 |
M. Broy
Das Mißverständnis ”Künstliche Intelligenz” ,pp. 65 - 78, S. Hirzel, Stuttgart, 1990 Article | 633 | Details | Bibtex-Eintrag |