TU München - Fakultät für
Informatik
Lehrstuhl IV: Software & Systems Engineering
|
|
TU München - Fakultät für
Informatik |
|
|
Home | Forschung/Kompetenz | Lehre | Personen | Publikationen | Sonstiges | Kontakt | |
|
|
 |
 |
|
Norbert Diernhofer
Windows Mobile 6 und Asterisk Technische Universität München, 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, Technische Universität München, 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 1. Workshop: Integration von heterogenen Werkzeugen im agilen Zeitalter (IntegrA 08) im Rahmen der Software-Engineering-Konferenz 2008, München ,2008 Conference | 1060 | Details | Bibtex-Eintrag |
|
Marco Kuhrmann, Georg Kalus
Werkzeugspezifisches Tailoring für das V-Modell XT Technische Universität München, 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 Proceedings des 15. Workshop der Fachgruppe WI-VM der Gesellschaft für Informatik e.V. (GI),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 Proceedings des 15. Workshop der Fachgruppe WI-VM der Gesellschaft für Informatik e.V. (GI),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 Article | 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 Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. Halbtägiger Workshop in Zusammenhang mit der SE Konferenz 2008,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 Workshop-Band Software-Qualitätsmodellierung und -bewertung (SQMB \'08),Technische Universität München, 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) Technische Universität München, 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 Workshop-Band Software-Qualitätsmodellierung und -bewertung (SQMB \'08),Technische Universität München, 2008 Conference | 1079 | Details | Bibtex-Eintrag |
|
Jewgenij Botaschanjan, Alexander Harhurin, Leonid Kof
Service-Based Specification of Reactive Systems Technische Universität München, 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 | 1083 | Details | Bibtex-Eintrag |
|
David Bettencourt da Cruz, Birgit Penzenstadler
Designing, Documenting, and Evaluating Software Architecture pp. 45, Technische Universität München, Institut für Informatik, 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 Technische Universität München, 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 and Martin Feilkas and Johannes Grünbauer and Alexander Gruler and Alexander Harhurin and Judith Hartmann and Birgit Penzenstadler and Bernhard Schätz and Doris Wild
Umfassendes Architekturmodell für das Engineering eingebetteter Software-intensiver Systeme Technische Universität München, 2008 Tech_Report | 1091 | 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 Article | 1093 | Details | Bibtex-Eintrag |
|
Franz Huber, Tobias Schröpf
Hochverfügbarkeit für Linux Technische Universität München, 2008 Tech_Report | 1094 | Details | Bibtex-Eintrag |
|
Martin Fritzsche, Manfred Broy
Criteria for the Evaluation of Requirements Engineering Methods in a Change Intensive Environment Technische Universität München, 2008 Tech_Report | 1095 | Details | Bibtex-Eintrag |
|
Michael Meisinger, Sabine Rittmann
A comparison of service-oriented development approaches Technische Universität München, 2008 Tech_Report | 1096 | 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,Fakultät für Informatik, Technische Universität Braunschweig, 2007 Conference | 970 | Details | Bibtex-Eintrag |
|
Norbert Diernhofer, Thomas Schneider
Virtualisierungslösungen für IT-Dienste – verschiedene Ebenen und Konzepte Technische Universität München, 2007 Tech_Report | 971 | Details | Bibtex-Eintrag |
|
Norbert Diernhofer, Christoph Erdle
Modellbasierttes Softwaredeployment - Installation On-Demand Zentrum für Softwarekonzepte TU München, 2007 Tech_Report | 972 | Details | Bibtex-Eintrag |
|
Norbert Diernhofer
Hochverfügbare Dienste mit Windows Bordmitteln - Windows Network Load Balancing ZfS/Technische Universität München, 2007 Tech_Report | 973 | Details | Bibtex-Eintrag |
|
Norbert Diernhofer
Das Zentrum für Softwarekonzepte an der TU München vernetzt Wissenschaft und Mittelstand IT Szene München,pp. 34-35, GI/GChACM, 2007 Article | 974 | Details | Bibtex-Eintrag |
|
Norbert Diernhofer, Christoph Erdle
Hochverfügbarkeit & Virtualisierung - Architektur Technische Universität München, 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) iX - Magazin für professionelle Informationstechnik,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 institution=Technische Universität München, 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 Technische Universität München, 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 Technische Universität München, 2007 Tech_Report | 987 | Details | Bibtex-Eintrag |
|
Marco Kuhrmann
Prozessintegration und -anpassung Technische Universität München, 2007 Tech_Report | 990 | Details | Bibtex-Eintrag |
|
Editoren: Reinhard Höhn, Marco Kuhrmann, Roland Petrasch, Stephan Höppner
Vorgehensmodelle und Projektmanagement - Assesment, Zertifizierung, Akkreditierung Proceedings des 14. Workshop der Fachgruppe WI-VM der Gesellschaft für Informatik e.V. (GI),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 Proceedings des 14. Workshop der Fachgruppe WI-VM der Gesellschaft für Informatik e.V. (GI),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) iX - Magazin für professionelle Informationstechnik,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” Technische Universität München, 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 Technische Universität München, 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 Technische Universität München, 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 Proceedings zum Workshop anlässlich der 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI),pp. 287--326, Gesellschaft für Informatik, 2007 Inbook | 1046 | Details | Bibtex-Eintrag |
|
Marco Kuhrmann, Norbert Diernhofer, Marcus Alt
CollabXT – Prozessqualität durch Werkzeugunterstützung etablieren und steigern – Projektbericht – Informatik 2007 - Beiträge der 37. Jahrestagung der Gesellschaft für Informatik e.V.(GI), ,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 Modellierung von Beziehungen und Abhängigkeiten zwischen Geschäftsprozessmodellen, Softwarekomponenten und der IT-Infrastruktur ,Technische Universität München, 2007 PHDthesis | 1055 | Details | Bibtex-Eintrag |
|
Alexander Harhurin, Judith Hartmann
A Formal Approach to Specifying the Functionality of Software System Families Technische Universität München, 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{\\\"o}lzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann , Bernhard Sch{\\\"a}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 Kühnel, Maria Spichkova
FlexRay und FTCom: Formale Spezifikation in FOCUS Technische Universität München, 2006 Tech_Report | 913 | Details | Bibtex-Eintrag |
|
Marco Kuhrmann
Projektspezifische Anpassungen nach dem Tailoring des V-Modell XT durchführen 13. Workshop der Fachgruppe WI-VM der Gesellschaft für Informatik e.V. (GI) zum Thema: Nutzen und Nutzung von Vorgehensmodellen,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. Technische Universität München, 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 Technische Universität München, 2006 Tech_Report | 927 | Details | Bibtex-Eintrag |
|
Norbert Diernhofer
Verwaltung und Zuweisung von Druckern per Gruppenrichtlinie Technische Universität München, ZfS, 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 Technische Universität München, 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 Technische Universität München, 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 eGovernment Kompendium 2007, Referenzbuch für den Öffentlichen Sektor,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 IT Fokus - Magazin für Technisches Informationsmanagement,pp. 22-25, IT Verlag für Informationstechnik GmbH, 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 Informatik 2006 - Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V.(GI),pp. 103-109, 2006 Conference | 952 | Details | Bibtex-Eintrag |
|
Marco Kuhrmann, Bernhard Schätz, Andreas Rausch
Vorgehensmodelle in der Praxis - Formalisierung und Anwendung Proceedings zum Workshop anlässlich der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI),pp. 651-689, Gesellschaft für Informatik, 2006 Inbook | 953 | Details | Bibtex-Eintrag |
|
Marco Kuhrmann, Marc Sihling
Das V-Modell XT - Bundesstandard für Qualität in IT-Projekten IT-Szene München, Organ der GI/GChACM Regionalgruppe München,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 Technische Universität München, 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 Technische Universität München, 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 Technische Universität München, 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 |
|
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" Software Engineering 2005, Universität Duisburg-Essen,2005 Publication | 584 | Details | Bibtex-Eintrag |
|
Marco Kuhrmann, Dirk Niebuhr
Das V-Modell XT in der Praxis - IT-WiBe 12. Workshop der Fachgruppe WI-VM der Gesellschaft für Informatik e.V. (GI) zum Thema: Entscheidungsfall Vorgehensmodelle,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, © Springer-Verlag, 2005 Conference | 865 | Details | Bibtex-Eintrag |
|
María Victoria Cengarle, Alexander Knapp
Operational Semantics of UML 2.0 Interactions Technische Universität München, 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 Technische Universität München, 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 Technische Universität München, 2005 PHDthesis | 914 | Details | Bibtex-Eintrag |
|
Manfred Broy, Andreas Rausch, Marc Sihling, Marco Kuhrmann
IT-Projekte erfolgreich mit dem neuen V-Modell XT Technische Universität München, 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 Technische Universität München, 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, Gesellschaft für Informatik, 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 'Technische Universität München', 2005 Tech_Report | 886 | Details | Bibtex-Eintrag |
|
Marco Kuhrmann, Dirk Niebuhr, Christian Bartelt
Anwendung des V-Modell XT - Stand und Erfahrungen aus der Pilotierungsphase Informatik 2005 - Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V.(GI),pp. 259-263, Gesellschaft für Informatik, 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 iX - Magazin für professionelle Informationstechnik,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, Technische Universität München, 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 Workshop "Modellbasierte Qualitätssicherung" (QUAM),pp. 511-516, Bonner Köllen Verlag, 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 Technische Universität München, 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 |
|
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 In: Proceedings of the IASTED International Conference on Software Engineering, held February 17 – 19, 2004, Innsbruck, Austria.,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 11. Workshop der Fachgruppe WI-VM der Gesellschaft für Informatik e.V. (GI) zur Akzeptanz von Vorgehensmodellen,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 Technische Universität München, 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 Technische Universität München, 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 Technische Universität München, 2004 Tech_Report | 858 | Details | Bibtex-Eintrag |
|
Editoren: Gerd Beneken, Marco Kuhrmann, Markus Pizka, Tilman Seifert
Workshop Hot Spots der Software-Entwicklung Technische Universität München, 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, Technische Universität München, 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 Technische Universität München, 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 Third International Conference on Application of Concurrency to System Design (ACSD 03), Tool Session, Guimarães, Portugal,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 Modelle, Werkzeuge, Infrastrukturen zur Unterstützung von Entwicklungsprozessen,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 First Hanzhou-Lübeck Conference on Software Engineering (HL-SE'03),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 Technische Universität München, 2003 Tech_Report | 466 | Details | Bibtex-Eintrag |
|
Peter Dornbusch, Martin Huber
User-Toolkits zur dienstbasierten Entwicklung mobiler Applikationen Mobilität und Informationssysteme - Workshop über Mobile Datenbanken und Informationssystem, Zürich/Schweiz,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 LNI Security, E-Learning, E-Services; 17. DFN-Arbeitstagung über Kommunikationsnetze,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 | |
