2006
206.
Frühwirth,
Thom;
Abdennadher,
Slim
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.
Schrijvers,
T.;
Frühwirth,
Thom
Programming Pearl: Optimal Union-Find in Constraint Handling Rules
Theory and Practice of Logic Programming, 6 (1-2) :213-224
January 2006
Programming Pearl: Optimal Union-Find in Constraint Handling Rules
Theory and Practice of Logic Programming, 6 (1-2) :213-224
January 2006
204.
Tavakoli Kolagari,
Ramin;
Porta,
N. F.
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, Page 81-97
In Schneider, K., Editor
Publisher: 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, Page 81-97
In Schneider, K., Editor
Publisher: Universität Hannover
2006
203.
Guttmann,
Walter;
Maucher,
M.
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 2006Volume209fromIFIP International Federation for Information Processing, Page 77-90
In Navarro, G. and Bertossi, L. and Kohayakawa, Y., Editor
Publisher: 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 2006Volume209fromIFIP International Federation for Information Processing, Page 77-90
In Navarro, G. and Bertossi, L. and Kohayakawa, Y., Editor
Publisher: Springer-Verlag
2006
| DOI: | 10.1007/978-0-387-34735-6_10 |
2005
202.
Guttmann,
Walter;
Maucher,
M.
Constrained Ordering
Document Number: UIB-2005-03
Universität Ulm
December 2005
Constrained Ordering
Document Number: UIB-2005-03
Universität Ulm
December 2005
201.
Kleiner,
Niko
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.
Betz,
Hariolf;
Frühwirth,
Thom
A Linear-Logic Semantics for Constraint Handling Rules
In van Beek, P., Editor, 11th Conference on Principles and Practice of Constraint Programming CP 2005Volume3709fromLecture Notes in Computer Science, Page 137-151
In van Beek, P., Editor
Publisher: Springer-Verlag
October 2005
A Linear-Logic Semantics for Constraint Handling Rules
In van Beek, P., Editor, 11th Conference on Principles and Practice of Constraint Programming CP 2005Volume3709fromLecture Notes in Computer Science, Page 137-151
In van Beek, P., Editor
Publisher: Springer-Verlag
October 2005
| DOI: | 10.1007/11564751_13 |
199.
Sarstedt,
Stefan;
Gessenharter,
Dominik;
Kohlmeyer,
Jens;
Raschke,
Alexander;
Schneiderhan,
Matthias
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), Page 66-73
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor
October 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), Page 66-73
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor
October 2005
198.
Sarstedt,
Stefan
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), Page 61-65
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor
October 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), Page 61-65
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor
October 2005
197.
Frühwirth,
Thom
Parallelizing Union-Find in Constraint Handling Rules Using Confluence
In Gabbrielli, M. and Gupta G., Editor, Logic Programming: 21st International Conference, ICLP 2005Volume3668fromLecture Notes in Computer Science, Page 113-127
In Gabbrielli, M. and Gupta G., Editor
Publisher: Springer-Verlag
October 2005
Parallelizing Union-Find in Constraint Handling Rules Using Confluence
In Gabbrielli, M. and Gupta G., Editor, Logic Programming: 21st International Conference, ICLP 2005Volume3668fromLecture Notes in Computer Science, Page 113-127
In Gabbrielli, M. and Gupta G., Editor
Publisher: Springer-Verlag
October 2005
196.
Frühwirth,
Thom
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 RulesfromTechnical Report, Page 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 RulesfromTechnical Report, Page 79-91
Departement Computerwetenschappen, Katholieke Universiteit Leuven
In Schrijvers, T. and Frühwirth, T., Editor
September 2005
195.
Guttmann,
Walter;
Möller,
Bernhard
Modal Design Algebra
Document Number: 2005-15
Institut für Informatik, Universität Augsburg
September 2005
Modal Design Algebra
Document Number: 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 from Technical Report
Departement Computerwetenschappen, Katholieke Universiteit Leuven
September 2005
193.
Sarstedt,
Stefan;
Kohlmeyer,
Jens;
Raschke,
Alexander;
Schneiderhan,
Matthias
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)Volume1, Page 396-400
In Arabnia, H. R. and Reza, H., Editor
June 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)Volume1, Page 396-400
In Arabnia, H. R. and Reza, H., Editor
June 2005
192.
Sarstedt,
Stefan;
Kohlmeyer,
Jens;
Raschke,
Alexander;
Schneiderhan,
Matthias
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), Page 237-246
In Arabnia, H. R., Editor
June 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), Page 237-246
In Arabnia, H. R., Editor
June 2005
191.
Schrijvers,
T.;
Demoen,
B.;
Duck,
G.;
Stuckey,
P.;
Frühwirth,
Thom
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 from Ulmer Informatik-Berichte
Universität Ulm
February 2005
189.
Schrijvers,
T.;
Frühwirth,
Thom
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 2005fromUlmer Informatik-Berichte, Page 135-146
Universität Ulm
In Wolf, A. and Frühwirth, T. and Meister, M., Editor
February 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 2005fromUlmer Informatik-Berichte, Page 135-146
Universität Ulm
In Wolf, A. and Frühwirth, T. and Meister, M., Editor
February 2005
188.
Guttmann,
Walter
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), Page 87-94
In Düntsch, I. and Winter, M., Editor
Publisher: Computer Science Department, Brock University, St. Catharines, Ontario, Canada
February 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), Page 87-94
In Düntsch, I. and Winter, M., Editor
Publisher: Computer Science Department, Brock University, St. Catharines, Ontario, Canada
February 2005
187.
Schrijvers,
T.;
Demoen,
B.;
Duck,
G. J.;
Stuckey,
P. J.;
Frühwirth,
Thom
Automatic implication checking for CHR constraint solvers
Document Number: CW 402
Departement Computerwetenschappen, Katholieke Universiteit Leuven
January 2005
Automatic implication checking for CHR constraint solvers
Document Number: CW 402
Departement Computerwetenschappen, Katholieke Universiteit Leuven
January 2005
186.
Abdennadher,
Slim;
Frühwirth,
Thom;
Holzbaur,
Christian
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.
Gehring,
Wolfgang
Leistungspunktesysteme: Eine erste Bilanz
Publisher: Universitätsverlag Ulm
January 2005
Leistungspunktesysteme: Eine erste Bilanz
Publisher: Universitätsverlag Ulm
January 2005
184.
Frühwirth,
Thom
Specialization of Concurrent Guarded Multi-Set Transformation Rules
In Etalle, S., Editor, Logic-based Program Synthesis and Transformation (LOPSTR'04)Volume3573fromLecture Notes in Computer Science, Page 133-148
In Etalle, S., Editor
Publisher: Springer-Verlag
2005
Specialization of Concurrent Guarded Multi-Set Transformation Rules
In Etalle, S., Editor, Logic-based Program Synthesis and Transformation (LOPSTR'04)Volume3573fromLecture Notes in Computer Science, Page 133-148
In Etalle, S., Editor
Publisher: Springer-Verlag
2005
2004
183.
Ballhause,
C.;
Tavakoli Kolagari,
Ramin
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.
Buhr,
K.;
Tavakoli Kolagari,
Ramin
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.
Schmid,
M.;
Kohlmeyer,
Jens
Combining simulated biological components to achieve a powerful simulation environment
Proceedings of the European Simulation and Modelling Conference ESMc2004, Paris, France, Page 140-142
October 2004
Combining simulated biological components to achieve a powerful simulation environment
Proceedings of the European Simulation and Modelling Conference ESMc2004, Paris, France, Page 140-142
October 2004
180.
Jaufman,
O.;
Dold,
A.;
Häberlein,
Tobias;
Schlumpberger,
C.;
Stupperich,
M.;
Kleiner,
Niko
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
October 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
October 2004
179.
Poster Proceedings of the 27th Annual German Conference on Artificial Intelligence
In Biundo, S. and Frühwirth, T. and Palm, G., Editor from Ulmer Informatik-Berichte
Universität Ulm
September 2004
178.
Sarstedt,
Stefan;
Raschke,
Alexander;
Kohlmeyer,
Jens
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), UlmVolume2, Page 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), UlmVolume2, Page 408-417
In Dadam, P. and Reichert, M., Editor
September 2004
177.
Alexander,
Ian;
Tavakoli Kolagari,
Ramin
Putting Scenarios into Practice
In Alexander, I. and Maiden, N., Editor, Scenarios, Stories, Use Cases
Chapter 22, Page 431-444
Publisher: John Wiley & Sons
August 2004
431-444
Putting Scenarios into Practice
In Alexander, I. and Maiden, N., Editor, Scenarios, Stories, Use Cases
Chapter 22, Page 431-444
Publisher: John Wiley & Sons
August 2004
431-444
176.
Schrijvers,
T.;
Frühwirth,
Thom
Implementing and Analysing Union-Find in CHR
Document Number: CW 389
Departement Computerwetenschappen, Katholieke Universiteit Leuven
July 2004
Implementing and Analysing Union-Find in CHR
Document Number: CW 389
Departement Computerwetenschappen, Katholieke Universiteit Leuven
July 2004
175.
Gehring,
Wolfgang;
Salamon,
Peter;
Whitney,
Roger;
Sibani,
Paolo
Correlation structure of landscapes of NP-complete optimization problems at finite temperature
Open Systems and Information Dynamics, 11 (2) :177-184
June 2004
Correlation structure of landscapes of NP-complete optimization problems at finite temperature
Open Systems and Information Dynamics, 11 (2) :177-184
June 2004
174.
Hammori,
Markus;
Herbst,
Joachim;
Kleiner,
Niko
Interactive Workflow Mining
Proceedings of the 2nd International Conference on Business Process Management (BPM '04), Potsdam
June 2004
Interactive Workflow Mining
Proceedings of the 2nd International Conference on Business Process Management (BPM '04), Potsdam
June 2004
173.
Kleiner,
Niko
Supporting Usage-Centered Design of Emerging Workflows
Proceedings of the 2nd International Conference on Business Process Management (BPM '04), Potsdam
June 2004
Supporting Usage-Centered Design of Emerging Workflows
Proceedings of the 2nd International Conference on Business Process Management (BPM '04), Potsdam
June 2004
172.
Kleiner,
Niko
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
May 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
May 2004
171.
First Workshop on Constraint Handling Rules: Selected Contributions
In Frühwirth, T. and Meister, M., Editor from Ulmer Informatik-Berichte
Universität Ulm
May 2004
170.
Gehring,
Wolfgang
Germany's System of Higher Education in Transition on its Way to Bologna
4th International Academic Conference, Andrzej Frycz Modrzewski Cracow College, Krakau, Poland
May 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
May 2004
169.
Bistarelli,
S.;
Frühwirth,
Thom;
Marte,
M.;
Rossi,
F.
Soft Constraint Propagation and Solving in Constraint Handling Rules
Computational Intelligence: Special Issue on Preferences in AI and CP, 20 (2) :287-307
May 2004
Soft Constraint Propagation and Solving in Constraint Handling Rules
Computational Intelligence: Special Issue on Preferences in AI and CP, 20 (2) :287-307
May 2004
168.
Gehring,
Wolfgang
Leistungspunkte und Module: Erstellung eines Modulkatalogs
Leistungspunkte und Modul-Management: Konzepte und Erfahrungen bei Bewertung, Anerkennung und Austausch von Modulen, Leipzig, Page 151-157
March 2004
Leistungspunkte und Module: Erstellung eines Modulkatalogs
Leistungspunkte und Modul-Management: Konzepte und Erfahrungen bei Bewertung, Anerkennung und Austausch von Modulen, Leipzig, Page 151-157
March 2004
167.
Tavakoli Kolagari,
Ramin;
Raschke,
Alexander
Vergleich von klassischer und agiler Entwicklungsmethodik anhand der Entwicklung eines in Statemate simulierbaren Modells eines Türsteuergerätes
Softwaretechnik-Trends, 24 (1) :17-18
February 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
February 2004
166.
Birla,
S.;
Tavakoli Kolagari,
Ramin
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)Volume1: E-Learning: Modelle, Instrumente und Erfahrungen, Software-Produktlinien, Communities in E-Business, Page 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
Publisher: 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)Volume1: E-Learning: Modelle, Instrumente und Erfahrungen, Software-Produktlinien, Communities in E-Business, Page 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
Publisher: Akademische Verlagsgesellschaft Aka GmbH
2004
165.
Häberlein,
Tobias
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.
Tavakoli Kolagari,
Ramin;
Puschnig,
A.
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.
Abdennadher,
Slim;
Frühwirth,
Thom
Integration and Optimization of Rule-based Constraint Solvers
In Bruynooghe, M., Editor, Logic-based Program Synthesis and Transformation (LOPSTR'03)Volume3018fromLecture Notes in Computer Science, Page 198-213
In Bruynooghe, M., Editor
Publisher: Springer-Verlag
2004
Integration and Optimization of Rule-based Constraint Solvers
In Bruynooghe, M., Editor, Logic-based Program Synthesis and Transformation (LOPSTR'03)Volume3018fromLecture Notes in Computer Science, Page 198-213
In Bruynooghe, M., Editor
Publisher: 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, Volume 3238 from Lecture Notes in Artificial Intelligence
Publisher: Springer-Verlag
2004
161.
Puschnig,
A.;
Tavakoli Kolagari,
Ramin
Requirements Engineering in the Development of Innovative Automotive Embedded Software Systems
12th IEEE International Conference on Requirements Engineering, Page 328-333
Publisher: IEEE Computer Society
2004
Requirements Engineering in the Development of Innovative Automotive Embedded Software Systems
12th IEEE International Conference on Requirements Engineering, Page 328-333
Publisher: IEEE Computer Society
2004
160.
Tavakoli Kolagari,
Ramin
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, Page 13-16
In Glinz, M., Editor
Publisher: 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, Page 13-16
In Glinz, M., Editor
Publisher: IEEE Computer Society
2004
2003
159.
Gehring,
Wolfgang
Current Issues in Higher Education in Germany
, Achte Internationale Akademische Konferenz am Rivne Institute of Economics and Humanities, UkraineVolume2, Page 219-220
October 2003
Current Issues in Higher Education in Germany
, Achte Internationale Akademische Konferenz am Rivne Institute of Economics and Humanities, UkraineVolume2, Page 219-220
October 2003
158.
Kohlmeyer,
Jens;
Sarstedt,
Stefan;
Mader,
W.
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, Page 328-332
October 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, Page 328-332
October 2003
157.
Kleiner,
Niko
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
Publisher: SCS Europe Publications
June 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
Publisher: SCS Europe Publications
June 2003
156.
Häberlein,
Tobias
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
May 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
May 2003
155.
Gehring,
Wolfgang
Workloaderfassung: Ein Henne-Ei-Problem (?)
Die Berufsqualifikation und die Arbeitsbelastung der Studierenden: Die qualitativen und quantitativen Gestaltungsgrundlagen für Leistungspunkte in der Hochschulbildung, Weimar, Page 54-56
May 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, Page 54-56
May 2003
154.
Herbst,
Joachim;
Kleiner,
Niko
Workflow Mining: A Case Study from Automotive Industry
Proceedings of the 10th European Concurrent Engineering Conference, Plymouth, UK
Publisher: SCS Europe Publications
April 2003
Workflow Mining: A Case Study from Automotive Industry
Proceedings of the 10th European Concurrent Engineering Conference, Plymouth, UK
Publisher: SCS Europe Publications
April 2003
153.
Gehring,
Wolfgang
ECTS und Kreditakkumulation: Das Ulmer Modell
Das Sokrates/Erasmus-Programm der EU 1997-2002: Erfahrungen und Erwartungen
Page 91-97
Publisher: Deutscher Akademischer Austauschdienst DAAD
March 2003
91-97
ECTS und Kreditakkumulation: Das Ulmer Modell
Das Sokrates/Erasmus-Programm der EU 1997-2002: Erfahrungen und Erwartungen
Page 91-97
Publisher: Deutscher Akademischer Austauschdienst DAAD
March 2003
91-97
152.
Guttmann,
Walter;
Partsch,
Helmuth;
Schulte,
Wolfram;
Vullinghs,
Ton
Tool Support for the Interactive Derivation of Formally Correct Functional Programs
Journal of Universal Computer Science, 9 (2) :173-188
March 2003
Tool Support for the Interactive Derivation of Formally Correct Functional Programs
Journal of Universal Computer Science, 9 (2) :173-188
March 2003
| DOI: | 10.3217/jucs-009-02-0173 |
151.
Frühwirth,
Thom;
Abdennadher,
Slim
Essentials of Constraint Programming
Publisher: Springer-Verlag
February 2003
Essentials of Constraint Programming
Publisher: Springer-Verlag
February 2003
150.
Schneider,
Kurt;
von Hunnius,
Jan-Peter
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.
Abdennadher,
Slim;
Frühwirth,
Thom
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.
Schlumpberger,
C.;
Ernst,
Dietmar
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, Page 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, Page 111-120
In Siedersleben, J. and Weber-Wulff, D., Editor
2003
147.
Frühwirth,
Thom;
Holzbaur,
Christian
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), Page 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), Page 386-397
In Buccafurri, F., Editor
2003
146.
Knublauch,
Holger;
Rose,
T.
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, ItalyVolume2585fromLecture Notes in Computer Science, Page 186-197
In Giunchiglia, F. and Odell, J. and Weiß, G., Editor
Publisher: 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, ItalyVolume2585fromLecture Notes in Computer Science, Page 186-197
In Giunchiglia, F. and Odell, J. and Weiß, G., Editor
Publisher: Springer-Verlag
2003
145.
Omasreiter,
H.;
Tavakoli Kolagari,
Ramin
Ziel- und kundenorientierte Anforderungserstellung mit Abstraktionsebenen als zentraler Erfolgsfaktor bei der Entwicklung von Kfz-Software
Konferenzband der Konferenzen CONQUEST, Automation Days und EUROMOTIVE, Page 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, Page 229-239
2003
2002
144.
Houdek,
Frank;
Schwinn,
Thilo;
Ernst,
Dietmar
Defect Detection for Executable Specifications: An Experiment
International Journal of Software Engineering and Knowledge Engineering, 12 (6) :637-655
December 2002
Defect Detection for Executable Specifications: An Experiment
International Journal of Software Engineering and Knowledge Engineering, 12 (6) :637-655
December 2002
143.
Guttmann,
Walter
Deriving an Applicative Heapsort Algorithm
Document Number: UIB-2002-02
Universität Ulm
December 2002
Deriving an Applicative Heapsort Algorithm
Document Number: UIB-2002-02
Universität Ulm
December 2002
142.
Frühwirth,
Thom
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'01Volume59fromElectronic Notes in Theoretical Computer Science, Page 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'01Volume59fromElectronic Notes in Theoretical Computer Science, Page 185-206
In Di Pierro, A. and Wiklicky, H., Editor
November 2002
141.
Frühwirth,
Thom;
Di Pierro,
A.;
Wiklicky,
H.
Probabilistic Constraint Handling Rules
In Comini, M. and Falaschi, M., Editor, 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002Volume76fromElectronic Notes in Theoretical Computer Science, Page 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 2002Volume76fromElectronic Notes in Theoretical Computer Science, Page 115-130
In Comini, M. and Falaschi, M., Editor
November 2002
140.
Guttmann,
Walter;
Partsch,
Helmuth;
Schulte,
Wolfram;
Vullinghs,
Ton
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, Page 15-20
In Haneberg, D. and Schellhorn, G. and Reif, W., Editor
Publisher: Institut für Informatik, Universität Augsburg
June 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, Page 15-20
In Haneberg, D. and Schellhorn, G. and Reif, W., Editor
Publisher: Institut für Informatik, Universität Augsburg
June 2002
139.
Gehring,
Wolfgang
Ein Rahmenwerk zur Einführung von Leistungspunktesystemen
Publisher: Universitätsverlag Ulm
zweite, überarbeitete und erweiterte Edition
April 2002
Ein Rahmenwerk zur Einführung von Leistungspunktesystemen
Publisher: Universitätsverlag Ulm
zweite, überarbeitete und erweiterte Edition
April 2002
138.
Schonger,
S.;
Pulvermüller,
E.;
Sarstedt,
Stefan
Aspect-Oriented Programming and Component Weaving: Using XML Representations of Abstract Syntax Trees
Proceedings of the 2nd German GI Workshop on Aspect-Oriented Software DevelopmentfromTechnical Report No. IAI-TR-2002-1, Page 59-64
Rheinische Friedrich-Wilhelms-Universität Bonn, Institut für Informatik 3
February 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 DevelopmentfromTechnical Report No. IAI-TR-2002-1, Page 59-64
Rheinische Friedrich-Wilhelms-Universität Bonn, Institut für Informatik 3
February 2002
137.
Kleiner,
Niko;
Herbst,
Joachim
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.
Knublauch,
Holger;
Koeth,
H.;
Rose,
T.
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.
Laitenberger,
O.;
Beil,
T.;
Schwinn,
Thilo
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.
Laitenberger,
O.;
Beil,
T.;
Schwinn,
Thilo
An Industrial Case Study to examine a non-traditional Inspection Implementation for Requirements Specifications
Proceedings of Eighth IEEE Symposium on SOftware Metrics, Page 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, Page 97-106
2002
133.
Kleiner,
Niko;
Herbst,
Joachim
Engineering a DMU-Resultmanagement System
Proceedings of the 9th European Concurrent Engineering Conference (ECEC'02), Modena, Italy
Publisher: SCS Europe Publications
2002
Engineering a DMU-Resultmanagement System
Proceedings of the 9th European Concurrent Engineering Conference (ECEC'02), Modena, Italy
Publisher: SCS Europe Publications
2002
132.
Schneider,
Kurt;
von Hunnius,
Jan-Peter;
Basili,
V. R.
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.
Knublauch,
Holger
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.
Knublauch,
Holger
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.
Gantner,
Thomas;
Häberlein,
Tobias
GARP - The Evolution of a Software Acquisition Process Model
, 7th European Conference on Software Quality 2002, Helsinki, FinlandVolume2349fromLecture Notes in Computer Science, Page 186-196
Publisher: Springer-Verlag
2002
GARP - The Evolution of a Software Acquisition Process Model
, 7th European Conference on Software Quality 2002, Helsinki, FinlandVolume2349fromLecture Notes in Computer Science, Page 186-196
Publisher: Springer-Verlag
2002
128.
Schneider,
Kurt;
Schwinn,
Thilo
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.
Häberlein,
Tobias;
Gantner,
Thomas
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, IranVolume2510fromLecture Notes in Computer Science, Page 806-815
In Shafazand, H. and Min Tjoa, A., Editor
Publisher: 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, IranVolume2510fromLecture Notes in Computer Science, Page 806-815
In Shafazand, H. and Min Tjoa, A., Editor
Publisher: Springer-Verlag
2002
126.
Rose,
T.;
Fünffinger,
M.;
Knublauch,
Holger;
Rupprecht,
C.
Prozessorientiertes Wissensmanagement
Künstliche Intelligenz, 16 (1) :19-24
2002
Prozessorientiertes Wissensmanagement
Künstliche Intelligenz, 16 (1) :19-24
2002
125.
von Knethen,
A.;
Paech,
B.;
Kiedaisch,
Friedemann;
Houdek,
Frank
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.
Alexander,
Ian;
Kiedaisch,
Friedemann
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.
von Hunnius,
Jan-Peter
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.
Schmid,
Joachim
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.
Schmid,
Joachim
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.
Houdek,
Frank;
Schwinn,
Thilo;
Ernst,
Dietmar
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.
Kleiner,
Niko;
Sarstedt,
Stefan
Einsatz von Standardprozessen bei der Gestaltung von Lehrveranstaltungen
Software Engineering im Unterricht der Hochschulen (SEUH 2001), Zürich, Schweiz
Publisher: dpunkt.verlag
2001
Einsatz von Standardprozessen bei der Gestaltung von Lehrveranstaltungen
Software Engineering im Unterricht der Hochschulen (SEUH 2001), Zürich, Schweiz
Publisher: dpunkt.verlag
2001
118.
Kiedaisch,
Friedemann;
Pohl,
M.;
Weisbrod,
J.;
Bauer,
S.;
Ortmann,
S.
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.
Schwinn,
Thilo
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.
Schmid,
Joachim
Introduction to AsmGofer
2001
Introduction to AsmGofer
2001
115.
Stärk,
R.;
Schmid,
Joachim;
Börger,
Egon
Java and the Java Virtual Machine: Definition, Validation, Verification
Publisher: Springer-Verlag
2001
Java and the Java Virtual Machine: Definition, Validation, Verification
Publisher: Springer-Verlag
2001
114.
Stärk,
R.;
Schmid,
Joachim
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.
Knublauch,
Holger
KBeans Specification: Semantic Transparency for Components and Domain Models
Document Number: FAW-TR-01001
FAW Ulm
2001
KBeans Specification: Semantic Transparency for Components and Domain Models
Document Number: FAW-TR-01001
FAW Ulm
2001
112.
Kiedaisch,
Friedemann;
Pohl,
M.;
Weisbrod,
J.;
Bauer,
S.;
Ortmann,
S.
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.
Knublauch,
Holger;
Rose,
T.
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.
Guttmann,
Walter
An Introduction to Ultra
Universität Ulm
December 2000
An Introduction to Ultra
Universität Ulm
December 2000
109.
Breymann,
U.;
Köhler,
D.;
Gehring,
Wolfgang
Einführung eines Leistungspunktesystems im Studiengang Medieninformatik
Hochschule Bremen
November 2000
Einführung eines Leistungspunktesystems im Studiengang Medieninformatik
Hochschule Bremen
November 2000
108.
von Hunnius,
Jan-Peter
WESPI - WEb Supported Software Process Improvement
Proceedings of the 2nd Workshop on Learning Software Organizations, Oulu, Finland, Page 93-99
June 2000
WESPI - WEb Supported Software Process Improvement
Proceedings of the 2nd Workshop on Learning Software Organizations, Oulu, Finland, Page 93-99
June 2000
107.
Gehring,
Wolfgang
Ein Rahmenwerk zur Einführung von Leistungspunktesystemen
Document Number: 2000-04
Universität Ulm
March 2000
Ein Rahmenwerk zur Einführung von Leistungspunktesystemen
Document Number: 2000-04
Universität Ulm
March 2000
106.
Gehring,
Wolfgang
Modularisierung und Leistungspunktesysteme: Ein Überblick
Workshop Modularisierung, Jena
March 2000
Modularisierung und Leistungspunktesysteme: Ein Überblick
Workshop Modularisierung, Jena
March 2000
105.
Börger,
Egon;
Schulte,
Wolfram
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.
Rose,
R.;
Knublauch,
Holger;
Peinel,
G.
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.
Knublauch,
Holger;
Rose,
T.
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.
Rupprecht,
C.;
Fünffinger,
M.;
Knublauch,
Holger;
Rose,
T.
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.
Börger,
Egon;
Riccobene,
E.;
Schmid,
Joachim
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.
Börger,
Egon;
Schmid,
Joachim
Composition and Submachine Concepts for Sequential ASMs
In Clote, P. G. and Schwichtenberg, H., Editor, Computer Science Logics (CSL 2000)Volume1862fromLecture Notes in Computer Science, Page 41-60
In Clote, P. G. and Schwichtenberg, H., Editor
Publisher: Springer-Verlag
2000
Composition and Submachine Concepts for Sequential ASMs
In Clote, P. G. and Schwichtenberg, H., Editor, Computer Science Logics (CSL 2000)Volume1862fromLecture Notes in Computer Science, Page 41-60
In Clote, P. G. and Schwichtenberg, H., Editor
Publisher: Springer-Verlag
2000
99.
Knublauch,
Holger;
Sedlmayr,
M.;
Rose,
T.
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.
Reif,
Wolfgang;
Ruf,
Jürgen;
Schellhorn,
Gerhard;
Vollmer,
Tobias
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, USAVolume1954fromLecture Notes in Computer Science
In Hunt Jr., W. A. and Johnson, S. D., Editor
Publisher: 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, USAVolume1954fromLecture Notes in Computer Science
In Hunt Jr., W. A. and Johnson, S. D., Editor
Publisher: Springer-Verlag
2000
97.
Reif,
Wolfgang;
Schellhorn,
Gerhard;
Thums,
Andreas
Fehlersuche in formalen Spezifikationen
Document Number: 2000-06
Universität Ulm
2000
Fehlersuche in formalen Spezifikationen
Document Number: 2000-06
Universität Ulm
2000
96.
Schellhorn,
Gerhard;
Reif,
Wolfgang
FM-Tools 2000: The 4th Workshop on Tools for System Design and Verification
Document Number: 2000-07
Universität Ulm
2000
FM-Tools 2000: The 4th Workshop on Tools for System Design and Verification
Document Number: 2000-07
Universität Ulm
2000
95.
Balser,
Michael;
Reif,
Wolfgang;
Schellhorn,
Gerhard;
Stenzel,
Kurt;
Thums,
Andreas
Formal System Development with KIV
In Maibaum, T., Editor, Proceedings of the 3rd International Conference on Fundamental Approaches to Software Engineering (FASE2000)Volume1783fromLecture Notes in Computer Science
In Maibaum, T., Editor
Publisher: 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)Volume1783fromLecture Notes in Computer Science
In Maibaum, T., Editor
Publisher: Springer-Verlag
2000
94.
Gurevich,
Y.;
Schulte,
Wolfram;
Wallace,
C.
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à, SwitzerlandVolume1912fromLecture Notes in Computer Science, Page 151-176
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor
Publisher: 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à, SwitzerlandVolume1912fromLecture Notes in Computer Science, Page 151-176
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor
Publisher: Springer-Verlag
2000
93.
Börger,
Egon;
Päppinghaus,
P.;
Schmid,
Joachim
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à, SwitzerlandVolume1912fromLecture Notes in Computer Science, Page 361-366
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor
Publisher: 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à, SwitzerlandVolume1912fromLecture Notes in Computer Science, Page 361-366
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor
Publisher: Springer-Verlag
2000
92.
Knublauch,
Holger;
Rose,
T.
Round-Trip Engineering of Ontologies for Knowledge-based Systems
Twelfth International Conference on Software Engineering and Knowledge Engineering (SEKE), Chicago, IL, Page 239-247
2000
Round-Trip Engineering of Ontologies for Knowledge-based Systems
Twelfth International Conference on Software Engineering and Knowledge Engineering (SEKE), Chicago, IL, Page 239-247
2000
91.
Reif,
Wolfgang;
Schellhorn,
Gerhard;
Thums,
Andreas
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.
Stärk,
R.;
Schmid,
Joachim
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.
Knublauch,
Holger;
Rose,
T.;
Sedlmayr,
M.
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.
Partsch,
Helmuth;
Schulte,
Wolfram;
Vullinghs,
Ton
Ultra: A Learn System for the Interactive Manipulation of Functional Programs
In Cengarle, V., Editor, Requirements, Design, Correct Construction and VerificationVolume11fromSoftwaretechnik
In Cengarle, V., Editor
Publisher: Uni-Druck
2000
Ultra: A Learn System for the Interactive Manipulation of Functional Programs
In Cengarle, V., Editor, Requirements, Design, Correct Construction and VerificationVolume11fromSoftwaretechnik
In Cengarle, V., Editor
Publisher: Uni-Druck
2000
87.
Schellhorn,
Gerhard;
Reif,
Wolfgang;
Schairer,
A.;
Karger,
P.;
Austel,
V.;
Toll,
D.
Verification of a Formal Security Model for Multiapplicative Smart Cards
, Proceedings of the 6th European Symposium on Research in Computer Security, Toulouse, FranceVolume1895fromLecture Notes in Computer Science
Publisher: 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, FranceVolume1895fromLecture Notes in Computer Science
Publisher: Springer-Verlag
2000
86.
Balser,
Michael;
Duelli,
C.;
Reif,
Wolfgang;
Schellhorn,
Gerhard
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.
Schwinn,
Thilo;
Landes,
D.;
Beil,
T.;
Kempter,
H.
Making Know How Transfer Work in a Purchaser-Supplier Setting by Deploying Software Inspection
Proceedings of 6th European Conference on Software Quality, Vienna, Page 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, Page 418-428
April 1999
84.
Börger,
Egon;
Schulte,
Wolfram
A Programmer Friendly Modular Definition of the Semantics of Java.
In Alves-Foss, J., Editor, Formal Syntax and Semantics of Java Volume 1523 from Lecture Notes in Computer Science
Page 353-404
Publisher: 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 Volume 1523 from Lecture Notes in Computer Science
Page 353-404
Publisher: Springer-Verlag
1999
353-404
83.
Houdek,
Frank;
Ernst,
Dietmar;
Schwinn,
Thilo
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.
Berghammer,
R.;
Lakhnech,
Y.;
Reif,
Wolfgang
Formal Methods and Tools: Introduction and Overview
In Berghammer, R. and Lakhnech, Y., Editor, Tool Support for System Specification, Development and Verification
Publisher: 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
Publisher: Springer-Verlag
1999
81.
Reif,
Wolfgang
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.
Börger,
Egon;
Schulte,
Wolfram
Initialization Problems for Java
Software - Concepts and Tools, 20 (4)
1999
Initialization Problems for Java
Software - Concepts and Tools, 20 (4)
1999
79.
Sarstedt,
Stefan;
Sauter,
G.;
Sellentin,
J.;
Mitschang,
B.
Integrationskonzepte für heterogene Anwendungssysteme bei DaimlerChrysler auf Basis internationaler Standards
Fachtagung Datenbanksysteme in Büro, Technik und Wissenschaft (BTW1999), Freiburg, Page 317-327
1999
Integrationskonzepte für heterogene Anwendungssysteme bei DaimlerChrysler auf Basis internationaler Standards
Fachtagung Datenbanksysteme in Büro, Technik und Wissenschaft (BTW1999), Freiburg, Page 317-327
1999
78.
Balser,
Michael;
Reif,
Wolfgang;
Schellhorn,
Gerhard;
Stenzel,
Kurt
KIV 3.0 for Provably Correct Systems
, Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends 98), BoppardVolume1641fromLecture Notes in Computer Science
Publisher: 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), BoppardVolume1641fromLecture Notes in Computer Science
Publisher: Springer-Verlag
1999
77.
Knublauch,
Holger;
Sedlmayr,
M.;
Rose,
T.
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.
Schwarz,
Michael
Kommunikationsorientierte Analyse und Gestaltung von Arbeitskontexten (KOALA)
In Sinz, E. J., Editor, Modellierung betrieblicher Informationssysteme, Proceedings der MobIS-Fachtagung (MobIS'99), Bamberg, Page 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, Page 210-226
In Sinz, E. J., Editor
1999
75.
Börger,
Egon;
Schulte,
Wolfram
Modular Design for the Java Virtual Machine Architecture
Architecture Design and Validation Methods
Publisher: Springer-Verlag
1999
Modular Design for the Java Virtual Machine Architecture
Architecture Design and Validation Methods
Publisher: Springer-Verlag
1999
74.
Meyer,
C.-H.;
Knublauch,
Holger
Parallel Iterative Proportional Fitting
Symposium in Operations Research (SOR99), Magdeburg
1999
Parallel Iterative Proportional Fitting
Symposium in Operations Research (SOR99), Magdeburg
1999
73.
Knublauch,
Holger;
Rose,
T.
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.
Hähnle,
R.;
Menzel,
W.;
Reif,
Wolfgang;
Schmitt,
P.
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.
Rock,
G.;
Stephan,
W.;
Wolpers,
A.;
Balser,
Michael;
Reif,
Wolfgang;
Scheer,
S.
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.
Vullinghs,
Ton;
Schulte,
Wolfram;
Partsch,
Helmuth
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.
Knublauch,
Holger
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.
Sedlmayr,
M.;
Knublauch,
Holger;
Rose,
T.
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.
Hutter,
D.;
Mantel,
H.;
Rock,
G.;
Stephan,
W.;
Wolpers,
A.;
Balser,
Michael;
Reif,
Wolfgang;
Schellhorn,
Gerhard;
Stenzel,
Kurt
VSE: Controlling the Complexity in Formal Software Developments
, Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends 98), BoppardVolume1641fromLecture Notes in Computer Science
Publisher: 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), BoppardVolume1641fromLecture Notes in Computer Science
Publisher: Springer-Verlag
1999
1998
66.
Reif,
Wolfgang
Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik
Künstliche Intelligenz, 12 (4) :42-48
December 1998
Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik
Künstliche Intelligenz, 12 (4) :42-48
December 1998
65.
Reif,
Wolfgang
Software-Sicherheit mit formalen Methoden
Softwaretechnik-Trends, 18 (3)
August 1998
Software-Sicherheit mit formalen Methoden
Softwaretechnik-Trends, 18 (3)
August 1998
64.
Salamon,
Peter;
Sibani,
Paolo;
Gehring,
Wolfgang;
Whitney,
R.;
Frost,
R.
Toward a taxonomy of NP-hard combinatorial optimization problems
Bulletin of the American Physical Society, 43 (1)
March 1998
Toward a taxonomy of NP-hard combinatorial optimization problems
Bulletin of the American Physical Society, 43 (1)
March 1998
63.
Ernst,
Dietmar;
Houdek,
Frank;
Schwinn,
Thilo
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.
Nipkow,
T.;
Reif,
Wolfgang
An Introduction to Interactive Theorem Proving
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications
Publisher: Kluwer Academic Publishers
1998
An Introduction to Interactive Theorem Proving
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications
Publisher: Kluwer Academic Publishers
1998
61.
Ernst,
Dietmar;
Houdek,
Frank
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.
Börger,
Egon;
Schulte,
Wolfram
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 RepublicVolume1450fromLecture Notes in Computer Science
In Brim, L. and Gruska, J. and Zlatuska, J., Editor
Publisher: 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 RepublicVolume1450fromLecture Notes in Computer Science
In Brim, L. and Gruska, J. and Zlatuska, J., Editor
Publisher: Springer-Verlag
1998
59.
Fensel,
D.;
von Hamelen,
F.;
Reif,
Wolfgang;
ten Teije,
A.
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.
Ahrendt,
W.;
Beckert,
B.;
Hähnle,
R.;
Menzel,
W.;
Reif,
Wolfgang;
Schellhorn,
Gerhard;
Schmitt,
P.
Integrating Automated and Interactive Theorem Proving
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications Volume 2: Systems and Implementation Techniques
Chapter 1: Interactive Theorem Proving
Publisher: Kluwer Academic Publishers
1998
Integrating Automated and Interactive Theorem Proving
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications Volume 2: Systems and Implementation Techniques
Chapter 1: Interactive Theorem Proving
Publisher: Kluwer Academic Publishers
1998
57.
Schellhorn,
Gerhard
Proving Properties of Directed Graphs: A Problem Set for Automated Theorem Provers
Document Number: 98-12
Universität Ulm
1998
Proving Properties of Directed Graphs: A Problem Set for Automated Theorem Provers
Document Number: 98-12
Universität Ulm
1998
56.
Houdek,
Frank;
Ernst,
Dietmar;
Schwinn,
Thilo
Prüfen von C-Code und Statemate/Matlab-Spezifikationen: Ein Experiment
Document Number: 98-11
Universität Ulm
1998
Prüfen von C-Code und Statemate/Matlab-Spezifikationen: Ein Experiment
Document Number: 98-11
Universität Ulm
1998
55.
Greiner,
C.;
Knublauch,
Holger;
Sedlmayr,
M.;
Rose,
T.
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.
Partsch,
Helmuth
Requirements-Engineering systematisch - Modellbildung für softwaregestützte Systeme
Publisher: Springer-Verlag
1998
Requirements-Engineering systematisch - Modellbildung für softwaregestützte Systeme
Publisher: Springer-Verlag
1998
53.
Reif,
Wolfgang;
Schellhorn,
Gerhard;
Stenzel,
Kurt;
Balser,
Michael
Structured specifications and interactive proofs with KIV
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications
Publisher: Kluwer Academic Publishers
1998
Structured specifications and interactive proofs with KIV
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications
Publisher: Kluwer Academic Publishers
1998
52.
Schellhorn,
Gerhard;
Ahrendt,
W.
The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications Volume 3: Applications
Chapter 3: Automated Theorem Proving in Software Engineering
Publisher: 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 Volume 3: Applications
Chapter 3: Automated Theorem Proving in Software Engineering
Publisher: Kluwer Academic Publishers
1998
51.
Reif,
Wolfgang;
Schellhorn,
Gerhard
Theorem Proving in Large Theories
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications Volume 3: Applications
Chapter 2
Publisher: Kluwer Academic Publishers
1998
Theorem Proving in Large Theories
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications Volume 3: Applications
Chapter 2
Publisher: Kluwer Academic Publishers
1998
50.
Schellhorn,
Gerhard;
Reif,
Wolfgang
Theorems from Compiler Verification: A Problem Set for Automated Theorem Provers
Document Number: 98-13
Universität Ulm
1998
Theorems from Compiler Verification: A Problem Set for Automated Theorem Provers
Document Number: 98-13
Universität Ulm
1998
49.
Schwarz,
Michael
Theorie und Praxis erfahrbar machen - der Wurf ins kalte Wasser: Praxisnahes Arbeiten im Grundstudium
Handbuch Hochschullehre
Publisher: Raabe-Verlag
1998
Theorie und Praxis erfahrbar machen - der Wurf ins kalte Wasser: Praxisnahes Arbeiten im Grundstudium
Handbuch Hochschullehre
Publisher: Raabe-Verlag
1998
1997
48.
Achatz,
Klaus;
Schulte,
Wolfram
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, UKVolume1212fromLecture Notes in Computer Science
In Bowen, J. P. and Hinchey, M. G. and Till, D., Editor
Publisher: 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, UKVolume1212fromLecture Notes in Computer Science
In Bowen, J. P. and Hinchey, M. G. and Till, D., Editor
Publisher: Springer-Verlag
1997
47.
Achatz,
Klaus;
Partsch,
Helmuth
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.
Ernst,
Dietmar;
Houdek,
Frank;
Schwinn,
Thilo;
Schulte,
Wolfram
Experimenteller Vergleich statischer und dynamischer Softwareprüfung für eingebettete Systeme
Document Number: 97-13
Universität Ulm
1997
Experimenteller Vergleich statischer und dynamischer Softwareprüfung für eingebettete Systeme
Document Number: 97-13
Universität Ulm
1997
45.
Achatz,
Klaus;
Schulte,
Wolfram
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.
Achatz,
Klaus;
Schulte,
Wolfram
Functional Object-oriented Programming with Object-Gofer
Informatik '97: Informatik als Innovationsmotor, Informatik aktuell
Publisher: Springer-Verlag
1997
Functional Object-oriented Programming with Object-Gofer
Informatik '97: Informatik als Innovationsmotor, Informatik aktuell
Publisher: Springer-Verlag
1997
43.
Schellhorn,
Gerhard;
Reif,
Wolfgang
Proving Properties of Finite Enumerations: A Problem Set for Automated Theorem Provers
Document Number: 97-12
Universität Ulm
1997
Proving Properties of Finite Enumerations: A Problem Set for Automated Theorem Provers
Document Number: 97-12
Universität Ulm
1997
42.
Reif,
Wolfgang;
Schellhorn,
Gerhard;
Stenzel,
Kurt
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, FranceVolume1214fromLecture Notes in Computer Science
In Bidoit, M. and Dauchet, M., Editor
Publisher: 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, FranceVolume1214fromLecture Notes in Computer Science
In Bidoit, M. and Dauchet, M., Editor
Publisher: Springer-Verlag
1997
41.
Reif,
Wolfgang;
Schellhorn,
Gerhard;
Stenzel,
Kurt
Proving System Correctness with KIV 3.0
, Proceedings of the 14th International Conference on Automated Deduction, Townsville, AustraliaVolume1249fromLecture Notes in Computer Science
Publisher: Springer-Verlag
1997
Proving System Correctness with KIV 3.0
, Proceedings of the 14th International Conference on Automated Deduction, Townsville, AustraliaVolume1249fromLecture Notes in Computer Science
Publisher: Springer-Verlag
1997
40.
Schulte,
Wolfram;
Schwarz,
Michael
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
Publisher: 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
Publisher: Teubner-Verlag
1997
39.
Schwarz,
Michael;
Schulte,
Wolfram
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, RostockVolume48fromBerichte des German Chapter of the ACM, Page 94-104
Publisher: 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, RostockVolume48fromBerichte des German Chapter of the ACM, Page 94-104
Publisher: B. G. Teubner
1997
38.
Schellhorn,
Gerhard;
Ahrendt,
W.
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.
Reif,
Wolfgang
Risikofaktor Software
In Jantke, K. and Grieger, G. and Wittig, W., Editor, Impulse für Informatik-Innovationen
Publisher: Infix-Verlag
1997
Risikofaktor Software
In Jantke, K. and Grieger, G. and Wittig, W., Editor, Impulse für Informatik-Innovationen
Publisher: Infix-Verlag
1997
36.
Reif,
Wolfgang
Software-Verifikation und ihre Anwendungen
it+ti Themenheft Formale Entwurfsmethoden - Software Correctness
Publisher: Oldenbourg-Verlag
1997
Software-Verifikation und ihre Anwendungen
it+ti Themenheft Formale Entwurfsmethoden - Software Correctness
Publisher: Oldenbourg-Verlag
1997
35.
Claessen,
K.;
Vullinghs,
Ton;
Meijer,
E.
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.
Braxmeier,
H.;
Ernst,
Dietmar;
Mößle,
Andrea;
Vogler,
H.
The Project NoName: A functional programming language with ist development environment
Document Number: 97-08
Universität Ulm
1997
The Project NoName: A functional programming language with ist development environment
Document Number: 97-08
Universität Ulm
1997
33.
Reif,
Wolfgang;
Schellhorn,
Gerhard
Theorem Proving in Large Theories
Document Number: 97-14
Universität Ulm
1997
Theorem Proving in Large Theories
Document Number: 97-14
Universität Ulm
1997
1996
32.
Vullinghs,
Ton;
Schulte,
Wolfram;
Schwinn,
Thilo
An Introduction into TkGofer
Document Number: 96-03
Universität Ulm
1996
An Introduction into TkGofer
Document Number: 96-03
Universität Ulm
1996
31.
Achatz,
Klaus;
Schulte,
Wolfram
Formale objektorientierte Softwareentwicklung
Softwaretechnik-Trends, 16 (3)
1996
Formale objektorientierte Softwareentwicklung
Softwaretechnik-Trends, 16 (3)
1996
30.
Achatz,
Klaus;
Partsch,
Helmuth
From Descriptive Specifications to Operational ones: A Powerful Transformation Rule, its Applications and Variants
Document Number: 96-13
Universität Ulm
1996
From Descriptive Specifications to Operational ones: A Powerful Transformation Rule, its Applications and Variants
Document Number: 96-13
Universität Ulm
1996
29.
Reif,
Wolfgang;
Schellhorn,
Gerhard;
Stenzel,
Kurt
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.
Heckler,
A.;
Hettler,
R.;
Hußmann,
H.;
Loeckx,
J.;
Reif,
Wolfgang;
Schellhorn,
Gerhard;
Stenzel,
Kurt
LEX: a case study in development and validation of formal specifications
Document Number: A/06/96
Fachbereich Informatik, Universität Saarbrücken
1996
LEX: a case study in development and validation of formal specifications
Document Number: A/06/96
Fachbereich Informatik, Universität Saarbrücken
1996
27.
Achatz,
Klaus;
Schulte,
Wolfram
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.
Stenzel,
Kurt
Pilotanwendungen mit KIV
Document Number: FI96/06
Fakultät für Informatik, Technische Universität Dresden
1996
Pilotanwendungen mit KIV
Document Number: FI96/06
Fakultät für Informatik, Technische Universität Dresden
1996
25.
Reif,
Wolfgang;
Stenzel,
Kurt
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.
Reif,
Wolfgang
Software Verifikation: Stand und Perspektiven
Document Number: 96-06
Universität Ulm
1996
Software Verifikation: Stand und Perspektiven
Document Number: 96-06
Universität Ulm
1996
23.
Vullinghs,
Ton;
Schulte,
Wolfram;
Schwinn,
Thilo
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, RussiaVolume1181fromLecture Notes in Computer Science, Page 398-408
In Bjørner, D. and Broy, M. and Pottosin, I., Editor
Publisher: 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, RussiaVolume1181fromLecture Notes in Computer Science, Page 398-408
In Bjørner, D. and Broy, M. and Pottosin, I., Editor
Publisher: Springer-Verlag
1996
22.
Vullinghs,
Ton;
Schulte,
Wolfram;
Schwinn,
Thilo
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.
Vullinghs,
Ton;
Schulte,
Wolfram;
Schwinn,
Thilo
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, DeutschlandVolume1101fromLecture Notes in Computer Science, Page 621-624
In Wirsing, M. and Nivat, M., Editor
Publisher: 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, DeutschlandVolume1101fromLecture Notes in Computer Science, Page 621-624
In Wirsing, M. and Nivat, M., Editor
Publisher: Springer-Verlag
1996
20.
Biechele,
B.;
Ernst,
Dietmar;
Houdek,
Frank;
Schmid,
Joachim;
Schulte,
Wolfram
Untersuchung verschiedener SA/RT-Ansätze für die Modellierung eingebetteter Systeme
Document Number: 96-09
Universität Ulm
1996
Untersuchung verschiedener SA/RT-Ansätze für die Modellierung eingebetteter Systeme
Document Number: 96-09
Universität Ulm
1996
19.
Schellhorn,
Gerhard;
Ahrendt,
W.
Verification of a Prolog Compiler - First Steps with KIV
Document Number: 96-05
Universität Ulm
1996
Verification of a Prolog Compiler - First Steps with KIV
Document Number: 96-05
Universität Ulm
1996
1995
18.
Pepper,
Peter;
Wirsing,
M.;
Betschko,
R.;
Broy,
Manfred;
Dick,
S.;
Didrich,
K.;
Faulhaber,
J.;
Grieskamp,
W.;
Hußmann,
H.;
Mehlich,
M.;
Reif,
Wolfgang
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 ReportVolume1009fromLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Publisher: 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 ReportVolume1009fromLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Publisher: Springer-Verlag
1995
17.
Achatz,
Klaus;
Schulte,
Wolfram
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
In Möller, B., Editor, Mathematics of Program ConstructionVolume947fromLecture Notes in Computer Science
In Möller, B., Editor
Publisher: Springer-Verlag
1995
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
In Möller, B., Editor, Mathematics of Program ConstructionVolume947fromLecture Notes in Computer Science
In Möller, B., Editor
Publisher: Springer-Verlag
1995
16.
Achatz,
Klaus;
Schulte,
Wolfram
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
Document Number: 95-05
Universität Ulm
1995
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
Document Number: 95-05
Universität Ulm
1995
15.
Reif,
Wolfgang;
Schellhorn,
Gerhard;
Stenzel,
Kurt
Interactive Correctness Proofs for Software Modules Using KIV
COMPASS'95 - Tenth Annual Conference on Computer Assurance (Gaithersburg, MD, USA)
Publisher: IEEE press
1995
Interactive Correctness Proofs for Software Modules Using KIV
COMPASS'95 - Tenth Annual Conference on Computer Assurance (Gaithersburg, MD, USA)
Publisher: IEEE press
1995
14.
Vullinghs,
Ton;
Tuijnman,
Daniël;
Schulte,
Wolfram
Lightweight GUIs for functional programming
In Hermenegildo, M. and Swierstra, S. D., Editor, Proceedings of the 7th International Symposium PLILP95Volume982fromLecture Notes in Computer Science
In Hermenegildo, M. and Swierstra, S. D., Editor
Publisher: Springer-Verlag
1995
Lightweight GUIs for functional programming
In Hermenegildo, M. and Swierstra, S. D., Editor, Proceedings of the 7th International Symposium PLILP95Volume982fromLecture Notes in Computer Science
In Hermenegildo, M. and Swierstra, S. D., Editor
Publisher: Springer-Verlag
1995
13.
Achatz,
Klaus;
Schulte,
Wolfram
Massive Parallelization of Divide-and-Conquer-Algorithms over Powerlists
Document Number: 95-12
Universität Ulm
1995
Massive Parallelization of Divide-and-Conquer-Algorithms over Powerlists
Document Number: 95-12
Universität Ulm
1995
12.
Reif,
Wolfgang;
Stenzel,
Kurt
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.
Reif,
Wolfgang;
Schellhorn,
Gerhard;
Stenzel,
Kurt
Tactics in KIV
Journal on Information Processing and Cybernetics, 30
1995
Tactics in KIV
Journal on Information Processing and Cybernetics, 30
1995
10.
Reif,
Wolfgang
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 ReportVolume1009fromLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Publisher: 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 ReportVolume1009fromLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Publisher: Springer-Verlag
1995
9.
Hutter,
D.;
Langenstein,
B.;
Koob,
F.;
Reif,
Wolfgang;
Sengler,
C.;
Stephan,
W.;
Ullmann,
M.;
Wittmann,
M.;
Wolpers,
A.
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.
Fuchß,
T.;
Reif,
Wolfgang;
Schellhorn,
Gerhard;
Stenzel,
Kurt
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 ReportVolume1009fromLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Publisher: 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 ReportVolume1009fromLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Publisher: Springer-Verlag
1995
1994
7.
Achatz,
Klaus;
Schulte,
Wolfram
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.
Schulte,
Wolfram;
Vullinghs,
Ton
Linking Reactive Software to the X-Window System
Document Number: 94-14
Universität Ulm
1994
Linking Reactive Software to the X-Window System
Document Number: 94-14
Universität Ulm
1994
5.
Vullinghs,
Ton
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.
Boiten,
E. A.;
Geerling,
A. M.;
Partsch,
H. A.
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.
Partsch,
Helmuth
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 Volume 755 from Lecture Notes in Computer Science
Page 183-224
Publisher: 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 Volume 755 from Lecture Notes in Computer Science
Page 183-224
Publisher: 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, Volume 755 from Lecture Notes in Computer Science
Publisher: Springer-Verlag
1993
1.
Partsch,
Helmuth
Some Experiments in Transformaing Towards Parallel Executability
In Paige, R. and Reif, J. and Wachters, R., Editor, Parallel Algorithm Derviation and Program Transformation
Publisher: 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
Publisher: Kluwer Academic Publishers
1993