2006
218.
Jens Kohlmeyer, Alexander Raschke, Ramin Tavakoli Kolagari
Eine qualitative Untersuchung zur Produktlinien-Integration über Organisationsgrenzen hinweg
Dokument Nummer: UIB-2006-03
Universität Ulm
März 2006
Eine qualitative Untersuchung zur Produktlinien-Integration über Organisationsgrenzen hinweg
Dokument Nummer: UIB-2006-03
Universität Ulm
März 2006
217.
Stefan Sarstedt
Model-Driven Development with ActiveCharts: Tutorial
Dokument Nummer: UIB-2006-01
Universität Ulm
März 2006
Model-Driven Development with ActiveCharts: Tutorial
Dokument Nummer: UIB-2006-01
Universität Ulm
März 2006
216.
Marc Meister
Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR
In Fink, M. and Tompits, H. and Woltran, S., Editor, Proceedings of WLP 2006, 20th Workshop on Logic ProgrammingausINFSYS Research Report, Seite 172-181
In Fink, M. and Tompits, H. and Woltran, S., Editor
Herausgeber: Technische Universität Wien
Februar 2006
Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR
In Fink, M. and Tompits, H. and Woltran, S., Editor, Proceedings of WLP 2006, 20th Workshop on Logic ProgrammingausINFSYS Research Report, Seite 172-181
In Fink, M. and Tompits, H. and Woltran, S., Editor
Herausgeber: Technische Universität Wien
Februar 2006
215.
Walter Guttmann, Bernhard Möller
Modal Design Algebra
In Dunne, S. and Stoddart, W., Editor, First International Symposium on the Unifying Theories of Programming (UTP 06), Seite 206-225
In Dunne, S. and Stoddart, W., Editor
Herausgeber: University of Teesside, United Kingdom
Februar 2006
Modal Design Algebra
In Dunne, S. and Stoddart, W., Editor, First International Symposium on the Unifying Theories of Programming (UTP 06), Seite 206-225
In Dunne, S. and Stoddart, W., Editor
Herausgeber: University of Teesside, United Kingdom
Februar 2006
214.
T. Schrijvers, B. Demoen, G. Duck, P. Stuckey, Thom Frühwirth
Automatic implication checking for CHR constraints
In Cirstea, H. and Martí-Oliet, N., Editor, Proceedings of the 6th International Workshop on Rule-Based Programming, RULE 2005Band147ausElectronic Notes in Theoretical Computer Science, Seite 93-111
In Cirstea, H. and Martí-Oliet, N., Editor
Januar 2006
Automatic implication checking for CHR constraints
In Cirstea, H. and Martí-Oliet, N., Editor, Proceedings of the 6th International Workshop on Rule-Based Programming, RULE 2005Band147ausElectronic Notes in Theoretical Computer Science, Seite 93-111
In Cirstea, H. and Martí-Oliet, N., Editor
Januar 2006
213.
Thom Frühwirth
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor, Recent Advances in Constraints, CSCLP 2005Band3978ausLecture Notes in Computer Science, Seite 14-28
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor
Herausgeber: Springer-Verlag
2006
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor, Recent Advances in Constraints, CSCLP 2005Band3978ausLecture Notes in Computer Science, Seite 14-28
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor
Herausgeber: Springer-Verlag
2006
212.
Thom Frühwirth
Constraint Handling Rules: The Story So Far
In Maher, M., Editor, Proceedings of the Eigth ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Seite 13-14
In Maher, M., Editor
Herausgeber: ACM Press
2006
Constraint Handling Rules: The Story So Far
In Maher, M., Editor, Proceedings of the Eigth ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Seite 13-14
In Maher, M., Editor
Herausgeber: ACM Press
2006
211.
Thom Frühwirth, L. Michel, C. Schulte
Constraints in Procedural and Concurrent Languages
In Rossi, F. and Beek, P. van and Walsh, T., Editor, Handbook of Constraint Programming
Kapitel 13
Herausgeber: Elsevier
2006
Constraints in Procedural and Concurrent Languages
In Rossi, F. and Beek, P. van and Walsh, T., Editor, Handbook of Constraint Programming
Kapitel 13
Herausgeber: Elsevier
2006
210.
Khalil Djelloul, T.-B.-H. Dao
Extension of First-Order Theories into Trees
In Calmet, J. and Ida, T. and Wang, D., Editor, Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006Band4120ausLecture Notes in Computer Science, Seite 53-67
In Calmet, J. and Ida, T. and Wang, D., Editor
Herausgeber: Springer-Verlag
2006
Extension of First-Order Theories into Trees
In Calmet, J. and Ida, T. and Wang, D., Editor, Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006Band4120ausLecture Notes in Computer Science, Seite 53-67
In Calmet, J. and Ida, T. and Wang, D., Editor
Herausgeber: Springer-Verlag
2006
209.
Markus Hammori, Joachim Herbst, Niko Kleiner
Interactive Workflow Mining
Data and Knowledge Engineering Journal: Special Issue on Business Process Management, 56 (1) :41-63
Januar 2006
Interactive Workflow Mining
Data and Knowledge Engineering Journal: Special Issue on Business Process Management, 56 (1) :41-63
Januar 2006
208.
Walter Guttmann, Bernhard Möller
Modal Design Algebra
In Dunne, S. and Stoddart, W., Editor, Unifying Theories of ProgrammingBand4010ausLecture Notes in Computer Science, Seite 236-256
In Dunne, S. and Stoddart, W., Editor
Herausgeber: Springer-Verlag
2006
Modal Design Algebra
In Dunne, S. and Stoddart, W., Editor, Unifying Theories of ProgrammingBand4010ausLecture Notes in Computer Science, Seite 236-256
In Dunne, S. and Stoddart, W., Editor
Herausgeber: Springer-Verlag
2006
207.
Walter Guttmann
Non-termination in Unifying Theories of Programming
In MacCaull, W. and Winter, M. and Düntsch, I., Editor, Relational Methods in Computer Science 2005Band3929ausLecture Notes in Computer Science, Seite 108-120
In MacCaull, W. and Winter, M. and Düntsch, I., Editor
Herausgeber: Springer-Verlag
2006
Non-termination in Unifying Theories of Programming
In MacCaull, W. and Winter, M. and Düntsch, I., Editor, Relational Methods in Computer Science 2005Band3929ausLecture Notes in Computer Science, Seite 108-120
In MacCaull, W. and Winter, M. and Düntsch, I., Editor
Herausgeber: Springer-Verlag
2006
206.
Thom Frühwirth, Slim Abdennadher
Principles of constraint systems and constraint solvers
Archives of Control Sciences: Special Issue on Constraint Programming, 16 (2)
2006
Principles of constraint systems and constraint solvers
Archives of Control Sciences: Special Issue on Constraint Programming, 16 (2)
2006
205.
T. Schrijvers, Thom Frühwirth
Programming Pearl: Optimal Union-Find in Constraint Handling Rules
Theory and Practice of Logic Programming, 6 (1-2) :213-224
Januar 2006
Programming Pearl: Optimal Union-Find in Constraint Handling Rules
Theory and Practice of Logic Programming, 6 (1-2) :213-224
Januar 2006
204.
Ramin Tavakoli Kolagari, N. F. Porta
Project-oriented Reuse Approaches: Copy-and-Paste or Software Product Line Engineering?
In Schneider, K., Editor, Proceedings of the International Workshop on Learning Software Organizations and Requirements Engineering, Seite 81-97
In Schneider, K., Editor
Herausgeber: Universität Hannover
2006
Project-oriented Reuse Approaches: Copy-and-Paste or Software Product Line Engineering?
In Schneider, K., Editor, Proceedings of the International Workshop on Learning Software Organizations and Requirements Engineering, Seite 81-97
In Schneider, K., Editor
Herausgeber: Universität Hannover
2006
203.
Walter Guttmann, M. Maucher
Variations on an Ordering Theme with Constraints
In Navarro, G. and Bertossi, L. and Kohayakawa, Y., Editor, Fourth IFIP International Conference on Theoretical Computer Science: TCS 2006Band209ausIFIP International Federation for Information Processing, Seite 77-90
In Navarro, G. and Bertossi, L. and Kohayakawa, Y., Editor
Herausgeber: Springer-Verlag
2006
Variations on an Ordering Theme with Constraints
In Navarro, G. and Bertossi, L. and Kohayakawa, Y., Editor, Fourth IFIP International Conference on Theoretical Computer Science: TCS 2006Band209ausIFIP International Federation for Information Processing, Seite 77-90
In Navarro, G. and Bertossi, L. and Kohayakawa, Y., Editor
Herausgeber: Springer-Verlag
2006
2005
202.
Walter Guttmann, M. Maucher
Constrained Ordering
Dokument Nummer: UIB-2005-03
Universität Ulm
Dezember 2005
Constrained Ordering
Dokument Nummer: UIB-2005-03
Universität Ulm
Dezember 2005
201.
Niko Kleiner
Delta Analysis with Workflow Logs: Aligning Business Process Prescriptions and their Reality
Requirements Engineering Journal: Special Issue on Coordinated Development of Business Processes and their Support Systems, 10 (3) :212-222
November 2005
Delta Analysis with Workflow Logs: Aligning Business Process Prescriptions and their Reality
Requirements Engineering Journal: Special Issue on Coordinated Development of Business Processes and their Support Systems, 10 (3) :212-222
November 2005
200.
Hariolf Betz, Thom Frühwirth
A Linear-Logic Semantics for Constraint Handling Rules
In van Beek, P., Editor, 11th Conference on Principles and Practice of Constraint Programming CP 2005Band3709ausLecture Notes in Computer Science, Seite 137-151
In van Beek, P., Editor
Herausgeber: Springer-Verlag
Oktober 2005
A Linear-Logic Semantics for Constraint Handling Rules
In van Beek, P., Editor, 11th Conference on Principles and Practice of Constraint Programming CP 2005Band3709ausLecture Notes in Computer Science, Seite 137-151
In van Beek, P., Editor
Herausgeber: Springer-Verlag
Oktober 2005
199.
Stefan Sarstedt, Dominik Gessenharter, Jens Kohlmeyer, Alexander Raschke, Matthias Schneiderhan
ActiveChartsIDE: An Integrated Software Development Environment comprising a Component for Simulating UML 2 Activity Charts
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor, Proceedings of the 2005 European Simulation and Modelling Conference (ESM'05), Seite 66-73
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor
Oktober 2005
ActiveChartsIDE: An Integrated Software Development Environment comprising a Component for Simulating UML 2 Activity Charts
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor, Proceedings of the 2005 European Simulation and Modelling Conference (ESM'05), Seite 66-73
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor
Oktober 2005
198.
Stefan Sarstedt
Overcoming The Limitations of Signal Handling when Simulating UML 2 Activity Charts
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor, Proceedings of the 2005 European Simulation and Modelling Conference (ESM'05), Seite 61-65
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor
Oktober 2005
Overcoming The Limitations of Signal Handling when Simulating UML 2 Activity Charts
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor, Proceedings of the 2005 European Simulation and Modelling Conference (ESM'05), Seite 61-65
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor
Oktober 2005
197.
Thom Frühwirth
Parallelizing Union-Find in Constraint Handling Rules Using Confluence
In Gabbrielli, M. and Gupta G., Editor, Logic Programming: 21st International Conference, ICLP 2005Band3668ausLecture Notes in Computer Science, Seite 113-127
In Gabbrielli, M. and Gupta G., Editor
Herausgeber: Springer-Verlag
Oktober 2005
Parallelizing Union-Find in Constraint Handling Rules Using Confluence
In Gabbrielli, M. and Gupta G., Editor, Logic Programming: 21st International Conference, ICLP 2005Band3668ausLecture Notes in Computer Science, Seite 113-127
In Gabbrielli, M. and Gupta G., Editor
Herausgeber: Springer-Verlag
Oktober 2005
196.
Thom Frühwirth
Logical Rules for a Lexicographic Order Constraint Solver
In Schrijvers, T. and Frühwirth, T., Editor, Proceedings of CHR 2005, Second Workshop on Constraint Handling RulesausTechnical Report, Seite 79-91
Departement Computerwetenschappen, Katholieke Universiteit Leuven
In Schrijvers, T. and Frühwirth, T., Editor
September 2005
Logical Rules for a Lexicographic Order Constraint Solver
In Schrijvers, T. and Frühwirth, T., Editor, Proceedings of CHR 2005, Second Workshop on Constraint Handling RulesausTechnical Report, Seite 79-91
Departement Computerwetenschappen, Katholieke Universiteit Leuven
In Schrijvers, T. and Frühwirth, T., Editor
September 2005
195.
Walter Guttmann, Bernhard Möller
Modal Design Algebra
Dokument Nummer: 2005-15
Institut für Informatik, Universität Augsburg
September 2005
Modal Design Algebra
Dokument Nummer: 2005-15
Institut für Informatik, Universität Augsburg
September 2005
194.
Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules
In Schrijvers, T. and Frühwirth, T., Editor aus Technical Report
Departement Computerwetenschappen, Katholieke Universiteit Leuven
September 2005
193.
Stefan Sarstedt, Jens Kohlmeyer, Alexander Raschke, Matthias Schneiderhan
A New Approach to Combine Models and Code in Model Driven Development
In Arabnia, H. R. and Reza, H., Editor, Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP'05)Band1, Seite 396-400
In Arabnia, H. R. and Reza, H., Editor
Juni 2005
A New Approach to Combine Models and Code in Model Driven Development
In Arabnia, H. R. and Reza, H., Editor, Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP'05)Band1, Seite 396-400
In Arabnia, H. R. and Reza, H., Editor
Juni 2005
192.
Stefan Sarstedt, Jens Kohlmeyer, Alexander Raschke, Matthias Schneiderhan
Targeting System Evolution by Explicit Modeling of Control Flows using UML2 Activity Charts
In Arabnia, H. R., Editor, Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC'05), Seite 237-246
In Arabnia, H. R., Editor
Juni 2005
Targeting System Evolution by Explicit Modeling of Control Flows using UML2 Activity Charts
In Arabnia, H. R., Editor, Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC'05), Seite 237-246
In Arabnia, H. R., Editor
Juni 2005
191.
T. Schrijvers, B. Demoen, G. Duck, P. Stuckey, Thom Frühwirth
Automatic implication checking for CHR constraints
6th International Workshop on Rule-Based Programming
April 2005
Automatic implication checking for CHR constraints
6th International Workshop on Rule-Based Programming
April 2005
190.
19th Workshop on (Constraint) Logic Programming W(C)LP 2005
In Wolf, A. and Frühwirth, T. and Meister, M., Editor aus Ulmer Informatik-Berichte
Universität Ulm
Februar 2005
189.
T. Schrijvers, Thom Frühwirth
Analysing the CHR Implementation of Union-Find
In Wolf, A. and Frühwirth, T. and Meister, M., Editor, 19th Workshop on (Constraint) Logic Programming W(C)LP 2005ausUlmer Informatik-Berichte, Seite 135-146
Universität Ulm
In Wolf, A. and Frühwirth, T. and Meister, M., Editor
Februar 2005
Analysing the CHR Implementation of Union-Find
In Wolf, A. and Frühwirth, T. and Meister, M., Editor, 19th Workshop on (Constraint) Logic Programming W(C)LP 2005ausUlmer Informatik-Berichte, Seite 135-146
Universität Ulm
In Wolf, A. and Frühwirth, T. and Meister, M., Editor
Februar 2005
188.
Walter Guttmann
Non-Termination in Unifying Theories of Programming
In Düntsch, I. and Winter, M., Editor, 8th International Conference on Relational Methods in Computer Science (RelMiCS 8), Seite 87-94
In Düntsch, I. and Winter, M., Editor
Herausgeber: Computer Science Department, Brock University, St. Catharines, Ontario, Canada
Februar 2005
Non-Termination in Unifying Theories of Programming
In Düntsch, I. and Winter, M., Editor, 8th International Conference on Relational Methods in Computer Science (RelMiCS 8), Seite 87-94
In Düntsch, I. and Winter, M., Editor
Herausgeber: Computer Science Department, Brock University, St. Catharines, Ontario, Canada
Februar 2005
187.
T. Schrijvers, B. Demoen, G. J. Duck, P. J. Stuckey, Thom Frühwirth
Automatic implication checking for CHR constraint solvers
Dokument Nummer: CW 402
Departement Computerwetenschappen, Katholieke Universiteit Leuven
Januar 2005
Automatic implication checking for CHR constraint solvers
Dokument Nummer: CW 402
Departement Computerwetenschappen, Katholieke Universiteit Leuven
Januar 2005
186.
Slim Abdennadher, Thom Frühwirth, Christian Holzbaur
Editors, Special Issue on Constraint Handling Rules
Theory and Practice of Logic Programming, 5 (4-5)
2005
Editors, Special Issue on Constraint Handling Rules
Theory and Practice of Logic Programming, 5 (4-5)
2005
185.
Wolfgang Gehring
Leistungspunktesysteme: Eine erste Bilanz
Herausgeber: Universitätsverlag Ulm
Januar 2005
Leistungspunktesysteme: Eine erste Bilanz
Herausgeber: Universitätsverlag Ulm
Januar 2005
184.
Thom Frühwirth
Specialization of Concurrent Guarded Multi-Set Transformation Rules
In Etalle, S., Editor, Logic-based Program Synthesis and Transformation (LOPSTR'04)Band3573ausLecture Notes in Computer Science, Seite 133-148
In Etalle, S., Editor
Herausgeber: Springer-Verlag
2005
Specialization of Concurrent Guarded Multi-Set Transformation Rules
In Etalle, S., Editor, Logic-based Program Synthesis and Transformation (LOPSTR'04)Band3573ausLecture Notes in Computer Science, Seite 133-148
In Etalle, S., Editor
Herausgeber: Springer-Verlag
2005
2004
183.
C. Ballhause, Ramin Tavakoli Kolagari
Hardware-unabhängige Spezifikation von Steuergeräte-Software
Softwaretechnik-Trends, 24 (4) :27-29
November 2004
Hardware-unabhängige Spezifikation von Steuergeräte-Software
Softwaretechnik-Trends, 24 (4) :27-29
November 2004
182.
K. Buhr, Ramin Tavakoli Kolagari
Softwarebasierte Produktlinien: Szenarien für Automobilhersteller und Zulieferer
Softwaretechnik-Trends, 24 (4) :30-33
November 2004
Softwarebasierte Produktlinien: Szenarien für Automobilhersteller und Zulieferer
Softwaretechnik-Trends, 24 (4) :30-33
November 2004
181.
M. Schmid, Jens Kohlmeyer
Combining simulated biological components to achieve a powerful simulation environment
Proceedings of the European Simulation and Modelling Conference ESMc2004, Paris, France, Seite 140-142
Oktober 2004
Combining simulated biological components to achieve a powerful simulation environment
Proceedings of the European Simulation and Modelling Conference ESMc2004, Paris, France, Seite 140-142
Oktober 2004
180.
O. Jaufman, A. Dold, Tobias Häberlein, C. Schlumpberger, M. Stupperich, Niko Kleiner
Requirements for Flexible Software Development Processes within Large and Long Taking Projects
Proceedings of the 5th Meeting for Quality in Information and Communications Technology (QUATIC'04), Porto, Portugal
Oktober 2004
Requirements for Flexible Software Development Processes within Large and Long Taking Projects
Proceedings of the 5th Meeting for Quality in Information and Communications Technology (QUATIC'04), Porto, Portugal
Oktober 2004
179.
Poster Proceedings of the 27th Annual German Conference on Artificial Intelligence
In Biundo, S. and Frühwirth, T. and Palm, G., Editor aus Ulmer Informatik-Berichte
Universität Ulm
September 2004
178.
Stefan Sarstedt, Alexander Raschke, Jens Kohlmeyer
Transparente Programmierung der Anwendungslogik durch attributgesteuerte Konfiguration von Datenbanksperren
In Dadam, P. and Reichert, M., Editor, Informatik 2004, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), UlmBand2, Seite 408-417
In Dadam, P. and Reichert, M., Editor
September 2004
Transparente Programmierung der Anwendungslogik durch attributgesteuerte Konfiguration von Datenbanksperren
In Dadam, P. and Reichert, M., Editor, Informatik 2004, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), UlmBand2, Seite 408-417
In Dadam, P. and Reichert, M., Editor
September 2004
177.
Ian Alexander, Ramin Tavakoli Kolagari
Putting Scenarios into Practice
In Alexander, I. and Maiden, N., Editor, Scenarios, Stories, Use Cases
Kapitel 22, Seite 431-444
Herausgeber: John Wiley & Sons
August 2004
431-444
Putting Scenarios into Practice
In Alexander, I. and Maiden, N., Editor, Scenarios, Stories, Use Cases
Kapitel 22, Seite 431-444
Herausgeber: John Wiley & Sons
August 2004
431-444
176.
T. Schrijvers, Thom Frühwirth
Implementing and Analysing Union-Find in CHR
Dokument Nummer: CW 389
Departement Computerwetenschappen, Katholieke Universiteit Leuven
Juli 2004
Implementing and Analysing Union-Find in CHR
Dokument Nummer: CW 389
Departement Computerwetenschappen, Katholieke Universiteit Leuven
Juli 2004
175.
Wolfgang Gehring, Peter Salamon, Roger Whitney, Paolo Sibani
Correlation structure of landscapes of NP-complete optimization problems at finite temperature
Open Systems and Information Dynamics, 11 (2) :177-184
Juni 2004
Correlation structure of landscapes of NP-complete optimization problems at finite temperature
Open Systems and Information Dynamics, 11 (2) :177-184
Juni 2004
174.
Markus Hammori, Joachim Herbst, Niko Kleiner
Interactive Workflow Mining
Proceedings of the 2nd International Conference on Business Process Management (BPM '04), Potsdam
Juni 2004
Interactive Workflow Mining
Proceedings of the 2nd International Conference on Business Process Management (BPM '04), Potsdam
Juni 2004
173.
Niko Kleiner
Supporting Usage-Centered Design of Emerging Workflows
Proceedings of the 2nd International Conference on Business Process Management (BPM '04), Potsdam
Juni 2004
Supporting Usage-Centered Design of Emerging Workflows
Proceedings of the 2nd International Conference on Business Process Management (BPM '04), Potsdam
Juni 2004
172.
Niko Kleiner
Can Business Process Changes be Cheaper Implemented with Workflow Management Systems
Proceedings of the 2004 Information Resources Management Association Conference (IRMA '04), New Orleans, USA
Mai 2004
Can Business Process Changes be Cheaper Implemented with Workflow Management Systems
Proceedings of the 2004 Information Resources Management Association Conference (IRMA '04), New Orleans, USA
Mai 2004
171.
First Workshop on Constraint Handling Rules: Selected Contributions
In Frühwirth, T. and Meister, M., Editor aus Ulmer Informatik-Berichte
Universität Ulm
Mai 2004
170.
Wolfgang Gehring
Germany's System of Higher Education in Transition on its Way to Bologna
4th International Academic Conference, Andrzej Frycz Modrzewski Cracow College, Krakau, Poland
Mai 2004
Germany's System of Higher Education in Transition on its Way to Bologna
4th International Academic Conference, Andrzej Frycz Modrzewski Cracow College, Krakau, Poland
Mai 2004
169.
S. Bistarelli, Thom Frühwirth, M. Marte, F. Rossi
Soft Constraint Propagation and Solving in Constraint Handling Rules
Computational Intelligence: Special Issue on Preferences in AI and CP, 20 (2) :287-307
Mai 2004
Soft Constraint Propagation and Solving in Constraint Handling Rules
Computational Intelligence: Special Issue on Preferences in AI and CP, 20 (2) :287-307
Mai 2004
168.
Wolfgang Gehring
Leistungspunkte und Module: Erstellung eines Modulkatalogs
Leistungspunkte und Modul-Management: Konzepte und Erfahrungen bei Bewertung, Anerkennung und Austausch von Modulen, Leipzig, Seite 151-157
März 2004
Leistungspunkte und Module: Erstellung eines Modulkatalogs
Leistungspunkte und Modul-Management: Konzepte und Erfahrungen bei Bewertung, Anerkennung und Austausch von Modulen, Leipzig, Seite 151-157
März 2004
167.
Ramin Tavakoli Kolagari, Alexander Raschke
Vergleich von klassischer und agiler Entwicklungsmethodik anhand der Entwicklung eines in Statemate simulierbaren Modells eines Türsteuergerätes
Softwaretechnik-Trends, 24 (1) :17-18
Februar 2004
Vergleich von klassischer und agiler Entwicklungsmethodik anhand der Entwicklung eines in Statemate simulierbaren Modells eines Türsteuergerätes
Softwaretechnik-Trends, 24 (1) :17-18
Februar 2004
166.
S. Birla, Ramin Tavakoli Kolagari
A Requirements Modeling Framework for High Integrity Software-Intensive Automotive Product Lines
In Rombach, H. D. and Eicker, S. and Pohl, K. and Adelsberger, H. H. and Wulf, V. and Krcmar, H. and Pawlowski, J. M., Editor, Multikonferenz Wirtschaftsinformatik (MKWI)Band1: E-Learning: Modelle, Instrumente und Erfahrungen, Software-Produktlinien, Communities in E-Business, Seite 169-183
In Rombach, H. D. and Eicker, S. and Pohl, K. and Adelsberger, H. H. and Wulf, V. and Krcmar, H. and Pawlowski, J. M., Editor
Herausgeber: Akademische Verlagsgesellschaft Aka GmbH
2004
A Requirements Modeling Framework for High Integrity Software-Intensive Automotive Product Lines
In Rombach, H. D. and Eicker, S. and Pohl, K. and Adelsberger, H. H. and Wulf, V. and Krcmar, H. and Pawlowski, J. M., Editor, Multikonferenz Wirtschaftsinformatik (MKWI)Band1: E-Learning: Modelle, Instrumente und Erfahrungen, Software-Produktlinien, Communities in E-Business, Seite 169-183
In Rombach, H. D. and Eicker, S. and Pohl, K. and Adelsberger, H. H. and Wulf, V. and Krcmar, H. and Pawlowski, J. M., Editor
Herausgeber: Akademische Verlagsgesellschaft Aka GmbH
2004
165.
Tobias Häberlein
Common Structures in System Dynamics Models of Software Acquisition Projects
Software Process Improvement and Practice, 9 (3) :67-80
2004
Common Structures in System Dynamics Models of Software Acquisition Projects
Software Process Improvement and Practice, 9 (3) :67-80
2004
164.
Ramin Tavakoli Kolagari, A. Puschnig
Entwicklung innovativer eingebetteter Systeme mit Experteneinbindung
Konferenzband des 9. Kongress Software-Qualitätsmanagement (SQM)
2004
Entwicklung innovativer eingebetteter Systeme mit Experteneinbindung
Konferenzband des 9. Kongress Software-Qualitätsmanagement (SQM)
2004
163.
Slim Abdennadher, Thom Frühwirth
Integration and Optimization of Rule-based Constraint Solvers
In Bruynooghe, M., Editor, Logic-based Program Synthesis and Transformation (LOPSTR'03)Band3018ausLecture Notes in Computer Science, Seite 198-213
In Bruynooghe, M., Editor
Herausgeber: Springer-Verlag
2004
Integration and Optimization of Rule-based Constraint Solvers
In Bruynooghe, M., Editor, Logic-based Program Synthesis and Transformation (LOPSTR'03)Band3018ausLecture Notes in Computer Science, Seite 198-213
In Bruynooghe, M., Editor
Herausgeber: Springer-Verlag
2004
162.
KI 2004: Advances in Artificial Intelligence, Proccedings of the 27th Annual German Conference on Artificial Intelligence
In Biundo, S. and Frühwirth, T. and Palm, G., Editor, Band 3238 aus Lecture Notes in Artificial Intelligence
Herausgeber: Springer-Verlag
2004
161.
A. Puschnig, Ramin Tavakoli Kolagari
Requirements Engineering in the Development of Innovative Automotive Embedded Software Systems
12th IEEE International Conference on Requirements Engineering, Seite 328-333
Herausgeber: IEEE Computer Society
2004
Requirements Engineering in the Development of Innovative Automotive Embedded Software Systems
12th IEEE International Conference on Requirements Engineering, Seite 328-333
Herausgeber: IEEE Computer Society
2004
160.
Ramin Tavakoli Kolagari
Towards a Framework for Requirements Engineering for Automotive Software System Product Lines in an OEM and Supplier Setting
In Glinz, M., Editor, Proceedings of the Doctoral Consortium of the 12th IEEE International Conference on Requirements Engineering, Seite 13-16
In Glinz, M., Editor
Herausgeber: IEEE Computer Society
2004
Towards a Framework for Requirements Engineering for Automotive Software System Product Lines in an OEM and Supplier Setting
In Glinz, M., Editor, Proceedings of the Doctoral Consortium of the 12th IEEE International Conference on Requirements Engineering, Seite 13-16
In Glinz, M., Editor
Herausgeber: IEEE Computer Society
2004
2003
159.
Wolfgang Gehring
Current Issues in Higher Education in Germany
, Achte Internationale Akademische Konferenz am Rivne Institute of Economics and Humanities, UkraineBand2, Seite 219-220
Oktober 2003
Current Issues in Higher Education in Germany
, Achte Internationale Akademische Konferenz am Rivne Institute of Economics and Humanities, UkraineBand2, Seite 219-220
Oktober 2003
158.
Jens Kohlmeyer, Stefan Sarstedt, W. Mader
Modelling and Simulation of a Biological Process (Neural Action Potential) with Hybrid Tools used in Computer Science
Proceedings of The 2003 European Simulation and Modelling Conference ESM2003, Seite 328-332
Oktober 2003
Modelling and Simulation of a Biological Process (Neural Action Potential) with Hybrid Tools used in Computer Science
Proceedings of The 2003 European Simulation and Modelling Conference ESM2003, Seite 328-332
Oktober 2003
157.
Niko Kleiner
The Focus of Requirements Engineering in Workflow Application Development
15th Conference on Advanced Information Systems Engineering (CAiSE '03), Klagenfurt/Velden, Austria, Workshops Proceedings, Information Systems for a Connected Society, Workshop Requirements Engineering for Business Process Support
RWTH Aachen
Herausgeber: SCS Europe Publications
Juni 2003
The Focus of Requirements Engineering in Workflow Application Development
15th Conference on Advanced Information Systems Engineering (CAiSE '03), Klagenfurt/Velden, Austria, Workshops Proceedings, Information Systems for a Connected Society, Workshop Requirements Engineering for Business Process Support
RWTH Aachen
Herausgeber: SCS Europe Publications
Juni 2003
156.
Tobias Häberlein
A Framework for System Dynamic Models of Software Acquisition Projects
International Workshop on Software Process Simulation and Modeling (ProSim'03), Portland, co-located with the International Conference on Software Engineering ICSE'03
Mai 2003
A Framework for System Dynamic Models of Software Acquisition Projects
International Workshop on Software Process Simulation and Modeling (ProSim'03), Portland, co-located with the International Conference on Software Engineering ICSE'03
Mai 2003
155.
Wolfgang Gehring
Workloaderfassung: Ein Henne-Ei-Problem (?)
Die Berufsqualifikation und die Arbeitsbelastung der Studierenden: Die qualitativen und quantitativen Gestaltungsgrundlagen für Leistungspunkte in der Hochschulbildung, Weimar, Seite 54-56
Mai 2003
Workloaderfassung: Ein Henne-Ei-Problem (?)
Die Berufsqualifikation und die Arbeitsbelastung der Studierenden: Die qualitativen und quantitativen Gestaltungsgrundlagen für Leistungspunkte in der Hochschulbildung, Weimar, Seite 54-56
Mai 2003
154.
Joachim Herbst, Niko Kleiner
Workflow Mining: A Case Study from Automotive Industry
Proceedings of the 10th European Concurrent Engineering Conference, Plymouth, UK
Herausgeber: SCS Europe Publications
April 2003
Workflow Mining: A Case Study from Automotive Industry
Proceedings of the 10th European Concurrent Engineering Conference, Plymouth, UK
Herausgeber: SCS Europe Publications
April 2003
153.
Wolfgang Gehring
ECTS und Kreditakkumulation: Das Ulmer Modell
Das Sokrates/Erasmus-Programm der EU 1997-2002: Erfahrungen und Erwartungen
Seite 91-97
Herausgeber: Deutscher Akademischer Austauschdienst DAAD
März 2003
91-97
ECTS und Kreditakkumulation: Das Ulmer Modell
Das Sokrates/Erasmus-Programm der EU 1997-2002: Erfahrungen und Erwartungen
Seite 91-97
Herausgeber: Deutscher Akademischer Austauschdienst DAAD
März 2003
91-97
152.
Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs
Tool Support for the Interactive Derivation of Formally Correct Functional Programs
Journal of Universal Computer Science, 9 (2) :173-188
März 2003
Tool Support for the Interactive Derivation of Formally Correct Functional Programs
Journal of Universal Computer Science, 9 (2) :173-188
März 2003
151.
Thom Frühwirth, Slim Abdennadher
Essentials of Constraint Programming
Herausgeber: Springer-Verlag
Februar 2003
Essentials of Constraint Programming
Herausgeber: Springer-Verlag
Februar 2003
150.
Kurt Schneider, Jan-Peter von Hunnius
Effective Experience Repositories in Software-Engineering
25th International Conference on Software Engineering (ICSE), Portland
2003
Effective Experience Repositories in Software-Engineering
25th International Conference on Software Engineering (ICSE), Portland
2003
149.
Slim Abdennadher, Thom Frühwirth
Integration and Optimization of Rule-based Constraint Solvers
International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'03)
2003
Integration and Optimization of Rule-based Constraint Solvers
International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'03)
2003
148.
C. Schlumpberger, Dietmar Ernst
Räumlich verteilte Software-Entwicklung unter experimenteller Betrachtung verteilter Inspektionen - Ein Erfahrungsbericht
In Siedersleben, J. and Weber-Wulff, D., Editor, Software-Engineering im Unterricht der Hochschulen, SEUH 8, Berlin, Seite 111-120
In Siedersleben, J. and Weber-Wulff, D., Editor
2003
Räumlich verteilte Software-Entwicklung unter experimenteller Betrachtung verteilter Inspektionen - Ein Erfahrungsbericht
In Siedersleben, J. and Weber-Wulff, D., Editor, Software-Engineering im Unterricht der Hochschulen, SEUH 8, Berlin, Seite 111-120
In Siedersleben, J. and Weber-Wulff, D., Editor
2003
147.
Thom Frühwirth, Christian Holzbaur
Source-to-Source Transformation for a Class of Expressive Rules
In Buccafurri, F., Editor, Joint Conference on Declarative Programming APPIA-GULP-PRODE 2003 (AGP 2003), Seite 386-397
In Buccafurri, F., Editor
2003
Source-to-Source Transformation for a Class of Expressive Rules
In Buccafurri, F., Editor, Joint Conference on Declarative Programming APPIA-GULP-PRODE 2003 (AGP 2003), Seite 386-397
In Buccafurri, F., Editor
2003
146.
Holger Knublauch, T. Rose
Tool-Supported Process Analysis and Design for the Development of Multi-Agent Systems
In Giunchiglia, F. and Odell, J. and Weiß, G., Editor, Agent-Oriented Software Engineering III, Third International Workshop, AOSE 2002, Bologna, ItalyBand2585ausLecture Notes in Computer Science, Seite 186-197
In Giunchiglia, F. and Odell, J. and Weiß, G., Editor
Herausgeber: Springer-Verlag
2003
Tool-Supported Process Analysis and Design for the Development of Multi-Agent Systems
In Giunchiglia, F. and Odell, J. and Weiß, G., Editor, Agent-Oriented Software Engineering III, Third International Workshop, AOSE 2002, Bologna, ItalyBand2585ausLecture Notes in Computer Science, Seite 186-197
In Giunchiglia, F. and Odell, J. and Weiß, G., Editor
Herausgeber: Springer-Verlag
2003
145.
H. Omasreiter, Ramin Tavakoli Kolagari
Ziel- und kundenorientierte Anforderungserstellung mit Abstraktionsebenen als zentraler Erfolgsfaktor bei der Entwicklung von Kfz-Software
Konferenzband der Konferenzen CONQUEST, Automation Days und EUROMOTIVE, Seite 229-239
2003
Ziel- und kundenorientierte Anforderungserstellung mit Abstraktionsebenen als zentraler Erfolgsfaktor bei der Entwicklung von Kfz-Software
Konferenzband der Konferenzen CONQUEST, Automation Days und EUROMOTIVE, Seite 229-239
2003
2002
144.
Frank Houdek, Thilo Schwinn, Dietmar Ernst
Defect Detection for Executable Specifications: An Experiment
International Journal of Software Engineering and Knowledge Engineering, 12 (6) :637-655
Dezember 2002
Defect Detection for Executable Specifications: An Experiment
International Journal of Software Engineering and Knowledge Engineering, 12 (6) :637-655
Dezember 2002
143.
Walter Guttmann
Deriving an Applicative Heapsort Algorithm
Dokument Nummer: UIB-2002-02
Universität Ulm
Dezember 2002
Deriving an Applicative Heapsort Algorithm
Dokument Nummer: UIB-2002-02
Universität Ulm
Dezember 2002
142.
Thom Frühwirth
As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs
In Di Pierro, A. and Wiklicky, H., Editor, Quantitative Aspects of Programming Laguages, QAPL'01Band59ausElectronic Notes in Theoretical Computer Science, Seite 185-206
In Di Pierro, A. and Wiklicky, H., Editor
November 2002
As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs
In Di Pierro, A. and Wiklicky, H., Editor, Quantitative Aspects of Programming Laguages, QAPL'01Band59ausElectronic Notes in Theoretical Computer Science, Seite 185-206
In Di Pierro, A. and Wiklicky, H., Editor
November 2002
141.
Thom Frühwirth, A. Di Pierro, H. Wiklicky
Probabilistic Constraint Handling Rules
In Comini, M. and Falaschi, M., Editor, 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002Band76ausElectronic Notes in Theoretical Computer Science, Seite 115-130
In Comini, M. and Falaschi, M., Editor
November 2002
Probabilistic Constraint Handling Rules
In Comini, M. and Falaschi, M., Editor, 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002Band76ausElectronic Notes in Theoretical Computer Science, Seite 115-130
In Comini, M. and Falaschi, M., Editor
November 2002
140.
Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs
Tool Support for the Interactive Derivation of Formally Correct Functional Programs (Extended Abstract)
In Haneberg, D. and Schellhorn, G. and Reif, W., Editor, FM-TOOLS 2002: The Fifth Workshop on Tools for System Design and Verification, Seite 15-20
In Haneberg, D. and Schellhorn, G. and Reif, W., Editor
Herausgeber: Institut für Informatik, Universität Augsburg
Juni 2002
Tool Support for the Interactive Derivation of Formally Correct Functional Programs (Extended Abstract)
In Haneberg, D. and Schellhorn, G. and Reif, W., Editor, FM-TOOLS 2002: The Fifth Workshop on Tools for System Design and Verification, Seite 15-20
In Haneberg, D. and Schellhorn, G. and Reif, W., Editor
Herausgeber: Institut für Informatik, Universität Augsburg
Juni 2002
139.
Wolfgang Gehring
Ein Rahmenwerk zur Einführung von Leistungspunktesystemen
Herausgeber: Universitätsverlag Ulm
zweite, überarbeitete und erweiterte Edition
April 2002
Ein Rahmenwerk zur Einführung von Leistungspunktesystemen
Herausgeber: Universitätsverlag Ulm
zweite, überarbeitete und erweiterte Edition
April 2002
138.
S. Schonger, E. Pulvermüller, Stefan Sarstedt
Aspect-Oriented Programming and Component Weaving: Using XML Representations of Abstract Syntax Trees
Proceedings of the 2nd German GI Workshop on Aspect-Oriented Software DevelopmentausTechnical Report No. IAI-TR-2002-1, Seite 59-64
Rheinische Friedrich-Wilhelms-Universität Bonn, Institut für Informatik 3
Februar 2002
Aspect-Oriented Programming and Component Weaving: Using XML Representations of Abstract Syntax Trees
Proceedings of the 2nd German GI Workshop on Aspect-Oriented Software DevelopmentausTechnical Report No. IAI-TR-2002-1, Seite 59-64
Rheinische Friedrich-Wilhelms-Universität Bonn, Institut für Informatik 3
Februar 2002
137.
Niko Kleiner, Joachim Herbst
A Model for Business Process Supporting Web Applications
Proceedings of the International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet (SSGRR2002s), L'Aquila, Italy
Scuola Superiore Guglielmo Reiss Romoli (SSGRR), L'Aquila
2002
A Model for Business Process Supporting Web Applications
Proceedings of the International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet (SSGRR2002s), L'Aquila, Italy
Scuola Superiore Guglielmo Reiss Romoli (SSGRR), L'Aquila
2002
136.
Holger Knublauch, H. Koeth, T. Rose
Agile Development of a Clinical Multi-Agent System: An Extreme Programming Case Study
Third International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP2002), Alghero, Sardinia, Italy
2002
Agile Development of a Clinical Multi-Agent System: An Extreme Programming Case Study
Third International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP2002), Alghero, Sardinia, Italy
2002
135.
O. Laitenberger, T. Beil, Thilo Schwinn
An Industrial Case Study to examine a non-traditional Inspection Implementation for Requirements Specifications
Empirical Software Engineering, 7 :345-374
2002
An Industrial Case Study to examine a non-traditional Inspection Implementation for Requirements Specifications
Empirical Software Engineering, 7 :345-374
2002
134.
O. Laitenberger, T. Beil, Thilo Schwinn
An Industrial Case Study to examine a non-traditional Inspection Implementation for Requirements Specifications
Proceedings of Eighth IEEE Symposium on SOftware Metrics, Seite 97-106
2002
An Industrial Case Study to examine a non-traditional Inspection Implementation for Requirements Specifications
Proceedings of Eighth IEEE Symposium on SOftware Metrics, Seite 97-106
2002
133.
Niko Kleiner, Joachim Herbst
Engineering a DMU-Resultmanagement System
Proceedings of the 9th European Concurrent Engineering Conference (ECEC'02), Modena, Italy
Herausgeber: SCS Europe Publications
2002
Engineering a DMU-Resultmanagement System
Proceedings of the 9th European Concurrent Engineering Conference (ECEC'02), Modena, Italy
Herausgeber: SCS Europe Publications
2002
132.
Kurt Schneider, Jan-Peter von Hunnius, V. R. Basili
Experience in Implementing a Learning Software Organization
IEEE Software, 19 (3)
2002
Experience in Implementing a Learning Software Organization
IEEE Software, 19 (3)
2002
131.
Holger Knublauch
Extreme Programming of Knowledge-Based Systems
Third International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP2002), Alghero, Sardinia, Italy
2002
Extreme Programming of Knowledge-Based Systems
Third International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP2002), Alghero, Sardinia, Italy
2002
130.
Holger Knublauch
Extreme Programming of Multi-Agent Systems
First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy
2002
Extreme Programming of Multi-Agent Systems
First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy
2002
129.
Thomas Gantner, Tobias Häberlein
GARP - The Evolution of a Software Acquisition Process Model
, 7th European Conference on Software Quality 2002, Helsinki, FinlandBand2349ausLecture Notes in Computer Science, Seite 186-196
Herausgeber: Springer-Verlag
2002
GARP - The Evolution of a Software Acquisition Process Model
, 7th European Conference on Software Quality 2002, Helsinki, FinlandBand2349ausLecture Notes in Computer Science, Seite 186-196
Herausgeber: Springer-Verlag
2002
128.
Kurt Schneider, Thilo Schwinn
Maturing Experience Base Concepts at DaimlerChrysler
Software Process Improvement and Practice, 6 (2) :85-96
2002
Maturing Experience Base Concepts at DaimlerChrysler
Software Process Improvement and Practice, 6 (2) :85-96
2002
127.
Tobias Häberlein, Thomas Gantner
Process-Oriented Interactive Simulation of Software Acquisition Projects
In Shafazand, H. and Min Tjoa, A., Editor, EurAsia-ICT 2002: Information and Communication Technology, First EurAsian Conference, Shiraz, IranBand2510ausLecture Notes in Computer Science, Seite 806-815
In Shafazand, H. and Min Tjoa, A., Editor
Herausgeber: Springer-Verlag
2002
Process-Oriented Interactive Simulation of Software Acquisition Projects
In Shafazand, H. and Min Tjoa, A., Editor, EurAsia-ICT 2002: Information and Communication Technology, First EurAsian Conference, Shiraz, IranBand2510ausLecture Notes in Computer Science, Seite 806-815
In Shafazand, H. and Min Tjoa, A., Editor
Herausgeber: Springer-Verlag
2002
126.
T. Rose, M. Fünffinger, Holger Knublauch, C. Rupprecht
Prozessorientiertes Wissensmanagement
Künstliche Intelligenz, 16 (1) :19-24
2002
Prozessorientiertes Wissensmanagement
Künstliche Intelligenz, 16 (1) :19-24
2002
125.
A. von Knethen, B. Paech, Friedemann Kiedaisch, Frank Houdek
Systematic Requirements Recycling through Abstraction and Traceability
Proceedings of the IEEE Joint International Requirements Engineering Conference (RE'02), Essen
2002
Systematic Requirements Recycling through Abstraction and Traceability
Proceedings of the IEEE Joint International Requirements Engineering Conference (RE'02), Essen
2002
124.
Ian Alexander, Friedemann Kiedaisch
Towards Recyclable System Requirements
Proceedings of the 9th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'02), Lund, Sweden
2002
Towards Recyclable System Requirements
Proceedings of the 9th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'02), Lund, Sweden
2002
2001
123.
Jan-Peter von Hunnius
Experience Bases at DaimlerChrysler
Presentation at the SEC Consortium meeting in Everett, Washington
April 2001
Experience Bases at DaimlerChrysler
Presentation at the SEC Consortium meeting in Everett, Washington
April 2001
122.
Joachim Schmid
Compiling Abstract State Machines to C++
Journal of Universal Computer Science, 7 (11)
2001
Compiling Abstract State Machines to C++
Journal of Universal Computer Science, 7 (11)
2001
121.
Joachim Schmid
Compiling Abstract State Machines to C++
Formal Methods and Tools for Computer Science, Eurocast 2001, Universidad de Las Palmas de Gran Canaria
2001
Compiling Abstract State Machines to C++
Formal Methods and Tools for Computer Science, Eurocast 2001, Universidad de Las Palmas de Gran Canaria
2001
120.
Frank Houdek, Thilo Schwinn, Dietmar Ernst
Defect Detection for Executable Specifications - An Experiment
Thirteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'01), Buenos Aires, Argentinien
2001
Defect Detection for Executable Specifications - An Experiment
Thirteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'01), Buenos Aires, Argentinien
2001
119.
Niko Kleiner, Stefan Sarstedt
Einsatz von Standardprozessen bei der Gestaltung von Lehrveranstaltungen
Software Engineering im Unterricht der Hochschulen (SEUH 2001), Zürich, Schweiz
Herausgeber: dpunkt.verlag
2001
Einsatz von Standardprozessen bei der Gestaltung von Lehrveranstaltungen
Software Engineering im Unterricht der Hochschulen (SEUH 2001), Zürich, Schweiz
Herausgeber: dpunkt.verlag
2001
118.
Friedemann Kiedaisch, M. Pohl, J. Weisbrod, S. Bauer, S. Ortmann
Experiences on Outsourcing Requirements Specifications
Proceedings of the European Software Process Improvement Conference (EuroSPI'2001), Limerick, Ireland
2001
Experiences on Outsourcing Requirements Specifications
Proceedings of the European Software Process Improvement Conference (EuroSPI'2001), Limerick, Ireland
2001
117.
Thilo Schwinn
How to make your Software Inspections Profitable - An Approach Based on Sampling and Return on Investment Calculation
Proceedings of the 14th ICSSEA, Paris
2001
How to make your Software Inspections Profitable - An Approach Based on Sampling and Return on Investment Calculation
Proceedings of the 14th ICSSEA, Paris
2001
116.
Joachim Schmid
Introduction to AsmGofer
2001
Introduction to AsmGofer
2001
115.
R. Stärk, Joachim Schmid, Egon Börger
Java and the Java Virtual Machine: Definition, Validation, Verification
Herausgeber: Springer-Verlag
2001
Java and the Java Virtual Machine: Definition, Validation, Verification
Herausgeber: Springer-Verlag
2001
114.
R. Stärk, Joachim Schmid
Java bytecode verification is not possible
Formal Methods and Tools for Computer Science, Eurocast 2001, Universidad de Las Palmas de Gran Canaria
2001
Java bytecode verification is not possible
Formal Methods and Tools for Computer Science, Eurocast 2001, Universidad de Las Palmas de Gran Canaria
2001
113.
Holger Knublauch
KBeans Specification: Semantic Transparency for Components and Domain Models
Dokument Nummer: FAW-TR-01001
FAW Ulm
2001
KBeans Specification: Semantic Transparency for Components and Domain Models
Dokument Nummer: FAW-TR-01001
FAW Ulm
2001
112.
Friedemann Kiedaisch, M. Pohl, J. Weisbrod, S. Bauer, S. Ortmann
Requirements Archaeology: From Unstructured Information to High Quality Specifications
Proceedings of the 5th International Symposium on Requirements Engineering (RE'01), Toronto, Canada
2001
Requirements Archaeology: From Unstructured Information to High Quality Specifications
Proceedings of the 5th International Symposium on Requirements Engineering (RE'01), Toronto, Canada
2001
111.
Holger Knublauch, T. Rose
Werkzeugunterstützte Prozessanalyse zur Identifikation von Anwendungsszenarien für Agenten
Verbundtagung Verteilte Informationssysteme auf der Grundlage von Objekten, Komponenten und Agenten (vertIS 2001), Bamberg
2001
Werkzeugunterstützte Prozessanalyse zur Identifikation von Anwendungsszenarien für Agenten
Verbundtagung Verteilte Informationssysteme auf der Grundlage von Objekten, Komponenten und Agenten (vertIS 2001), Bamberg
2001
2000
110.
Walter Guttmann
An Introduction to Ultra
Universität Ulm
Dezember 2000
An Introduction to Ultra
Universität Ulm
Dezember 2000
109.
U. Breymann, D. Köhler, Wolfgang Gehring
Einführung eines Leistungspunktesystems im Studiengang Medieninformatik
Hochschule Bremen
November 2000
Einführung eines Leistungspunktesystems im Studiengang Medieninformatik
Hochschule Bremen
November 2000
108.
Jan-Peter von Hunnius
WESPI - WEb Supported Software Process Improvement
Proceedings of the 2nd Workshop on Learning Software Organizations, Oulu, Finland, Seite 93-99
Juni 2000
WESPI - WEb Supported Software Process Improvement
Proceedings of the 2nd Workshop on Learning Software Organizations, Oulu, Finland, Seite 93-99
Juni 2000
107.
Wolfgang Gehring
Ein Rahmenwerk zur Einführung von Leistungspunktesystemen
Dokument Nummer: 2000-04
Universität Ulm
März 2000
Ein Rahmenwerk zur Einführung von Leistungspunktesystemen
Dokument Nummer: 2000-04
Universität Ulm
März 2000
106.
Wolfgang Gehring
Modularisierung und Leistungspunktesysteme: Ein Überblick
Workshop Modularisierung, Jena
März 2000
Modularisierung und Leistungspunktesysteme: Ein Überblick
Workshop Modularisierung, Jena
März 2000
105.
Egon Börger, Wolfram Schulte
A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study
IEEE Transactions on Software Engineering, 26 (9) :872-887
2000
A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study
IEEE Transactions on Software Engineering, 26 (9) :872-887
2000
104.
R. Rose, Holger Knublauch, G. Peinel
Agenten in der pro-aktiven Prozessunterstützung
Industrie-Management 4 :40-53
2000
Agenten in der pro-aktiven Prozessunterstützung
Industrie-Management 4 :40-53
2000
103.
Holger Knublauch, T. Rose
Application Scenarios of Agent-Based Information Logistics in Clinical and Engineering Domains
European Conference on Artificial Intelligence (ECAI), Workshop on Agent Technologies and Their Application Scenarios in Logistics, Berlin
2000
Application Scenarios of Agent-Based Information Logistics in Clinical and Engineering Domains
European Conference on Artificial Intelligence (ECAI), Workshop on Agent Technologies and Their Application Scenarios in Logistics, Berlin
2000
102.
C. Rupprecht, M. Fünffinger, Holger Knublauch, T. Rose
Capture and Dissemination of Experience about the Construction of Engineering Processes
Twelfth Conference on Advanced Information Systems Engineering (CAISE), Stockholm, Sweden
2000
Capture and Dissemination of Experience about the Construction of Engineering Processes
Twelfth Conference on Advanced Information Systems Engineering (CAISE), Stockholm, Sweden
2000
101.
Egon Börger, E. Riccobene, Joachim Schmid
Capturing Requirements by Abstract State Machines: The Light Control Case Study
Journal of Universal Computer Science, 6 (7)
2000
Capturing Requirements by Abstract State Machines: The Light Control Case Study
Journal of Universal Computer Science, 6 (7)
2000
100.
Egon Börger, Joachim Schmid
Composition and Submachine Concepts for Sequential ASMs
In Clote, P. G. and Schwichtenberg, H., Editor, Computer Science Logics (CSL 2000)Band1862ausLecture Notes in Computer Science, Seite 41-60
In Clote, P. G. and Schwichtenberg, H., Editor
Herausgeber: Springer-Verlag
2000
Composition and Submachine Concepts for Sequential ASMs
In Clote, P. G. and Schwichtenberg, H., Editor, Computer Science Logics (CSL 2000)Band1862ausLecture Notes in Computer Science, Seite 41-60
In Clote, P. G. and Schwichtenberg, H., Editor
Herausgeber: Springer-Verlag
2000
99.
Holger Knublauch, M. Sedlmayr, T. Rose
Design Patterns for the Implementation of Constraints on JavaBeans
NetObjectDays2000, Erfurt
2000
Design Patterns for the Implementation of Constraints on JavaBeans
NetObjectDays2000, Erfurt
2000
98.
Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn, Tobias Vollmer
Do You Trust Your Model Checker?
In Hunt Jr., W. A. and Johnson, S. D., Editor, Proceedings of the 3rd International Conference on Formal Methods in Computer-Aided Design (FMCAD2000), Austin, Texas, USABand1954ausLecture Notes in Computer Science
In Hunt Jr., W. A. and Johnson, S. D., Editor
Herausgeber: Springer-Verlag
2000
Do You Trust Your Model Checker?
In Hunt Jr., W. A. and Johnson, S. D., Editor, Proceedings of the 3rd International Conference on Formal Methods in Computer-Aided Design (FMCAD2000), Austin, Texas, USABand1954ausLecture Notes in Computer Science
In Hunt Jr., W. A. and Johnson, S. D., Editor
Herausgeber: Springer-Verlag
2000
97.
Wolfgang Reif, Gerhard Schellhorn, Andreas Thums
Fehlersuche in formalen Spezifikationen
Dokument Nummer: 2000-06
Universität Ulm
2000
Fehlersuche in formalen Spezifikationen
Dokument Nummer: 2000-06
Universität Ulm
2000
96.
Gerhard Schellhorn, Wolfgang Reif
FM-Tools 2000: The 4th Workshop on Tools for System Design and Verification
Dokument Nummer: 2000-07
Universität Ulm
2000
FM-Tools 2000: The 4th Workshop on Tools for System Design and Verification
Dokument Nummer: 2000-07
Universität Ulm
2000
95.
Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums
Formal System Development with KIV
In Maibaum, T., Editor, Proceedings of the 3rd International Conference on Fundamental Approaches to Software Engineering (FASE2000)Band1783ausLecture Notes in Computer Science
In Maibaum, T., Editor
Herausgeber: Springer-Verlag
2000
Formal System Development with KIV
In Maibaum, T., Editor, Proceedings of the 3rd International Conference on Fundamental Approaches to Software Engineering (FASE2000)Band1783ausLecture Notes in Computer Science
In Maibaum, T., Editor
Herausgeber: Springer-Verlag
2000
94.
Y. Gurevich, Wolfram Schulte, C. Wallace
Investigating Java Concurrency Using Abstract State Machines
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor, Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, SwitzerlandBand1912ausLecture Notes in Computer Science, Seite 151-176
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor
Herausgeber: Springer-Verlag
2000
Investigating Java Concurrency Using Abstract State Machines
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor, Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, SwitzerlandBand1912ausLecture Notes in Computer Science, Seite 151-176
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor
Herausgeber: Springer-Verlag
2000
93.
Egon Börger, P. Päppinghaus, Joachim Schmid
Report on a Practical Application of ASMs in Software Design
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor, Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, SwitzerlandBand1912ausLecture Notes in Computer Science, Seite 361-366
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor
Herausgeber: Springer-Verlag
2000
Report on a Practical Application of ASMs in Software Design
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor, Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, SwitzerlandBand1912ausLecture Notes in Computer Science, Seite 361-366
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor
Herausgeber: Springer-Verlag
2000
92.
Holger Knublauch, T. Rose
Round-Trip Engineering of Ontologies for Knowledge-based Systems
Twelfth International Conference on Software Engineering and Knowledge Engineering (SEKE), Chicago, IL, Seite 239-247
2000
Round-Trip Engineering of Ontologies for Knowledge-based Systems
Twelfth International Conference on Software Engineering and Knowledge Engineering (SEKE), Chicago, IL, Seite 239-247
2000
91.
Wolfgang Reif, Gerhard Schellhorn, Andreas Thums
Safety Analysis of a Radio-Based Crossing Control System Using Formal Methods
Proceedings of the 9th IFAC Symposium Control in Transportation Systems, Braunschweig
2000
Safety Analysis of a Radio-Based Crossing Control System Using Formal Methods
Proceedings of the 9th IFAC Symposium Control in Transportation Systems, Braunschweig
2000
90.
R. Stärk, Joachim Schmid
The problem of Bytecode Verification in Current Implementations of the JVM
ETH Zürich
2000
The problem of Bytecode Verification in Current Implementations of the JVM
ETH Zürich
2000
89.
Holger Knublauch, T. Rose, M. Sedlmayr
Towards a Multi-Agent System for Pro-active Information Management in Anesthesia
Fourth International Conference on Autonomous Agents (Agents 2000), Workshop on Autonomous Agents in Health Care, Barcelona, Spain
2000
Towards a Multi-Agent System for Pro-active Information Management in Anesthesia
Fourth International Conference on Autonomous Agents (Agents 2000), Workshop on Autonomous Agents in Health Care, Barcelona, Spain
2000
88.
Helmuth Partsch, Wolfram Schulte, Ton Vullinghs
Ultra: A Learn System for the Interactive Manipulation of Functional Programs
In Cengarle, V., Editor, Requirements, Design, Correct Construction and VerificationBand11ausSoftwaretechnik
In Cengarle, V., Editor
Herausgeber: Uni-Druck
2000
Ultra: A Learn System for the Interactive Manipulation of Functional Programs
In Cengarle, V., Editor, Requirements, Design, Correct Construction and VerificationBand11ausSoftwaretechnik
In Cengarle, V., Editor
Herausgeber: Uni-Druck
2000
87.
Gerhard Schellhorn, Wolfgang Reif, A. Schairer, P. Karger, V. Austel, D. Toll
Verification of a Formal Security Model for Multiapplicative Smart Cards
, Proceedings of the 6th European Symposium on Research in Computer Security, Toulouse, FranceBand1895ausLecture Notes in Computer Science
Herausgeber: Springer-Verlag
2000
Verification of a Formal Security Model for Multiapplicative Smart Cards
, Proceedings of the 6th European Symposium on Research in Computer Security, Toulouse, FranceBand1895ausLecture Notes in Computer Science
Herausgeber: Springer-Verlag
2000
86.
Michael Balser, C. Duelli, Wolfgang Reif, Gerhard Schellhorn
Verifying Concurrent Systems with Symbolic Execution
Proceedings of the International Conference on Temporal Logic (ICTL2000)
2000
Verifying Concurrent Systems with Symbolic Execution
Proceedings of the International Conference on Temporal Logic (ICTL2000)
2000
1999
85.
Thilo Schwinn, D. Landes, T. Beil, H. Kempter
Making Know How Transfer Work in a Purchaser-Supplier Setting by Deploying Software Inspection
Proceedings of 6th European Conference on Software Quality, Vienna, Seite 418-428
April 1999
Making Know How Transfer Work in a Purchaser-Supplier Setting by Deploying Software Inspection
Proceedings of 6th European Conference on Software Quality, Vienna, Seite 418-428
April 1999
84.
Egon Börger, Wolfram Schulte
A Programmer Friendly Modular Definition of the Semantics of Java.
In Alves-Foss, J., Editor, Formal Syntax and Semantics of Java Band 1523 aus Lecture Notes in Computer Science
Seite 353-404
Herausgeber: Springer-Verlag
1999
353-404
A Programmer Friendly Modular Definition of the Semantics of Java.
In Alves-Foss, J., Editor, Formal Syntax and Semantics of Java Band 1523 aus Lecture Notes in Computer Science
Seite 353-404
Herausgeber: Springer-Verlag
1999
353-404
83.
Frank Houdek, Dietmar Ernst, Thilo Schwinn
Comparing Structured and Object-Oriented Methods for Embedded Systems: A Controlled Experiment
Proceedings of the ICSE Workshop Empirical Studies on Software Development, Los Angeles, California, USA
1999
Comparing Structured and Object-Oriented Methods for Embedded Systems: A Controlled Experiment
Proceedings of the ICSE Workshop Empirical Studies on Software Development, Los Angeles, California, USA
1999
82.
R. Berghammer, Y. Lakhnech, Wolfgang Reif
Formal Methods and Tools: Introduction and Overview
In Berghammer, R. and Lakhnech, Y., Editor, Tool Support for System Specification, Development and Verification
Herausgeber: Springer-Verlag
1999
Formal Methods and Tools: Introduction and Overview
In Berghammer, R. and Lakhnech, Y., Editor, Tool Support for System Specification, Development and Verification
Herausgeber: Springer-Verlag
1999
81.
Wolfgang Reif
Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz
Informatik: Forschung und Entwicklung, 14 (3)
1999
Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz
Informatik: Forschung und Entwicklung, 14 (3)
1999
80.
Egon Börger, Wolfram Schulte
Initialization Problems for Java
Software - Concepts and Tools, 20 (4)
1999
Initialization Problems for Java
Software - Concepts and Tools, 20 (4)
1999
79.
Stefan Sarstedt, G. Sauter, J. Sellentin, B. Mitschang
Integrationskonzepte für heterogene Anwendungssysteme bei DaimlerChrysler auf Basis internationaler Standards
Fachtagung Datenbanksysteme in Büro, Technik und Wissenschaft (BTW1999), Freiburg, Seite 317-327
1999
Integrationskonzepte für heterogene Anwendungssysteme bei DaimlerChrysler auf Basis internationaler Standards
Fachtagung Datenbanksysteme in Büro, Technik und Wissenschaft (BTW1999), Freiburg, Seite 317-327
1999
78.
Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
KIV 3.0 for Provably Correct Systems
, Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends 98), BoppardBand1641ausLecture Notes in Computer Science
Herausgeber: Springer-Verlag
1999
KIV 3.0 for Provably Correct Systems
, Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends 98), BoppardBand1641ausLecture Notes in Computer Science
Herausgeber: Springer-Verlag
1999
77.
Holger Knublauch, M. Sedlmayr, T. Rose
Knowledge-based Decision Support in an Anaesthesia Information System
Combined ESCTAIC / SCATA Meeting, Glasgow, UK
1999
Knowledge-based Decision Support in an Anaesthesia Information System
Combined ESCTAIC / SCATA Meeting, Glasgow, UK
1999
76.
Michael Schwarz
Kommunikationsorientierte Analyse und Gestaltung von Arbeitskontexten (KOALA)
In Sinz, E. J., Editor, Modellierung betrieblicher Informationssysteme, Proceedings der MobIS-Fachtagung (MobIS'99), Bamberg, Seite 210-226
In Sinz, E. J., Editor
1999
Kommunikationsorientierte Analyse und Gestaltung von Arbeitskontexten (KOALA)
In Sinz, E. J., Editor, Modellierung betrieblicher Informationssysteme, Proceedings der MobIS-Fachtagung (MobIS'99), Bamberg, Seite 210-226
In Sinz, E. J., Editor
1999
75.
Egon Börger, Wolfram Schulte
Modular Design for the Java Virtual Machine Architecture
Architecture Design and Validation Methods
Herausgeber: Springer-Verlag
1999
Modular Design for the Java Virtual Machine Architecture
Architecture Design and Validation Methods
Herausgeber: Springer-Verlag
1999
74.
C.-H. Meyer, Holger Knublauch
Parallel Iterative Proportional Fitting
Symposium in Operations Research (SOR99), Magdeburg
1999
Parallel Iterative Proportional Fitting
Symposium in Operations Research (SOR99), Magdeburg
1999
73.
Holger Knublauch, T. Rose
Reflection-enabled Rapid Prototyping of Knowledge-based Systems
OOPSLA'99 Workshop on Object Oriented Reflection and Software Engineering, Denver, CO, USA
1999
Reflection-enabled Rapid Prototyping of Knowledge-based Systems
OOPSLA'99 Workshop on Object Oriented Reflection and Software Engineering, Denver, CO, USA
1999
72.
R. Hähnle, W. Menzel, Wolfgang Reif, P. Schmitt
Special Issue on Integration of Deduction Systems
Journal of Universal Computer Science, 5 (3)
1999
Special Issue on Integration of Deduction Systems
Journal of Universal Computer Science, 5 (3)
1999
71.
G. Rock, W. Stephan, A. Wolpers, Michael Balser, Wolfgang Reif, S. Scheer
Structured Formal Development in VSE II: The Robertino Case Study
In Saglietti, F. and Goerigk, W., Editor, Sicherheit und Zuverlässigkeit software-basierter Systeme, ITSec
In Saglietti, F. and Goerigk, W., Editor
1999
Structured Formal Development in VSE II: The Robertino Case Study
In Saglietti, F. and Goerigk, W., Editor, Sicherheit und Zuverlässigkeit software-basierter Systeme, ITSec
In Saglietti, F. and Goerigk, W., Editor
1999
70.
Ton Vullinghs, Wolfram Schulte, Helmuth Partsch
System Support for the Interactive Transformation of Functional Programs
Proceedings of the Software Transformation Systems 1999 (STS'99) Workshop, Los Angeles
1999
System Support for the Interactive Transformation of Functional Programs
Proceedings of the Software Transformation Systems 1999 (STS'99) Workshop, Los Angeles
1999
69.
Holger Knublauch
Three Patterns for the Implementation of Ontologies in Java
OOPSLA'99 Metadata and Active Object-Model Pattern Mining Workshop, Denver, CO, USA
1999
Three Patterns for the Implementation of Ontologies in Java
OOPSLA'99 Metadata and Active Object-Model Pattern Mining Workshop, Denver, CO, USA
1999
68.
M. Sedlmayr, Holger Knublauch, T. Rose
Towards an Anaesthesiology Information System
Combined ESCTAIC / SCATA Meeting, Glasgow, UK
1999
Towards an Anaesthesiology Information System
Combined ESCTAIC / SCATA Meeting, Glasgow, UK
1999
67.
D. Hutter, H. Mantel, G. Rock, W. Stephan, A. Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
VSE: Controlling the Complexity in Formal Software Developments
, Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends 98), BoppardBand1641ausLecture Notes in Computer Science
Herausgeber: Springer-Verlag
1999
VSE: Controlling the Complexity in Formal Software Developments
, Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends 98), BoppardBand1641ausLecture Notes in Computer Science
Herausgeber: Springer-Verlag
1999
1998
66.
Wolfgang Reif
Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik
Künstliche Intelligenz, 12 (4) :42-48
Dezember 1998
Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik
Künstliche Intelligenz, 12 (4) :42-48
Dezember 1998
65.
Wolfgang Reif
Software-Sicherheit mit formalen Methoden
Softwaretechnik-Trends, 18 (3)
August 1998
Software-Sicherheit mit formalen Methoden
Softwaretechnik-Trends, 18 (3)
August 1998
64.
Peter Salamon, Paolo Sibani, Wolfgang Gehring, R. Whitney, R. Frost
Toward a taxonomy of NP-hard combinatorial optimization problems
Bulletin of the American Physical Society, 43 (1)
März 1998
Toward a taxonomy of NP-hard combinatorial optimization problems
Bulletin of the American Physical Society, 43 (1)
März 1998
63.
Dietmar Ernst, Frank Houdek, Thilo Schwinn
An Experimental Comparison of Static and Dynamic Defect Detection Techniques
Conference Proceedings of the Eleventh International Software Quality Week (QW 98), San Francisco, California
1998
An Experimental Comparison of Static and Dynamic Defect Detection Techniques
Conference Proceedings of the Eleventh International Software Quality Week (QW 98), San Francisco, California
1998
62.
T. Nipkow, Wolfgang Reif
An Introduction to Interactive Theorem Proving
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications
Herausgeber: Kluwer Academic Publishers
1998
An Introduction to Interactive Theorem Proving
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications
Herausgeber: Kluwer Academic Publishers
1998
61.
Dietmar Ernst, Frank Houdek
Applying Metrics to Cross-Technical Evaluations
In Coombes, H. and Hooft van Huysduynen, M. and Peeters, B., Editor, The European Software Measurement Conference Fesma 98, Antwerp, Belgium
In Coombes, H. and Hooft van Huysduynen, M. and Peeters, B., Editor
1998
Applying Metrics to Cross-Technical Evaluations
In Coombes, H. and Hooft van Huysduynen, M. and Peeters, B., Editor, The European Software Measurement Conference Fesma 98, Antwerp, Belgium
In Coombes, H. and Hooft van Huysduynen, M. and Peeters, B., Editor
1998
60.
Egon Börger, Wolfram Schulte
Defining the Java Virtual Machine as Platform for Provably correct Java Compilation
In Brim, L. and Gruska, J. and Zlatuska, J., Editor, Proceedings of the 23rd International Symposium on Mathematical Foundation of Computer Science (MFCS´98), Brno, Czech RepublicBand1450ausLecture Notes in Computer Science
In Brim, L. and Gruska, J. and Zlatuska, J., Editor
Herausgeber: Springer-Verlag
1998
Defining the Java Virtual Machine as Platform for Provably correct Java Compilation
In Brim, L. and Gruska, J. and Zlatuska, J., Editor, Proceedings of the 23rd International Symposium on Mathematical Foundation of Computer Science (MFCS´98), Brno, Czech RepublicBand1450ausLecture Notes in Computer Science
In Brim, L. and Gruska, J. and Zlatuska, J., Editor
Herausgeber: Springer-Verlag
1998
59.
D. Fensel, F. von Hamelen, Wolfgang Reif, A. ten Teije
Formal Support for the Development of Knowledge-based Systems
Information Technology Management, 2 (4)
1998
Formal Support for the Development of Knowledge-based Systems
Information Technology Management, 2 (4)
1998
58.
W. Ahrendt, B. Beckert, R. Hähnle, W. Menzel, Wolfgang Reif, Gerhard Schellhorn, P. Schmitt
Integrating Automated and Interactive Theorem Proving
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications Band 2: Systems and Implementation Techniques
Kapitel 1: Interactive Theorem Proving
Herausgeber: Kluwer Academic Publishers
1998
Integrating Automated and Interactive Theorem Proving
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications Band 2: Systems and Implementation Techniques
Kapitel 1: Interactive Theorem Proving
Herausgeber: Kluwer Academic Publishers
1998
57.
Gerhard Schellhorn
Proving Properties of Directed Graphs: A Problem Set for Automated Theorem Provers
Dokument Nummer: 98-12
Universität Ulm
1998
Proving Properties of Directed Graphs: A Problem Set for Automated Theorem Provers
Dokument Nummer: 98-12
Universität Ulm
1998
56.
Frank Houdek, Dietmar Ernst, Thilo Schwinn
Prüfen von C-Code und Statemate/Matlab-Spezifikationen: Ein Experiment
Dokument Nummer: 98-11
Universität Ulm
1998
Prüfen von C-Code und Statemate/Matlab-Spezifikationen: Ein Experiment
Dokument Nummer: 98-11
Universität Ulm
1998
55.
C. Greiner, Holger Knublauch, M. Sedlmayr, T. Rose
Representing and Processing Various Knowledge Types in an Anaesthesia Information System
Annual Meeting of the European Society for Computing and Technology in Anaesthesia and Intensive Care (ESCTAIC), Villach, Austria
1998
Representing and Processing Various Knowledge Types in an Anaesthesia Information System
Annual Meeting of the European Society for Computing and Technology in Anaesthesia and Intensive Care (ESCTAIC), Villach, Austria
1998
54.
Helmuth Partsch
Requirements-Engineering systematisch - Modellbildung für softwaregestützte Systeme
Herausgeber: Springer-Verlag
1998
Requirements-Engineering systematisch - Modellbildung für softwaregestützte Systeme
Herausgeber: Springer-Verlag
1998
53.
Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Michael Balser
Structured specifications and interactive proofs with KIV
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications
Herausgeber: Kluwer Academic Publishers
1998
Structured specifications and interactive proofs with KIV
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications
Herausgeber: Kluwer Academic Publishers
1998
52.
Gerhard Schellhorn, W. Ahrendt
The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications Band 3: Applications
Kapitel 3: Automated Theorem Proving in Software Engineering
Herausgeber: Kluwer Academic Publishers
1998
The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications Band 3: Applications
Kapitel 3: Automated Theorem Proving in Software Engineering
Herausgeber: Kluwer Academic Publishers
1998
51.
Wolfgang Reif, Gerhard Schellhorn
Theorem Proving in Large Theories
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications Band 3: Applications
Kapitel 2
Herausgeber: Kluwer Academic Publishers
1998
Theorem Proving in Large Theories
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications Band 3: Applications
Kapitel 2
Herausgeber: Kluwer Academic Publishers
1998
50.
Gerhard Schellhorn, Wolfgang Reif
Theorems from Compiler Verification: A Problem Set for Automated Theorem Provers
Dokument Nummer: 98-13
Universität Ulm
1998
Theorems from Compiler Verification: A Problem Set for Automated Theorem Provers
Dokument Nummer: 98-13
Universität Ulm
1998
49.
Michael Schwarz
Theorie und Praxis erfahrbar machen - der Wurf ins kalte Wasser: Praxisnahes Arbeiten im Grundstudium
Handbuch Hochschullehre
Herausgeber: Raabe-Verlag
1998
Theorie und Praxis erfahrbar machen - der Wurf ins kalte Wasser: Praxisnahes Arbeiten im Grundstudium
Handbuch Hochschullehre
Herausgeber: Raabe-Verlag
1998
1997
48.
Klaus Achatz, Wolfram Schulte
A Formal OO Method Inspired by Fusion and Object-Z
In Bowen, J. P. and Hinchey, M. G. and Till, D., Editor, ZUM'97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UKBand1212ausLecture Notes in Computer Science
In Bowen, J. P. and Hinchey, M. G. and Till, D., Editor
Herausgeber: Springer-Verlag
1997
A Formal OO Method Inspired by Fusion and Object-Z
In Bowen, J. P. and Hinchey, M. G. and Till, D., Editor, ZUM'97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UKBand1212ausLecture Notes in Computer Science
In Bowen, J. P. and Hinchey, M. G. and Till, D., Editor
Herausgeber: Springer-Verlag
1997
47.
Klaus Achatz, Helmuth Partsch
A Powerful Transformation Rule, its Applications and Variants
Proceedings of the 50th meeting of the IFIP Working Conference on Algorithmic Language and Calculi and IFIP Working Group 2.1, Le Bischenberg, France
1997
A Powerful Transformation Rule, its Applications and Variants
Proceedings of the 50th meeting of the IFIP Working Conference on Algorithmic Language and Calculi and IFIP Working Group 2.1, Le Bischenberg, France
1997
46.
Dietmar Ernst, Frank Houdek, Thilo Schwinn, Wolfram Schulte
Experimenteller Vergleich statischer und dynamischer Softwareprüfung für eingebettete Systeme
Dokument Nummer: 97-13
Universität Ulm
1997
Experimenteller Vergleich statischer und dynamischer Softwareprüfung für eingebettete Systeme
Dokument Nummer: 97-13
Universität Ulm
1997
45.
Klaus Achatz, Wolfram Schulte
Formale objektorientierte Softwareentwicklung mit FOX
Informatik: Forschung und Entwicklung, 12 (4) :174-185
1997
Formale objektorientierte Softwareentwicklung mit FOX
Informatik: Forschung und Entwicklung, 12 (4) :174-185
1997
44.
Klaus Achatz, Wolfram Schulte
Functional Object-oriented Programming with Object-Gofer
Informatik '97: Informatik als Innovationsmotor, Informatik aktuell
Herausgeber: Springer-Verlag
1997
Functional Object-oriented Programming with Object-Gofer
Informatik '97: Informatik als Innovationsmotor, Informatik aktuell
Herausgeber: Springer-Verlag
1997
43.
Gerhard Schellhorn, Wolfgang Reif
Proving Properties of Finite Enumerations: A Problem Set for Automated Theorem Provers
Dokument Nummer: 97-12
Universität Ulm
1997
Proving Properties of Finite Enumerations: A Problem Set for Automated Theorem Provers
Dokument Nummer: 97-12
Universität Ulm
1997
42.
Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
Proving System Correctness with KIV
In Bidoit, M. and Dauchet, M., Editor, Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), Lille, FranceBand1214ausLecture Notes in Computer Science
In Bidoit, M. and Dauchet, M., Editor
Herausgeber: Springer-Verlag
1997
Proving System Correctness with KIV
In Bidoit, M. and Dauchet, M., Editor, Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), Lille, FranceBand1214ausLecture Notes in Computer Science
In Bidoit, M. and Dauchet, M., Editor
Herausgeber: Springer-Verlag
1997
41.
Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
Proving System Correctness with KIV 3.0
, Proceedings of the 14th International Conference on Automated Deduction, Townsville, AustraliaBand1249ausLecture Notes in Computer Science
Herausgeber: Springer-Verlag
1997
Proving System Correctness with KIV 3.0
, Proceedings of the 14th International Conference on Automated Deduction, Townsville, AustraliaBand1249ausLecture Notes in Computer Science
Herausgeber: Springer-Verlag
1997
40.
Wolfram Schulte, Michael Schwarz
Realistische Aufgabenstellungen für das Softwaregrundpraktikum
In Forbig, P. and Riedewald, G., Editor, Software Engineering im Unterricht der Hochschulen (SEUH'97)
In Forbig, P. and Riedewald, G., Editor
Herausgeber: Teubner-Verlag
1997
Realistische Aufgabenstellungen für das Softwaregrundpraktikum
In Forbig, P. and Riedewald, G., Editor, Software Engineering im Unterricht der Hochschulen (SEUH'97)
In Forbig, P. and Riedewald, G., Editor
Herausgeber: Teubner-Verlag
1997
39.
Michael Schwarz, Wolfram Schulte
Realistische Aufgabenstellungen für das Softwaregrundpraktikum
, Workshop des German Chapter of the ACM und der Gesellschaft für Informatik, Software Engineering im Unterricht der Hochschulen SEUH'97, RostockBand48ausBerichte des German Chapter of the ACM, Seite 94-104
Herausgeber: B. G. Teubner
1997
Realistische Aufgabenstellungen für das Softwaregrundpraktikum
, Workshop des German Chapter of the ACM und der Gesellschaft für Informatik, Software Engineering im Unterricht der Hochschulen SEUH'97, RostockBand48ausBerichte des German Chapter of the ACM, Seite 94-104
Herausgeber: B. G. Teubner
1997
38.
Gerhard Schellhorn, W. Ahrendt
Reasoning about Abstract State Machines: The WAM Case Study
Journal of Universal Computer Science, 3 (4) :377-413
1997
Reasoning about Abstract State Machines: The WAM Case Study
Journal of Universal Computer Science, 3 (4) :377-413
1997
37.
Wolfgang Reif
Risikofaktor Software
In Jantke, K. and Grieger, G. and Wittig, W., Editor, Impulse für Informatik-Innovationen
Herausgeber: Infix-Verlag
1997
Risikofaktor Software
In Jantke, K. and Grieger, G. and Wittig, W., Editor, Impulse für Informatik-Innovationen
Herausgeber: Infix-Verlag
1997
36.
Wolfgang Reif
Software-Verifikation und ihre Anwendungen
it+ti Themenheft Formale Entwurfsmethoden - Software Correctness
Herausgeber: Oldenbourg-Verlag
1997
Software-Verifikation und ihre Anwendungen
it+ti Themenheft Formale Entwurfsmethoden - Software Correctness
Herausgeber: Oldenbourg-Verlag
1997
35.
K. Claessen, Ton Vullinghs, E. Meijer
Structuring graphical paradigms in TkGofer
In Peyton Jones, S., Editor, Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICP'97), Amsterdam
In Peyton Jones, S., Editor
1997
Structuring graphical paradigms in TkGofer
In Peyton Jones, S., Editor, Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICP'97), Amsterdam
In Peyton Jones, S., Editor
1997
34.
H. Braxmeier, Dietmar Ernst, Andrea Mößle, H. Vogler
The Project NoName: A functional programming language with ist development environment
Dokument Nummer: 97-08
Universität Ulm
1997
The Project NoName: A functional programming language with ist development environment
Dokument Nummer: 97-08
Universität Ulm
1997
33.
Wolfgang Reif, Gerhard Schellhorn
Theorem Proving in Large Theories
Dokument Nummer: 97-14
Universität Ulm
1997
Theorem Proving in Large Theories
Dokument Nummer: 97-14
Universität Ulm
1997
1996
32.
Ton Vullinghs, Wolfram Schulte, Thilo Schwinn
An Introduction into TkGofer
Dokument Nummer: 96-03
Universität Ulm
1996
An Introduction into TkGofer
Dokument Nummer: 96-03
Universität Ulm
1996
31.
Klaus Achatz, Wolfram Schulte
Formale objektorientierte Softwareentwicklung
Softwaretechnik-Trends, 16 (3)
1996
Formale objektorientierte Softwareentwicklung
Softwaretechnik-Trends, 16 (3)
1996
30.
Klaus Achatz, Helmuth Partsch
From Descriptive Specifications to Operational ones: A Powerful Transformation Rule, its Applications and Variants
Dokument Nummer: 96-13
Universität Ulm
1996
From Descriptive Specifications to Operational ones: A Powerful Transformation Rule, its Applications and Variants
Dokument Nummer: 96-13
Universität Ulm
1996
29.
Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
KIV 3.0: Concepts and applications
Fachbereich Informatik, Universität Bremen
1996
KIV 3.0: Concepts and applications
Fachbereich Informatik, Universität Bremen
1996
28.
A. Heckler, R. Hettler, H. Hußmann, J. Loeckx, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
LEX: a case study in development and validation of formal specifications
Dokument Nummer: A/06/96
Fachbereich Informatik, Universität Saarbrücken
1996
LEX: a case study in development and validation of formal specifications
Dokument Nummer: A/06/96
Fachbereich Informatik, Universität Saarbrücken
1996
27.
Klaus Achatz, Wolfram Schulte
Massive Parallelization of Divide-and-Conquer-Algorithms over Powerlists
Science of Computer Programming, 26 (1-3) :59-78
1996
Massive Parallelization of Divide-and-Conquer-Algorithms over Powerlists
Science of Computer Programming, 26 (1-3) :59-78
1996
26.
Kurt Stenzel
Pilotanwendungen mit KIV
Dokument Nummer: FI96/06
Fakultät für Informatik, Technische Universität Dresden
1996
Pilotanwendungen mit KIV
Dokument Nummer: FI96/06
Fakultät für Informatik, Technische Universität Dresden
1996
25.
Wolfgang Reif, Kurt Stenzel
Reuse of Proofs in Software Verification
SADHANA: Academy Proceedings in Engineering Sciences, 21 (2)
1996
Reuse of Proofs in Software Verification
SADHANA: Academy Proceedings in Engineering Sciences, 21 (2)
1996
24.
Wolfgang Reif
Software Verifikation: Stand und Perspektiven
Dokument Nummer: 96-06
Universität Ulm
1996
Software Verifikation: Stand und Perspektiven
Dokument Nummer: 96-06
Universität Ulm
1996
23.
Ton Vullinghs, Wolfram Schulte, Thilo Schwinn
The Design of a Functional GUI Library Using Constructor Classes
In Bjørner, D. and Broy, M. and Pottosin, I., Editor, Proceedings of the 2nd International Andrei Ershov Memorial Conference on Perspectives of System Informatics, Akademgorodok, Novosibirsk, RussiaBand1181ausLecture Notes in Computer Science, Seite 398-408
In Bjørner, D. and Broy, M. and Pottosin, I., Editor
Herausgeber: Springer-Verlag
1996
The Design of a Functional GUI Library Using Constructor Classes
In Bjørner, D. and Broy, M. and Pottosin, I., Editor, Proceedings of the 2nd International Andrei Ershov Memorial Conference on Perspectives of System Informatics, Akademgorodok, Novosibirsk, RussiaBand1181ausLecture Notes in Computer Science, Seite 398-408
In Bjørner, D. and Broy, M. and Pottosin, I., Editor
Herausgeber: Springer-Verlag
1996
22.
Ton Vullinghs, Wolfram Schulte, Thilo Schwinn
The Implementation of a Functional GUI Library
Proceedings of the 2nd Italian Workshop on Functional Programming (FUN'96), Pisa, Italy
1996
The Implementation of a Functional GUI Library
Proceedings of the 2nd Italian Workshop on Functional Programming (FUN'96), Pisa, Italy
1996
21.
Ton Vullinghs, Wolfram Schulte, Thilo Schwinn
TkGofer: A Functional GUI Library
In Wirsing, M. and Nivat, M., Editor, Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology (AMAST'96), München, DeutschlandBand1101ausLecture Notes in Computer Science, Seite 621-624
In Wirsing, M. and Nivat, M., Editor
Herausgeber: Springer-Verlag
1996
TkGofer: A Functional GUI Library
In Wirsing, M. and Nivat, M., Editor, Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology (AMAST'96), München, DeutschlandBand1101ausLecture Notes in Computer Science, Seite 621-624
In Wirsing, M. and Nivat, M., Editor
Herausgeber: Springer-Verlag
1996
20.
B. Biechele, Dietmar Ernst, Frank Houdek, Joachim Schmid, Wolfram Schulte
Untersuchung verschiedener SA/RT-Ansätze für die Modellierung eingebetteter Systeme
Dokument Nummer: 96-09
Universität Ulm
1996
Untersuchung verschiedener SA/RT-Ansätze für die Modellierung eingebetteter Systeme
Dokument Nummer: 96-09
Universität Ulm
1996
19.
Gerhard Schellhorn, W. Ahrendt
Verification of a Prolog Compiler - First Steps with KIV
Dokument Nummer: 96-05
Universität Ulm
1996
Verification of a Prolog Compiler - First Steps with KIV
Dokument Nummer: 96-05
Universität Ulm
1996
1995
18.
Peter Pepper, M. Wirsing, R. Betschko, Manfred Broy, S. Dick, K. Didrich, J. Faulhaber, W. Grieskamp, H. Hußmann, M. Mehlich, Wolfgang Reif
A Method for the Development of Correct Software
In Broy, M. and Jähnichen, S., Editor, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final ReportBand1009ausLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Herausgeber: Springer-Verlag
1995
A Method for the Development of Correct Software
In Broy, M. and Jähnichen, S., Editor, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final ReportBand1009ausLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Herausgeber: Springer-Verlag
1995
17.
Klaus Achatz, Wolfram Schulte
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
In Möller, B., Editor, Mathematics of Program ConstructionBand947ausLecture Notes in Computer Science
In Möller, B., Editor
Herausgeber: Springer-Verlag
1995
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
In Möller, B., Editor, Mathematics of Program ConstructionBand947ausLecture Notes in Computer Science
In Möller, B., Editor
Herausgeber: Springer-Verlag
1995
16.
Klaus Achatz, Wolfram Schulte
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
Dokument Nummer: 95-05
Universität Ulm
1995
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
Dokument Nummer: 95-05
Universität Ulm
1995
15.
Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
Interactive Correctness Proofs for Software Modules Using KIV
COMPASS'95 - Tenth Annual Conference on Computer Assurance (Gaithersburg, MD, USA)
Herausgeber: IEEE press
1995
Interactive Correctness Proofs for Software Modules Using KIV
COMPASS'95 - Tenth Annual Conference on Computer Assurance (Gaithersburg, MD, USA)
Herausgeber: IEEE press
1995
14.
Ton Vullinghs, Daniël Tuijnman, Wolfram Schulte
Lightweight GUIs for functional programming
In Hermenegildo, M. and Swierstra, S. D., Editor, Proceedings of the 7th International Symposium PLILP95Band982ausLecture Notes in Computer Science
In Hermenegildo, M. and Swierstra, S. D., Editor
Herausgeber: Springer-Verlag
1995
Lightweight GUIs for functional programming
In Hermenegildo, M. and Swierstra, S. D., Editor, Proceedings of the 7th International Symposium PLILP95Band982ausLecture Notes in Computer Science
In Hermenegildo, M. and Swierstra, S. D., Editor
Herausgeber: Springer-Verlag
1995
13.
Klaus Achatz, Wolfram Schulte
Massive Parallelization of Divide-and-Conquer-Algorithms over Powerlists
Dokument Nummer: 95-12
Universität Ulm
1995
Massive Parallelization of Divide-and-Conquer-Algorithms over Powerlists
Dokument Nummer: 95-12
Universität Ulm
1995
12.
Wolfgang Reif, Kurt Stenzel
Reuse of Proofs in Software Verification
In Köhler, J., Editor, Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs (Montreal, Quebec)
In Köhler, J., Editor
1995
Reuse of Proofs in Software Verification
In Köhler, J., Editor, Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs (Montreal, Quebec)
In Köhler, J., Editor
1995
11.
Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
Tactics in KIV
Journal on Information Processing and Cybernetics, 30
1995
Tactics in KIV
Journal on Information Processing and Cybernetics, 30
1995
10.
Wolfgang Reif
The KIV-approach to Software Verification
In Broy, M. and Jähnichen, S., Editor, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final ReportBand1009ausLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Herausgeber: Springer-Verlag
1995
The KIV-approach to Software Verification
In Broy, M. and Jähnichen, S., Editor, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final ReportBand1009ausLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Herausgeber: Springer-Verlag
1995
9.
D. Hutter, B. Langenstein, F. Koob, Wolfgang Reif, C. Sengler, W. Stephan, M. Ullmann, M. Wittmann, A. Wolpers
The VSE Development Method - A Way to Engineer High-Assurance Software Systems
In Gotzheim, B., Editor, GI/ITG Tagung Formale Beschreibungstechniken für verteilte Systeme
Universität Kaiserslautern
In Gotzheim, B., Editor
1995
The VSE Development Method - A Way to Engineer High-Assurance Software Systems
In Gotzheim, B., Editor, GI/ITG Tagung Formale Beschreibungstechniken für verteilte Systeme
Universität Kaiserslautern
In Gotzheim, B., Editor
1995
8.
T. Fuchß, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
Three Selected Case Studies in Verification
In Broy, M. and Jähnichen, S., Editor, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final ReportBand1009ausLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Herausgeber: Springer-Verlag
1995
Three Selected Case Studies in Verification
In Broy, M. and Jähnichen, S., Editor, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final ReportBand1009ausLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Herausgeber: Springer-Verlag
1995
1994
7.
Klaus Achatz, Wolfram Schulte
Eine Einführung in die transformationelle Entwicklung von SIMD Programmen
39. internationales wissenschaftliches Kolloquium, Technische Universität Ilmenau
1994
Eine Einführung in die transformationelle Entwicklung von SIMD Programmen
39. internationales wissenschaftliches Kolloquium, Technische Universität Ilmenau
1994
6.
Wolfram Schulte, Ton Vullinghs
Linking Reactive Software to the X-Window System
Dokument Nummer: 94-14
Universität Ulm
1994
Linking Reactive Software to the X-Window System
Dokument Nummer: 94-14
Universität Ulm
1994
5.
Ton Vullinghs
Transformational Program Development Using CIPS
In Buth, B. and Berghammer, R., Editor, Systems for Computer-Aided Specification, Development and Verification
Christian-Albrechts-Universität Kiel
In Buth, B. and Berghammer, R., Editor
1994
Transformational Program Development Using CIPS
In Buth, B. and Berghammer, R., Editor, Systems for Computer-Aided Specification, Development and Verification
Christian-Albrechts-Universität Kiel
In Buth, B. and Berghammer, R., Editor
1994
1993
4.
E. A. Boiten, A. M. Geerling, H. A. Partsch
Transformational derivation of (parallel) programs using skeletons
Proceedings of the ERCIM Workshop on Development and Transformation of Programs, INRIA, Nancy
November 1993
Transformational derivation of (parallel) programs using skeletons
Proceedings of the ERCIM Workshop on Development and Transformation of Programs, INRIA, Nancy
November 1993
3.
Helmuth Partsch
Formal Problem Specification on an Algebraic Basis
In Möller, B. and Partsch, H. and Schuman, S., Editor, Formal Program Development: IFIP TC2 State-of-the-Art Report Band 755 aus Lecture Notes in Computer Science
Seite 183-224
Herausgeber: Springer-Verlag
1993
183-224
Formal Problem Specification on an Algebraic Basis
In Möller, B. and Partsch, H. and Schuman, S., Editor, Formal Program Development: IFIP TC2 State-of-the-Art Report Band 755 aus Lecture Notes in Computer Science
Seite 183-224
Herausgeber: Springer-Verlag
1993
183-224
2.
Formal Program Development: IFIP TC2 State-of-the-Art Report
In Möller, B. and Partsch, H. and Schuman, S., Editor, Band 755 aus Lecture Notes in Computer Science
Herausgeber: Springer-Verlag
1993
1.
Helmuth Partsch
Some Experiments in Transformaing Towards Parallel Executability
In Paige, R. and Reif, J. and Wachters, R., Editor, Parallel Algorithm Derviation and Program Transformation
Herausgeber: Kluwer Academic Publishers
1993
Some Experiments in Transformaing Towards Parallel Executability
In Paige, R. and Reif, J. and Wachters, R., Editor, Parallel Algorithm Derviation and Program Transformation
Herausgeber: Kluwer Academic Publishers
1993
