| 2009 |
|
[296]
|
Frühwirth, T.: Constraint Handling Rules.
Cambridge University Press, 2009.
[ http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521877763 ]
|
|
[295]
|
Guttmann, W.: General Correctness Algebra.
In: Berghammer, R., A. M. Jaoua und B. Möller (Herausgeber): Relations and Kleene Algebra
in Computer Science, Band 5827 der Reihe
Lecture Notes in Computer Science, Seiten 150-165.
Springer-Verlag, 2009.
[ http://dx.doi.org/10.1007/978-3-642-04639-1_11 ]
|
|
[294]
|
Kohlmeyer, J.: Eine formale Semantik für die Verknüpfung
von Verhaltensbeschreibungen in der UML 2.
Doktorarbeit, Universität Ulm, Juli 2009.
|
|
[293]
|
Kohlmeyer, J. und W. Guttmann: Unifying the
Semantics of UML 2 State, Activity and Interaction Diagrams.
In: Pnueli, A., I. Virbitskaite und A. Voronkov (Herausgeber): Perspectives of System
Informatics: Proceedings of the Seventh International Andrei Ershov Memorial
Conference, Seiten 159-166. A. P. Ershov Institute of Informatics
Systems, Novosibirsk, Juni 2009.
|
|
[292]
|
Leuser, J., N. Porta, A. Bolz und
A. Raschke: Empirical Validation of a Requirements Engineering Process
Guide.
In: Budgen, D., M. Turner und
M. Niazi (Herausgeber): 13th International Conference on
Evaluation and Assessment in Software Engineering (EASE), Electronic
Workshops in Computing. The British Computer Society, April 2009.
[ http://www.bcs.org/server.php?show=ConWebDoc.25020 ]
|
|
[291]
|
Raiser, F.: Analysing Graph Transformation Systems Using Extended
Methods from Constraint Handling Rules.
In: Hill, P. M. und D. S. Warren (Herausgeber): Logic Programming: 25th International Conference
(ICLP 2009), Band 5649 der Reihe Lecture Notes
in Computer Science, Seiten 540-541. Springer-Verlag,
Juli 2009.
[ http://dx.doi.org/10.1007/978-3-642-02846-5_54 ]
|
|
[290]
|
Raiser, F., H. Betz und T. Frühwirth:
Equivalence of CHR States Revisited.
In: Raiser, F. und J. Sneyers (Herausgeber): CHR 2009: Proceedings of the Sixth International
Workshop on Constraint Handling Rules, Nummer CW 555
in Technical Report, Seiten 34-48.
Departement Computerwetenschappen, Katholieke Universiteit Leuven,
Juli 2009.
[ http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW555.pdf ]
|
|
[289]
|
Raiser, F. und T. Frühwirth: Strong joinability
analysis for graph transformation systems in CHR.
In: Corradini, A. (Herausgeber):
Preliminary Proceedings of the 5th International Workshop on Computing with
Terms and Graphs (TERMGRAPH), Seiten 97-112, 2009.
|
|
[288]
|
Raiser, F. und T. Frühwirth: Operational
Equivalence of Graph Transformation Systems.
In: Raiser, F. und J. Sneyers (Herausgeber): CHR 2009: Proceedings of the Sixth International
Workshop on Constraint Handling Rules, Nummer CW 555
in Technical Report, Seiten 49-61.
Departement Computerwetenschappen, Katholieke Universiteit Leuven,
Juli 2009.
[ http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW555.pdf ]
|
|
[287]
|
Raiser, F. und T. Frühwirth: Strong Joinability
Analysis for Graph Transformation Systems in CHR.
In: Corradini, A. (Herausgeber):
Proceedings of the Fifth International Workshop on Computing with Terms and
Graphs (TERMGRAPH 2009), Band 253 der Reihe
Electronic Notes in Theoretical Computer Science, Seiten 91-111, November 2009.
|
|
[286]
|
Raiser, F. und J. Sneyers (Herausgeber): CHR
2009: Proceedings of the Sixth International Workshop on Constraint Handling
Rules, Nummer CW 555 in Technical Report.
Departement Computerwetenschappen, Katholieke Universiteit Leuven,
Juli 2009.
[ http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW555.pdf ]
|
|
[285]
|
Raschke, A.: Translation of UML 2 Activity Diagrams into Finite
State Machines for Model Checking.
In: 35th Euromicro Conference on Software Engineering
and Advanced Applications (SEAA), Seiten 149-154. IEEE Computer
Society, August 2009.
|
| |
| 2008 |
|
[284]
|
Cuenot, P., P. Frey, R. Johannson, H. Lönn, M.-O.
Reiser, D. Servat, R. Tavakoli Kolagari und
D.-J. Chen: Developing Automotive Products using the EAST-ADL2, an
AUTOSAR Compliant Architecture Description Language.
In: 4th European Congress on Embedded Real Time
Software (ERTS 2008), Januar 2008.
|
|
[283]
|
Cuenot, P., P. Frey, R. Johansson, H. Lönn,
M. Törngren und C.-J. Sjöstedt: Engineering Support
For Automotive Embedded Systems: Beyond AUTOSAR.
In: FISITA 2008 World Automotive Congress,
Nummer F2008-05-053, September 2008.
|
|
[282]
|
Djelloul, K., T.-B.-H. Dao und T. Frühwirth:
Theory of finite or infinite trees revisited.
Theory and Practice of Logic Programming, 8(4):431-489,
Juli 2008.
[ http://dx.doi.org/10.1017/S1471068407003171 ]
|
|
[281]
|
Ferdinand, C., P. Frey, R. Heckmann und
K. Richter: Timing Correctness and Model-Based Software Development for
Safety-Critical Automotive Applications: An Integrated, Tool-Supported
Workflow.
In: Automotive Safety & Security 2008,
November 2008.
|
|
[280]
|
Frey, P. und U. Freund: Model-Based AUTOSAR
Integration of an Engine Management System.
In: 8. Internationales Stuttgarter Symposium:
Automobil- und Motorentechnik, März 2008.
|
|
[279]
|
Frey, P. und U. Freund: Integrating Timing Aspects
in Model- and Component Based Embedded Control System Development for
Automotive Applications.
In: Tagungsband Dagstuhl-Workshop MBEES:
Modellbasierte Entwicklung eingebetteter Systeme IV, Informatik-Bericht
2008-02, Seiten 40-56. TU Braunschweig, April 2008.
[ http://www.sse-tubs.de/mbees-dagstuhl/ ]
|
|
[278]
|
Frühwirth, T.: Quasi-Linear-Time Algorithms by Generalisation of
Union-Find in CHR.
In: Fages, F., F. Rossi und
S. Soliman (Herausgeber): Recent Advances in Constraints: 12th
Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming,
CSCLP 2007, Band 5129 der Reihe Lecture Notes
in Computer Science, Seiten 91-108. Springer-Verlag, 2008.
[ http://dx.doi.org/10.1007/978-3-540-89812-2_7 ]
|
|
[277]
|
Frühwirth, T.: Welcome to Constraint Handling Rules.
In: Schrijvers, T. und T. Frühwirth (Herausgeber): Constraint Handling Rules: Current Research
Topics, Band 5388 der Reihe Lecture Notes in
Computer Science, Seiten 1-15. Springer-Verlag, 2008.
[ http://dx.doi.org/10.1007/978-3-540-92243-8_1 ]
|
|
[276]
|
Gessenharter, D.: Mapping the UML2 Semantics of Associations to a
Java Code Generation Model.
In: Czarnecki, K., I. Ober, J.-M. Bruel,
A. Uhl und M. Völter (Herausgeber):
Model Driven Engineering Languages and Systems, Band 5301
der Reihe Lecture Notes in Computer Science,
Seiten 813-827. Springer-Verlag, 2008.
[ http://dx.doi.org/10.1007/978-3-540-87875-9_56 ]
|
|
[275]
|
Guttmann, W.: Lazy Relations.
In: Berghammer, R., B. Möller
und G. Struth (Herausgeber): Relations and
Kleene Algebra in Computer Science, Band 4988
der Reihe Lecture Notes in Computer Science,
Seiten 138-154. Springer-Verlag, 2008.
[ http://dx.doi.org/10.1007/978-3-540-78913-0_12 ]
|
|
[274]
|
Guttmann, W.: Algebraic Foundations of the Unifying Theories of
Programming.
In: Wagner, D. et al. (Herausgeber):
Ausgezeichnete Informatikdissertationen 2007, Band D-8
der Reihe Lecture Notes in Informatics, Seiten 141-150. Gesellschaft für Informatik, 2008.
|
|
[273]
|
Guttmann, W.: Lazy UTP.
In: Butterfield, A. (Herausgeber): Second
International Symposium on the Unifying Theories of Programming (UTP 08),
Seiten 253-272. Trinity College Dublin, Ireland, September
2008.
|
|
[272]
|
Haemmerlé, R. und H. Betz: Verification of
Constraint Handling Rules using Linear Logic Phase Semantics.
In: Schrijvers, T., F. Raiser und T. Frühwirth (Herausgeber): CHR 2008, The 5th Workshop on
Constraint Handling Rules, Seiten 67-78, Juli 2008.
|
|
[271]
|
Hürster, C., H. Omasreiter und T. Schwinn:
The problem of traceability and its handling in complex decision processes.
In: Proceedings of the 20th International Conference
on Systems Research, Informatics and Cybernetics, InterSymp: Special Focus
Symposium on Engineering and Management of IT-based Organizational Systems: A
Systems Approach, Juli 2008.
|
|
[270]
|
Kohlmeyer, J.: Executing UML 2 Diagrams in ActiveCharts - A
formal Semantics for the Combination of Behavior Specifications in the UML
2.
In: Bertelle, C. und A. Ayesh (Herausgeber): Proceedings of the 2008 European Simulation and
Modelling Conference, Seiten 94-101, Oktober 2008.
|
|
[269]
|
Meister, M.: Advances in Constraint Handling Rules.
Doktorarbeit, Universität Ulm, Juni 2008.
|
|
[268]
|
Raiser, F.: Semi-Automatic Generation of CHR Solvers from Global
Constraint Automata.
Ulmer Informatik-Berichte 2008-03, Universität Ulm,
Februar 2008.
[ http://vts.uni-ulm.de/doc.asp?id=6322 ]
|
|
[267]
|
Raiser, F.: Semi-automatic generation of CHR solvers for global
constraints.
In: Stuckey, P. J. (Herausgeber):
Principles and Practice of Constraint Programming, 14th International
Conference, CP 2008, Band 5202 der Reihe
Lecture Notes in Computer Science, Seiten 588-592.
Springer-Verlag, September 2008.
[ http://dx.doi.org/10.1007/978-3-540-85958-1_47 ]
|
|
[266]
|
Raiser, F. und T. Frühwirth: Towards Term Rewriting
Systems in Constraint Handling Rules.
In: Schrijvers, T., F. Raiser und T. Frühwirth (Herausgeber): CHR 2008, The 5th Workshop on
Constraint Handling Rules, Seiten 19-33, Juli 2008.
|
|
[265]
|
Schrijvers, T. und T. Frühwirth (Herausgeber):
Constraint Handling Rules: Current Research Topics, Band 5388 der Reihe Lecture Notes in Computer Science.
Springer-Verlag, 2008.
[ http://www.springer.com/978-3-540-92242-1 ]
|
|
[264]
|
Schrijvers, T., F. Raiser und T. Frühwirth (Herausgeber): CHR 2008, The 5th Workshop on Constraint Handling
Rules, Nummer 08-10 in RISC-Linz Report
Series. Research Institute for Symbolic Computation, Johannes Kepler
University, Linz, Juli 2008.
[ http://www.risc.uni-linz.ac.at/publications/download/risc_3449/proceedings.pdf ]
|
|
[263]
|
Sneyers, J. und T. Frühwirth: Generalized CHR
Machines.
In: Schrijvers, T., F. Raiser und T. Frühwirth (Herausgeber): CHR 2008, The 5th Workshop on
Constraint Handling Rules, Seiten 143-157, Juli 2008.
|
|
[262]
|
Sobhi, I., S. Abdennadher und H. Betz:
Constructing Rule-Based Solvers for Intentionally-Defined Constraints.
In: Schrijvers, T. und T. Frühwirth (Herausgeber): Constraint Handling Rules: Current Research
Topics, Band 5388 der Reihe Lecture Notes in
Computer Science, Seiten 70-84. Springer-Verlag, 2008.
[ http://dx.doi.org/10.1007/978-3-540-92243-8_4 ]
|
|
[261]
|
Tavakoli Kolagari, R., A. Raschke, M. Schneiderhan
und I. Alexander: Entscheidungsdokumentation bei der
Entwicklung innovativer Systeme für produktlinien-basierte
Entwicklungsprozesse.
Ulmer Informatik-Berichte 2008-04, Universität Ulm,
Februar 2008.
[ http://vts.uni-ulm.de/doc.asp?id=6323 ]
|
|
[260]
|
Veanes, M., N. Bjørner und A. Raschke: An
SMT Approach to Bounded Reachability Analysis of Model Programs.
In: Suzuki, K., T. Higashino, K. Yasumoto
und K. El-Fakih (Herausgeber): Formal Techniques
for Networked and Distributed Systems: FORTE 2008, Band 5048
der Reihe Lecture Notes in Computer Science,
Seiten 53-68. Springer-Verlag, 2008.
[ http://dx.doi.org/10.1007/978-3-540-68855-6_4 ]
|
| |
| 2007 |
|
[259]
|
Betz, H.: A Linear-Logic Semantics for Constraint Handling Rules
with Disjunction.
In: Djelloul, K., G. J. Duck und M. Sulzmann (Herausgeber): Proceedings of the 4th Workshop
on Constraint Handling Rules, CHR 2007, Seiten 17-31,
September 2007.
|
|
[258]
|
Betz, H.: Relating Coloured Petri Nets to Constraint Handling
Rules.
In: Djelloul, K., G. J. Duck und M. Sulzmann (Herausgeber): Proceedings of the 4th Workshop
on Constraint Handling Rules, CHR 2007, Seiten 33-47,
September 2007.
|
|
[257]
|
Djelloul, K., T.-B.-H. Dao und T. Frühwirth:
Toward a first-order extension of Prolog's unification using CHR: a CHR
first-order constraint solver over finite or infinite trees.
In: Hung, C. C. und A. Rosa (Herausgeber): Proceedings of the 2007 ACM symposium on Applied
computing, SAC 2007, Seiten 58-64. ACM Press, 2007.
[ http://doi.acm.org/10.1145/1244002.1244016 ]
|
|
[256]
|
Frey, P. und U. Freund: AUTOSAR compliant
reengineering of an Engine Management System.
In: Gehrke, M., H. Giese und
J. Stroop (Herausgeber): Preliminary Proceedings of the 4th
Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER4),
Seiten 18-24, Oktober 2007.
[ http://omer4.upb.de/en/index_en.htm ]
|
|
[255]
|
Frühwirth, T.: Description Logic and Rules the CHR Way.
In: Djelloul, K., G. J. Duck und M. Sulzmann (Herausgeber): Proceedings of the 4th Workshop
on Constraint Handling Rules, CHR 2007, Seiten 49-61,
September 2007.
|
|
[254]
|
Gerlich, R.: Integrierte Testkonzepte: Von der Theorie zur Praxis
und zurück.
In: Bleek, W.-G., H. Schwentner und H. Züllighoven (Herausgeber): Software Engineering 2007:
Beiträge zu den Workshops, Band P-106 der Reihe
Lecture Notes in Informatics, Seiten 113-122. Gesellschaft für
Informatik, 2007.
|
|
[253]
|
Gessenharter, D., A.-M. Merten, N. F. Porta und A. Raschke: Experiences on Using Software Experiments in the
Validation of Industrial Research Questions.
In: Abran, A., R. Dumke und
A. Mas (Herausgeber): Proceedings of the IWSM-Mensura 2007,
Seiten 279-288, 2007.
|
|
[252]
|
Guttmann, W.: Algebraic Foundations of the Unifying Theories of
Programming.
Doktorarbeit, Universität Ulm, Dezember 2007.
|
|
[251]
|
Hürster, C. D.: Risikomanagement: Minimalscope für
IT-Großprojekte.
In: Bleek, W.-G., H. Schwentner und H. Züllighoven (Herausgeber): Software Engineering 2007:
Beiträge zu den Workshops, Band P-106 der Reihe
Lecture Notes in Informatics, Seiten 329-332. Gesellschaft für
Informatik, 2007.
|
|
[250]
|
Meister, M.: Concurrency of the Preflow-Push Algorithm in
Constraint Handling Rules.
In: Fages, F., F. Rossi und
S. Soliman (Herausgeber): Constraint Solving and Constraint
Logic Programming, 12th Annual ERCIM Workshop, Seiten 160-169,
Juni 2007.
|
|
[249]
|
Meister, M., K. Djelloul und T. Frühwirth:
Complexity of a CHR Solver for Existentially Quantified Conjunctions of
Equations over Trees.
In: Azevedo, F., P. Barahona, F. Fages
und F. Rossi (Herausgeber): Recent Advances in
Constraints: 11th Annual ERCIM Workshop on Constraint Solving and Constraint
Logic Programming, CSCLP 2006, Band 4651 der Reihe Lecture Notes in Computer Science, Seiten 139-153.
Springer-Verlag, 2007.
|
|
[248]
|
Meister, M., K. Djelloul und J. Robin: A
Unified Semantics for Constraint Handling Rules in Transaction Logic.
In: Baral, C., G. Brewka und
J. Schlipf (Herausgeber): Logic Programming and Nonmonotonic
Reasoning, 9th International Conference, LPNMR 2007, Band 4483
der Reihe Lecture Notes in Computer Science,
Seiten 201-213. Springer-Verlag, 2007.
[ http://dx.doi.org/10.1007/978-3-540-72200-7_18 ]
|
|
[247]
|
Meister, M., K. Djelloul und J. Robin: Une
sémantique complète pour CHR en logique des transactions.
In: Deransart, P. (Herausgeber):
Programmation par Contraintes, Troisièmes Journées Francophones,
Seiten 130-138, Juni 2007.
[ http://hal.inria.fr/inria-00151149/en/ ]
|
|
[246]
|
Meister, M. und T. Frühwirth: Reconstructing
almost-linear Tree Equation Solving Algorithms in CHR.
In: Fages, F., F. Rossi und
S. Soliman (Herausgeber): Constraint Solving and Constraint
Logic Programming, 12th Annual ERCIM Workshop, Seiten 123-137,
Juni 2007.
|
|
[245]
|
Miller, S., T. Kasper, M. Schneiderhan und
A. Raschke: A defect-based experiment for analysing and comparing
software engineering processes.
In: Jedlitschka, A. und
M. Ciolkowski (Herausgeber): Experience on applying quantitative
and qualitative empiricism to software engineering (5th International
Workshop on Empirical Studies in Software Engineering), Nummer 062.07/E in IESE-Report, Seiten 31-38.
Fraunhofer IESE, 2007.
[ http://publica.fraunhofer.de/eprints/urn:nbn:de:0011-n-591678.pdf ]
|
|
[244]
|
Raiser, F.: Graph Transformation Systems in CHR.
In: Dahl, V. und I. Niemelä (Herausgeber): Logic Programming, 23rd International Conference,
ICLP 2007, Band 4670 der Reihe Lecture Notes in
Computer Science, Seiten 240-254. Springer-Verlag, 2007.
[ http://dx.doi.org/10.1007/978-3-540-74610-2_17 ]
|
|
[243]
|
Raiser, F. und P. Tacchella: On Confluence of
Non-terminating CHR Programs.
In: Djelloul, K., G. J. Duck und M. Sulzmann (Herausgeber): Proceedings of the 4th Workshop
on Constraint Handling Rules, CHR 2007, Seiten 63-76,
September 2007.
|
|
[242]
|
Sarstedt, S. und W. Guttmann: An ASM Semantics of
Token Flow in UML 2 Activity Diagrams.
In: Virbitskaite, I. und
A. Voronkov (Herausgeber): Perspectives of System Informatics:
6th International Andrei Ershov Memorial Conference, PSI 2006,
Band 4378 der Reihe Lecture Notes in Computer
Science, Seiten 349-362. Springer-Verlag, 2007.
[ http://dx.doi.org/10.1007/978-3-540-70881-0_30 ]
|
|
[241]
|
Sarstedt, S., J. Kohlmeyer, A. Raschke und
D. Gessenharter: ActiveCharts: Eine pragmatische Umsetzung der MDA
mit UML2-Aktivitätsdiagrammen.
OBJEKTspektrum, (6), 2007.
[ http://www.sigs.de/publications/os/2007/06/sarstedt_kohlmeyer_OS_06_07.pdf ]
|
|
[240]
|
Schwinn, T. und C. D. Hürster: Refactoring based on
systematic analysis with a practical tool.
In: Proceedings of the 20th International Conference
on Software & Systems Engineering and their Applications, ICSSEA,
Dezember 2007.
|
|
[239]
|
Sjöstedt, C.-J., D.-J. Chen, P. Cuenot, P. Frey,
R. Johansson, H. Lönn, D. Servat und
M. Törngren: Developing Dependable Automotive Embedded Systems using
the EAST-ADL; representing continuous time systems in SysML.
In: Fritzson, P., F. Cellier und C. Nytsch-Geusen (Herausgeber): Proceedings of the 1st
International Workshop on Equation-Based Object-Oriented Languages and
Tools, Linköping Electronic Conference Proceedings, Seiten 25-36.
Linköping University Electronic Press, Linköpings universitet,
Juli 2007.
[ http://www.ep.liu.se/ecp/024/003/ ]
|
| |
| 2006 |
|
[238]
|
Djelloul, K. und T.-B.-H. Dao: Extension of
First-Order Theories into Trees.
In: Calmet, J., T. Ida und
D. Wang (Herausgeber): Artificial Intelligence and Symbolic
Computation: 8th International Conference, AISC 2006, Band 4120
der Reihe Lecture Notes in Computer Science,
Seiten 53-67. Springer-Verlag, 2006.
[ http://dx.doi.org/10.1007/11856290_7 ]
|
|
[237]
|
Frühwirth, T.: Constraint Handling Rules: The Story So Far.
In: Maher, M. (Herausgeber): Proceedings
of the Eigth ACM SIGPLAN Symposium on Principles and Practice of Declarative
Programming, Seiten 13-14. ACM Press, 2006.
[ http://doi.acm.org/10.1145/1140335.1140337 ]
|
|
[236]
|
Frühwirth, T.: Complete Propagation Rules for Lexicographic Order
Constraints over Arbitrary Domains.
In: Hnich, B., M. Carlsson, F. Fages
und F. Rossi (Herausgeber): Recent Advances in
Constraints, CSCLP 2005, Band 3978 der Reihe
Lecture Notes in Computer Science, Seiten 14-28.
Springer-Verlag, 2006.
[ http://dx.doi.org/10.1007/11754602_2 ]
|
|
[235]
|
Frühwirth, T.: Deriving Linear-Time Algorithms from Union-Find in
CHR.
In: Schrijvers, T. und T. Frühwirth (Herausgeber): Proceedings of CHR 2006, Third Workshop on
Constraint Handling Rules, Nummer CW 452 in
Technical Report, Seiten 49-60. Departement
Computerwetenschappen, Katholieke Universiteit Leuven, Juni 2006.
[ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW452.pdf ]
|
|
[234]
|
Frühwirth, T. und S. Abdennadher: Principles of
constraint systems and constraint solvers.
Archives of Control Sciences: Special Issue on Constraint
Programming, 16(2), 2006.
[ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/acs-systems3.pdf ]
|
|
[233]
|
Frühwirth, T., L. Michel und C. Schulte:
Constraints in Procedural and Concurrent Languages.
In: Rossi, F., P. van Beek und
T. Walsh (Herausgeber): Handbook of Constraint Programming,
Kapitel 13. Elsevier, 2006.
|
|
[232]
|
Gerlich, Ralf: Schneller zum Ziel durch integrierte Testautomation.
Software-QS-Tag, November 2006.
[ http://www.imbus.de/qs-day/2006/vortragsfolien.shtml ]
|
|
[231]
|
Gerlich, Ralf, Rainer Gerlich, Thomas Boll und Philippe Chevalley: Improving Test Automation by Deterministic
Methods in Statistical Testing.
In: Ouwehand, L. (Herausgeber): DASIA
2006: Data Systems in Aerospace, Nummer SP-630. ESA Publications
Division, Juli 2006.
|
|
[230]
|
Guttmann, W.: Non-termination in Unifying Theories of
Programming.
In: MacCaull, W., M. Winter und
I. Düntsch (Herausgeber): Relational Methods in Computer Science
2005, Band 3929 der Reihe Lecture Notes in
Computer Science, Seiten 108-120. Springer-Verlag, 2006.
[ http://dx.doi.org/10.1007/11734673_9 ]
|
|
[229]
|
Guttmann, W. und M. Maucher: Variations on an
Ordering Theme with Constraints.
In: Navarro, G., L. Bertossi und Y. Kohayakawa (Herausgeber): Fourth IFIP International
Conference on Theoretical Computer Science: TCS 2006, Band 209
der Reihe IFIP International Federation for Information
Processing, Seiten 77-90. Springer-Verlag, 2006.
[ http://dx.doi.org/10.1007/978-0-387-34735-6_10 ]
|
|
[228]
|
Guttmann, W. und B. Möller: Modal Design Algebra.
In: Dunne, S. und W. Stoddart (Herausgeber): Unifying Theories of Programming,
Band 4010 der Reihe Lecture Notes in Computer
Science, Seiten 236-256. Springer-Verlag, 2006.
[ http://dx.doi.org/10.1007/11768173_14 ]
|
|
[227]
|
Guttmann, W. und B. Möller: Modal Design Algebra.
In: Dunne, S. und W. Stoddart (Herausgeber): First International Symposium on the Unifying
Theories of Programming (UTP 06), Seiten 206-225. University of
Teesside, United Kingdom, Februar 2006.
|
|
[226]
|
Guttmann, W. und B. Möller: Normal Design Algebra.
Technischer Bericht 2006-28, Institut für Informatik, Universität
Augsburg, Dezember 2006.
[ http://www.informatik.uni-augsburg.de/lehrstuehle/dbis/pmi/publications/all_pmi_tech-reports/tr-2006-28_gut_moe/ ]
|
|
[225]
|
Hammori, M., J. Herbst und N. Kleiner:
Interactive Workflow Mining.
Data and Knowledge Engineering Journal: Special Issue on Business
Process Management, 56(1):41-63, Januar 2006.
|
|
[224]
|
Käser, M. und M. Meister: Implementation of an
F-Logic Kernel in CHR.
In: Schrijvers, T. und T. Frühwirth (Herausgeber): Proceedings of CHR 2006, Third Workshop on
Constraint Handling Rules, Nummer CW 452 in
Technical Report, Seiten 33-48. Departement
Computerwetenschappen, Katholieke Universiteit Leuven, Juni 2006.
[ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW452.pdf ]
|
|
[223]
|
Kohlmeyer, J., A. Raschke und
R. Tavakoli Kolagari: Eine qualitative Untersuchung zur
Produktlinien-Integration über Organisationsgrenzen hinweg.
Technischer Bericht UIB-2006-03, Universität Ulm, März
2006.
|
|
[222]
|
Meister, M.: Fine-grained Parallel Implementation of the
Preflow-Push Algorithm in CHR.
In: Fink, M., H. Tompits und
S. Woltran (Herausgeber): Proceedings of WLP 2006, 20th Workshop
on Logic Programming, Nummer 1843-06-02 in
INFSYS Research Report, Seiten 172-181. Technische Universität
Wien, Februar 2006.
[ http://www.kr.tuwien.ac.at/wlp06/proceedings.html |
http://www.kr.tuwien.ac.at/wlp06/16-final.ps.gz ]
|
|
[221]
|
Meister, M. und T. Frühwirth: Complexity of the
CHR Rational Tree Equation Solver.
In: Schrijvers, T. und T. Frühwirth (Herausgeber): Proceedings of CHR 2006, Third Workshop on
Constraint Handling Rules, Nummer CW 452 in
Technical Report, Seiten 77-92. Departement
Computerwetenschappen, Katholieke Universiteit Leuven, Juni 2006.
[ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW452.pdf ]
|
|
[220]
|
Raschke, A., J. Kohlmeyer, H. Partsch, H. Wolf
und W. Mader: Virtueller Biobaukasten: Einsatz von
Modellierungswerkzeugen aus der Informatik zur Simulation komplexer
biologischer Prozesse.
In: Haasis, K., A. Heinzl und
D. Klumpp (Herausgeber): Aktuelle Trends in der
Softwareforschung: Tagungsband zum doIT Software-Forschungstag 2006,
Seiten 101-116. dpunkt.verlag, Juli 2006.
|
|
[219]
|
Raschke, A. und R. Tavakoli Kolagari: Ein
experimenteller Vergleich zwischen einer plan-getriebenen und einer
leichtgewichtigen Entwicklungsmethodik zur Spezifikation von eingebetteten
Systemen.
Technischer Bericht UIB-2006-02, Universität Ulm, März
2006.
|
|
[218]
|
Sarstedt, S.: Semantic Foundation and Tool Support for Model-Driven
Development with UML 2 Activity Diagrams.
Doktorarbeit, Universität Ulm, Juli 2006.
|
|
[217]
|
Sarstedt, S.: Model-Driven Development with ActiveCharts: Tutorial.
Technischer Bericht UIB-2006-01, Universität Ulm, März
2006.
[ http://www.informatik.uni-ulm.de/epin/pw/13250 ]
|
|
[216]
|
Sarstedt, S. und W. Guttmann: An ASM Semantics of
Token Flow in UML 2 Activity Diagrams.
In: Virbitskaite, I. und
A. Voronkov (Herausgeber): Perspectives of System Informatics:
Proceedings of the Sixth International Andrei Ershov Memorial Conference,
Seiten 207-213. A. P. Ershov Institute of Informatics Systems,
Novosibirsk, Juni 2006.
|
|
[215]
|
Schrijvers, T., B. Demoen, G. Duck, P. Stuckey
und T. Frühwirth: Automatic implication checking for
CHR constraints.
In: Cirstea, H. und N. Martí-Oliet (Herausgeber): Proceedings of the 6th International Workshop on
Rule-Based Programming, RULE 2005, Band 147 der Reihe Electronic Notes in Theoretical Computer Science, Seiten 93-111, Januar 2006.
|
|
[214]
|
Schrijvers, T. und T. Frühwirth: Programming Pearl:
Optimal Union-Find in Constraint Handling Rules.
Theory and Practice of Logic Programming, 6(1-2):213-224,
Januar 2006.
[ http://arxiv.org/abs/cs.PL/0501073 ]
|
|
[213]
|
Schrijvers, T. und T. Frühwirth (Herausgeber):
Proceedings of CHR 2006, Third Workshop on Constraint Handling Rules,
Nummer CW 452 in Technical Report.
Departement Computerwetenschappen, Katholieke Universiteit Leuven,
Juni 2006.
[ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW452.pdf ]
|
|
[212]
|
Tavakoli Kolagari, R. und N. F. Porta:
Project-oriented Reuse Approaches: Copy-and-Paste or Software Product Line
Engineering?
In: Schneider, K. (Herausgeber):
Proceedings of the International Workshop on Learning Software Organizations
and Requirements Engineering, Seiten 81-97. Universität Hannover,
2006.
|
| |
| 2005 |
|
[211]
|
Abdennadher, S., T. Frühwirth und C. Holzbaur:
Editors, Special Issue on Constraint Handling Rules.
Theory and Practice of Logic Programming (TPLP), 5(4-5), 2005.
[ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/tplp-chr/index.html ]
|
|
[210]
|
Betz, H. und T. Frühwirth: A Linear-Logic Semantics
for Constraint Handling Rules.
In: Beek, P. van (Herausgeber): 11th
Conference on Principles and Practice of Constraint Programming CP 2005,
Band 3709 der Reihe Lecture Notes in Computer
Science, Seiten 137-151. Springer-Verlag, Oktober
2005.
[ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/llchr-final0.pdf ]
|
|
[209]
|
Frühwirth, T.: Specialization of Concurrent Guarded Multi-Set
Transformation Rules.
In: Etalle, S. (Herausgeber): Logic-based
Program Synthesis and Transformation (LOPSTR'04), Band 3573
der Reihe Lecture Notes in Computer Science,
Seiten 133-148. Springer-Verlag, 2005.
[ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/trans1.pdf ]
|
|
[208]
|
Frühwirth, T.: Parallelizing Union-Find in Constraint Handling Rules
Using Confluence.
In: Gabbrielli, M. und Gupta G. (Herausgeber): Logic Programming: 21st International Conference,
ICLP 2005, Band 3668 der Reihe Lecture Notes in
Computer Science, Seiten 113-127. Springer-Verlag,
Oktober 2005.
[ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/puf0.pdf ]
|
|
[207]
|
Frühwirth, T.: Logical Rules for a Lexicographic Order Constraint
Solver.
In: Schrijvers, T. und T. Frühwirth (Herausgeber): Proceedings of CHR 2005, Second Workshop on
Constraint Handling Rules, Nummer CW 421 in
Technical Report, Seiten 79-91. Departement
Computerwetenschappen, Katholieke Universiteit Leuven, September 2005.
[ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/chr05-lex0.ps ]
|
|
[206]
|
Gehring, W.: Leistungspunktesysteme: Eine erste Bilanz.
Universitätsverlag Ulm, Januar 2005.
[ http://www.informatik.uni-ulm.de/pm/Rahmenwerk/ ]
|
|
[205]
|
Gehring, W.: Leistungspunktesysteme an deutschen Universitäten:
Kritische Analyse und Ergebnisse einer summativen Evaluationsstudie.
Doktorarbeit, Universität Ulm, 2005.
Logos-Verlag.
|
|
[204]
|
Guttmann, W.: Non-Termination in Unifying Theories of
Programming.
In: Düntsch, I. und M. Winter (Herausgeber): 8th International Conference on Relational Methods
in Computer Science (RelMiCS 8), Seiten 87-94. Computer Science
Department, Brock University, St. Catharines, Ontario, Canada,
Februar 2005.
|
|
[203]
|
Guttmann, W. und M. Maucher: Constrained Ordering.
Technischer Bericht UIB-2005-03, Universität Ulm, Dezember
2005.
[ http://www.informatik.uni-ulm.de/epin/pw/12929 ]
|
|
[202]
|
Guttmann, W. und B. Möller: Modal Design Algebra.
Technischer Bericht 2005-15, Institut für Informatik, Universität
Augsburg, September 2005.
[ http://www.informatik.uni-augsburg.de/lehrstuehle/dbis/pmi/publications/all_pmi_tech-reports/tr-2005-15_moe/ ]
|
|
[201]
|
Kleiner, N.: 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]
|
Sarstedt, S.: Overcoming The Limitations of Signal Handling when
Simulating UML 2 Activity Charts.
In: Feliz-Teixeira, J. M. und A. E.
Carvalho Brito (Herausgeber): Proceedings of the 2005 European
Simulation and Modelling Conference (ESM'05), Seiten 61-65,
Oktober 2005.
|
|
[199]
|
Sarstedt, S., D. Gessenharter, J. Kohlmeyer, A. Raschke
und M. Schneiderhan: ActiveChartsIDE: An Integrated
Software Development Environment comprising a Component for Simulating UML 2
Activity Charts.
In: Feliz-Teixeira, J. M. und A. E.
Carvalho Brito (Herausgeber): Proceedings of the 2005 European
Simulation and Modelling Conference (ESM'05), Seiten 66-73,
Oktober 2005.
|
|
[198]
|
Sarstedt, S., J. Kohlmeyer, A. Raschke und
M. Schneiderhan: A New Approach to Combine Models and Code in Model
Driven Development.
In: Arabnia, H. R. und H. Reza (Herausgeber): Proceedings of the 2005 International Conference on
Software Engineering Research and Practice (SERP'05), Band 1,
Seiten 396-400, Juni 2005.
|
|
[197]
|
Sarstedt, S., J. Kohlmeyer, A. Raschke und
M. Schneiderhan: Targeting System Evolution by Explicit Modeling of
Control Flows using UML 2 Activity Charts.
In: Arabnia, H. R. (Herausgeber):
Proceedings of the 2005 International Conference on Programming Languages and
Compilers (PLC'05), Seiten 237-246, Juni 2005.
|
|
[196]
|
Schrijvers, T., B. Demoen, G. Duck, P. Stuckey
und T. Frühwirth: Automatic implication checking for
CHR constraints.
In: 6th International Workshop on Rule-Based
Programming, April 2005.
[ http://www.cs.kuleuven.ac.be/~dtai/publications/files/41606.pdf ]
|
|
[195]
|
Schrijvers, T., B. Demoen, G. J. Duck, P. J. Stuckey
und T. Frühwirth: Automatic implication checking for
CHR constraint solvers.
Technischer Bericht CW 402, Departement Computerwetenschappen,
Katholieke Universiteit Leuven, Januar 2005.
[ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW402.abs.html ]
|
|
[194]
|
Schrijvers, T. und T. Frühwirth: Analysing the CHR
Implementation of Union-Find.
In: Wolf, A., T. Frühwirth und
M. Meister (Herausgeber): 19th Workshop on (Constraint) Logic
Programming W(C)LP 2005, Nummer 2005-01 in
Ulmer Informatik-Berichte, Seiten 135-146. Universität Ulm,
Februar 2005.
[ http://www.cs.kuleuven.ac.be/~toms/Research/CHR/docs/wclp-union-find.ps ]
|
|
[193]
|
Schrijvers, T. und T. Frühwirth (Herausgeber):
Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules,
Nummer CW 421 in Technical Report.
Departement Computerwetenschappen, Katholieke Universiteit Leuven,
September 2005.
[ http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW421.abs.html ]
|
|
[192]
|
Wolf, A., T. Frühwirth und M. Meister (Herausgeber): 19th Workshop on (Constraint) Logic Programming
W(C)LP 2005, Nummer 2005-01 in Ulmer
Informatik-Berichte. Universität Ulm, Februar 2005.
[ http://www.informatik.uni-ulm.de/epin/pw/11541 ]
|
| |
| 2004 |
|
[191]
|
Abdennadher, S. und T. Frühwirth: Integration and
Optimization of Rule-based Constraint Solvers.
In: Bruynooghe, M. (Herausgeber):
Logic-based Program Synthesis and Transformation (LOPSTR'03),
Band 3018 der Reihe Lecture Notes in Computer
Science, Seiten 198-213. Springer-Verlag, 2004.
[ http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/Papers/paper3.pdf ]
|
|
[190]
|
Alexander, I. und R. Tavakoli Kolagari: Putting
Scenarios into Practice.
In: Alexander, I. und N. Maiden (Herausgeber): Scenarios, Stories, Use Cases,
Kapitel 22, Seiten 431-444. John Wiley & Sons,
August 2004.
|
|
[189]
|
Ballhause, C. und R. Tavakoli Kolagari:
Hardware-unabhängige Spezifikation von Steuergeräte-Software.
Softwaretechnik-Trends, 24(4):27-29, November 2004.
|
|
[188]
|
Birla, S. und R. Tavakoli Kolagari: A Requirements
Modeling Framework for High Integrity Software-Intensive Automotive Product
Lines.
In: Rombach, H. D., S. Eicker, K. Pohl,
H. H. Adelsberger, V. Wulf, H. Krcmar und
J. M. Pawlowski (Herausgeber): Multikonferenz
Wirtschaftsinformatik (MKWI), Band 1: E-Learning: Modelle,
Instrumente und Erfahrungen, Software-Produktlinien, Communities in
E-Business, Seiten 169-183. Akademische Verlagsgesellschaft Aka
GmbH, 2004.
|
|
[187]
|
Bistarelli, S., T. Frühwirth, M. Marte und
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.
|
|
[186]
|
Biundo, S., T. Frühwirth und G. Palm (Herausgeber): KI 2004: Advances in Artificial Intelligence,
Proccedings of the 27th Annual German Conference on Artificial Intelligence,
Band 3238 der Reihe Lecture Notes in Artificial
Intelligence. Springer-Verlag, 2004.
[ http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-156-22-34544453-0,00.html ]
|
|
[185]
|
Biundo, S., T. Frühwirth und G. Palm (Herausgeber): Poster Proceedings of the 27th Annual German
Conference on Artificial Intelligence, Nummer 2004-03
in Ulmer Informatik-Berichte. Universität Ulm,
September 2004.
[ http://www.informatik.uni-ulm.de/epin/pw/11123 ]
|
|
[184]
|
Buhr, K. und R. Tavakoli Kolagari: Softwarebasierte
Produktlinien: Szenarien für Automobilhersteller und Zulieferer.
Softwaretechnik-Trends, 24(4):30-33, November 2004.
|
|
[183]
|
Frühwirth, T. und M. Meister (Herausgeber):
First Workshop on Constraint Handling Rules: Selected Contributions,
Nummer 2004-01 in Ulmer
Informatik-Berichte. Universität Ulm, Mai 2004.
[ http://www.informatik.uni-ulm.de/epin-data/user/10481.218,UIB_2004-01.pdf ]
|
|
[182]
|
Gehring, W.: Leistungspunkte und Module: Erstellung eines
Modulkatalogs.
In: Leistungspunkte und Modul-Management: Konzepte und
Erfahrungen bei Bewertung, Anerkennung und Austausch von Modulen, Leipzig,
Seiten 151-157, März 2004.
|
|
[181]
|
Gehring, W.: Germany's System of Higher Education in Transition on
its Way to Bologna.
In: 4th International Academic Conference, Andrzej
Frycz Modrzewski Cracow College, Krakau, Poland, Mai 2004.
|
|
[180]
|
Gehring, W., P. Salamon, R. E. Whitney und
P. Sibani: Correlation structure of landscapes of NP-complete
optimization problems at finite temperature.
Open Systems and Information Dynamics, 11(2):177-184,
Juni 2004.
|
|
[179]
|
Häberlein, T.: Understanding Software Acquisition through Modeling
and Simulation.
Doktorarbeit, Universität Ulm, 2004.
Logos-Verlag.
|
|
[178]
|
Häberlein, T.: Common Structures in System Dynamics Models of
Software Acquisition Projects.
Software Process Improvement and Practice, 9(3):67-80, 2004.
|
|
[177]
|
Hammori, M., J. Herbst und N. Kleiner:
Interactive Workflow Mining.
In: Proceedings of the 2nd International Conference on
Business Process Management (BPM '04), Potsdam, Juni 2004.
|
|
[176]
|
Jaufman, O., A. Dold, T. Häberlein, C. Schlumpberger,
M. Stupperich und N. Kleiner: Requirements for
Flexible Software Development Processes within Large and Long Taking
Projects.
In: Proceedings of the 5th Meeting for Quality in
Information and Communications Technology (QUATIC'04), Porto, Portugal,
Oktober 2004.
|
|
[175]
|
Kleiner, N.: Verbesserungsstrategien für den
Workflow-Designprozess.
Doktorarbeit, Universität Ulm, 2004.
|
|
[174]
|
Kleiner, N.: Supporting Usage-Centered Design of Emerging
Workflows.
In: Proceedings of the 2nd International Conference on
Business Process Management (BPM '04), Potsdam, Juni 2004.
|
|
[173]
|
Kleiner, N.: Can Business Process Changes be Cheaper Implemented
with Workflow Management Systems.
In: Proceedings of the 2004 Information Resources
Management Association Conference (IRMA '04), New Orleans, USA,
Mai 2004.
|
|
[172]
|
Puschnig, A. und R. Tavakoli Kolagari: Requirements
Engineering in the Development of Innovative Automotive Embedded Software
Systems.
In: 12th IEEE International Conference on Requirements
Engineering, Seiten 328-333. IEEE Computer Society, 2004.
|
|
[171]
|
Sarstedt, S., A. Raschke und J. Kohlmeyer:
Transparente Programmierung der Anwendungslogik durch attributgesteuerte
Konfiguration von Datenbanksperren.
In: Dadam, P. und M. Reichert (Herausgeber): Informatik 2004, Beiträge der 34. Jahrestagung der
Gesellschaft für Informatik e.V. (GI), Ulm, Band 2,
Seiten 408-417, September 2004.
|
|
[170]
|
Schmid, M. und J. Kohlmeyer: Combining simulated
biological components to achieve a powerful simulation environment.
In: Proceedings of the European Simulation and
Modelling Conference ESMc2004, Paris, France, Seiten 140-142,
Oktober 2004.
|
|
[169]
|
Schrijvers, T. und T. Frühwirth: Implementing and
Analysing Union-Find in CHR.
Technischer Bericht CW 389, Departement Computerwetenschappen,
Katholieke Universiteit Leuven, Juli 2004.
[ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW389.abs.html ]
|
|
[168]
|
Tavakoli Kolagari, R.: Towards a Framework for Requirements
Engineering for Automotive Software System Product Lines in an OEM and
Supplier Setting.
In: Glinz, M. (Herausgeber): Proceedings
of the Doctoral Consortium of the 12th IEEE International Conference on
Requirements Engineering, Seiten 13-16. IEEE Computer Society,
2004.
|
|
[167]
|
Tavakoli Kolagari, R. und A. Puschnig: Entwicklung
innovativer eingebetteter Systeme mit Experteneinbindung.
In: Konferenzband des 9. Kongress
Software-Qualitätsmanagement (SQM), 2004.
|
|
[166]
|
Tavakoli Kolagari, R. und A. 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.
|
| |
| 2003 |
|
[165]
|
Abdennadher, S. und T. Frühwirth: Integration and
Optimization of Rule-based Constraint Solvers.
In: International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'03), 2003.
[ http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/Papers/LOPSTR03-final.ps ]
|
|
[164]
|
Frühwirth, T. und S. Abdennadher: Essentials of
Constraint Programming.
Springer-Verlag, Februar 2003.
[ http://www.springer.de/cgi-bin/search_book.pl?isbn=3-540-67623-6 ]
|
|
[163]
|
Frühwirth, T. und C. Holzbaur: Source-to-Source
Transformation for a Class of Expressive Rules.
In: Buccafurri, F. (Herausgeber): Joint
Conference on Declarative Programming APPIA-GULP-PRODE 2003 (AGP 2003),
Seiten 386-397, 2003.
[ http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/Papers/gulp03-final.ps ]
|
|
[162]
|
Gehring, W.: ECTS und Kreditakkumulation: Das Ulmer Modell.
In: Das Sokrates/Erasmus-Programm der EU 1997-2002:
Erfahrungen und Erwartungen, Seiten 91-97. Deutscher Akademischer
Austauschdienst DAAD, März 2003.
|
|
[161]
|
Gehring, W.: Workloaderfassung: Ein Henne-Ei-Problem (?).
In: Die Berufsqualifikation und die Arbeitsbelastung
der Studierenden: Die qualitativen und quantitativen Gestaltungsgrundlagen
für Leistungspunkte in der Hochschulbildung, Weimar, Seiten 54-56, Mai 2003.
|
|
[160]
|
Gehring, W.: Current Issues in Higher Education in Germany.
In: Achte Internationale Akademische Konferenz am
Rivne Institute of Economics and Humanities, Ukraine, Band 2,
Seiten 219-220, Oktober 2003.
|
|
[159]
|
Guttmann, W., H. Partsch, W. Schulte und
T. Vullinghs: Tool Support for the Interactive Derivation of Formally
Correct Functional Programs.
Journal of Universal Computer Science, 9(2):173-188,
März 2003.
[ http://www.jucs.org/jucs_9_2/tool_support_for_the/ ]
|
|
[158]
|
Häberlein, T.: A Framework for System Dynamic Models of Software
Acquisition Projects.
In: International Workshop on Software Process
Simulation and Modeling (ProSim'03), Portland, co-located with the
International Conference on Software Engineering ICSE'03, Mai
2003.
|
|
[157]
|
Herbst, J. und N. Kleiner: Workflow Mining: A Case
Study from Automotive Industry.
In: Proceedings of the 10th European Concurrent
Engineering Conference, Plymouth, UK. SCS Europe Publications,
April 2003.
|
|
[156]
|
Kleiner, N.: The Focus of Requirements Engineering in Workflow
Application Development.
In: 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, SCS Europe
Publications, Juni 2003.
|
|
[155]
|
Knublauch, H. und T. Rose: Tool-Supported Process
Analysis and Design for the Development of Multi-Agent Systems.
In: Giunchiglia, F., J. Odell und G. Weiß (Herausgeber): Agent-Oriented Software Engineering
III, Third International Workshop, AOSE 2002, Bologna, Italy,
Band 2585 der Reihe Lecture Notes in Computer
Science, Seiten 186-197. Springer-Verlag, 2003.
|
|
[154]
|
Kohlmeyer, J., S. Sarstedt und W. Mader:
Modelling and Simulation of a Biological Process (Neural Action Potential)
with Hybrid Tools used in Computer Science.
In: Proceedings of The 2003 European Simulation and
Modelling Conference ESM2003, Seiten 328-332, Oktober
2003.
|
|
[153]
|
Omasreiter, H. und R. Tavakoli Kolagari: Ziel- und
kundenorientierte Anforderungserstellung mit Abstraktionsebenen als zentraler
Erfolgsfaktor bei der Entwicklung von Kfz-Software.
In: Konferenzband der Konferenzen CONQUEST, Automation
Days und EUROMOTIVE, Seiten 229-239, 2003.
|
|
[152]
|
Schlumpberger, C. und D. Ernst: Räumlich verteilte
Software-Entwicklung unter experimenteller Betrachtung verteilter
Inspektionen - Ein Erfahrungsbericht.
In: Siedersleben, J. und
D. Weber-Wulff (Herausgeber): Software-Engineering im Unterricht
der Hochschulen, SEUH 8, Berlin, Seiten 111-120, 2003.
|
|
[151]
|
Schneider, K. und J.-P. von Hunnius: Effective
Experience Repositories in SOftware-Engineering.
In: 25th International Conference on Software
Engineering (ICSE), Portland, 2003.
|
| |
| 2002 |
|
[150]
|
Alexander, I. und F. Kiedaisch: Towards Recyclable
System Requirements.
In: Proceedings of the 9th IEEE International
Conference and Workshop on the Engineering of Computer-Based Systems
(ECBS'02), Lund, Sweden, 2002.
|
|
[149]
|
Frühwirth, T.: As Time Goes By II: More Automatic Complexity
Analysis of Concurrent Rule Programs.
In: Di Pierro, A. und H. Wiklicky (Herausgeber): Quantitative Aspects of Programming Laguages,
QAPL'01, Band 59 der Reihe Electronic Notes in
Theoretical Computer Science, Seiten 185-206, November
2002.
[ http://www.elsevier.com/gej-ng/31/29/23/89/54/25/59.3.003.ps ]
|
|
[148]
|
Frühwirth, T., A. Di Pierro und H. Wiklicky:
Probabilistic Constraint Handling Rules.
In: Comini, M. und M. Falaschi (Herausgeber): 11th International Workshop on Functional and
(Constraint) Logic Programming, WFLP 2002, Band 76
der Reihe Electronic Notes in Theoretical Computer Science,
Seiten 115-130, November 2002.
[ http://www.elsevier.com/gej-ng/31/29/23/126/23/38/76009.ps ]
|
|
[147]
|
Gantner, T. und T. Häberlein: GARP - The Evolution
of a Software Acquisition Process Model.
In: 7th European Conference on Software Quality 2002,
Helsinki, Finland, Band 2349 der Reihe Lecture
Notes in Computer Science, Seiten 186-196. Springer-Verlag,
2002.
|
|
[146]
|
Gehring, W.: Ein Rahmenwerk zur Einführung von
Leistungspunktesystemen.
Universitätsverlag Ulm, zweite, überarbeitete und erweiterte
Auflage, April 2002.
[ http://www.informatik.uni-ulm.de/pm/Rahmenwerk/ ]
|
|
[145]
|
Guttmann, W.: Deriving an Applicative Heapsort Algorithm.
Technischer Bericht UIB-2002-02, Universität Ulm, Dezember
2002.
[ http://www.informatik.uni-ulm.de/epin/pw/6920 ]
|
|
[144]
|
Guttmann, W., H. Partsch, W. Schulte und
T. Vullinghs: Tool Support for the Interactive Derivation of Formally
Correct Functional Programs (Extended Abstract).
In: Haneberg, D., G. Schellhorn und W. Reif (Herausgeber): FM-TOOLS 2002: The Fifth Workshop
on Tools for System Design and Verification, Seiten 15-20.
Institut für Informatik, Universität Augsburg, Juni 2002.
Report 2002-11.
|
|
[143]
|
Häberlein, T. und T. Gantner: Process-Oriented
Interactive Simulation of Software Acquisition Projects.
In: Shafazand, H. und A. Min Tjoa (Herausgeber): EurAsia-ICT 2002: Information and Communication
Technology, First EurAsian Conference, Shiraz, Iran, Band 2510
der Reihe Lecture Notes in Computer Science,
Seiten 806-815. Springer-Verlag, 2002.
|
|
[142]
|
Houdek, F., T. Schwinn und D. Ernst: Defect
Detection for Executable Specifications: An Experiment.
International Journal of Software Engineering and Knowledge
Engineering, 12(6):637-655, Dezember 2002.
|
|
[141]
|
Kleiner, N. und J. Herbst: Engineering a
DMU-Resultmanagement System.
In: Proceedings of the 9th European Concurrent
Engineering Conference (ECEC'02), Modena, Italy. SCS Europe Publications,
2002.
|
|
[140]
|
Kleiner, N. und J. Herbst: A Model for Business
Process Supporting Web Applications.
In: 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.
|
|
[139]
|
Knethen, A. von, B. Paech, F. Kiedaisch und
F. Houdek: Systematic Requirements Recycling through Abstraction and
Traceability.
In: Proceedings of the IEEE Joint International
Requirements Engineering Conference (RE'02), Essen, 2002.
|
|
[138]
|
Knublauch, H.: Extreme Programming of Multi-Agent Systems.
In: First International Joint Conference on Autonomous
Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy, 2002.
|
|
[137]
|
Knublauch, H.: Extreme Programming of Knowledge-Based Systems.
In: Third International Conference on eXtreme
Programming and Agile Processes in Software Engineering (XP2002), Alghero,
Sardinia, Italy, 2002.
|
|
[136]
|
Knublauch, H., H. Koeth und T. Rose: Agile
Development of a Clinical Multi-Agent System: An Extreme Programming Case
Study.
In: Third International Conference on eXtreme
Programming and Agile Processes in Software Engineering (XP2002), Alghero,
Sardinia, Italy, 2002.
|
|
[135]
|
Laitenberger, O., T. Beil und T. Schwinn: An
Industrial Case Study to examine a non-traditional Inspection Implementation
for Requirements Specifications.
Empirical Software Engineering, 7:345-374, 2002.
|
|
[134]
|
Laitenberger, O., T. Beil und T. Schwinn: An
Industrial Case Study to examine a non-traditional Inspection Implementation
for Requirements Specifications.
In: Proceedings of Eighth IEEE Symposium on SOftware
Metrics, Seiten 97-106, 2002.
|
|
[133]
|
Rose, T., M. Fünffinger, H. Knublauch und
C. Rupprecht: Prozessorientiertes Wissensmanagement.
Künstliche Intelligenz, 16(1):19-24, 2002.
Intelligente Systeme für das Wissensmanagement.
|
|
[132]
|
Schneider, K., J.-P. von Hunnius und V. R. Basili:
Experience in Implementing a Learning Software Organization.
IEEE Software, 19(3), 2002.
|
|
[131]
|
Schneider, K. und T. Schwinn: Maturing Experience
Base Concepts at DaimlerChrysler.
Software Process Improvement and Practice, 6(2):85-96, 2002.
|
|
[130]
|
Schonger, S., E. Pulvermüller und S. Sarstedt:
Aspect-Oriented Programming and Component Weaving: Using XML
Representations of Abstract Syntax Trees.
In: Proceedings of the 2nd German GI Workshop on
Aspect-Oriented Software Development, Technical Report No. IAI-TR-2002-1,
Seiten 59-64. Rheinische Friedrich-Wilhelms-Universität Bonn,
Institut für Informatik 3, Februar 2002.
|
| |
| 2001 |
|
[129]
|
Houdek, F., T. Schwinn und D. Ernst: Defect
Detection for Executable Specifications - An Experiment.
In: Thirteenth International Conference on Software
Engineering and Knowledge Engineering (SEKE'01), Buenos Aires, Argentinien,
2001.
|
|
[128]
|
Hunnius, J. von: Experience Bases at DaimlerChrysler.
In: Presentation at the SEC Consortium meeting in
Everett, Washington, April 2001.
|
|
[127]
|
Kiedaisch, F., M. Pohl, J. Weisbrod, S. Bauer
und S. Ortmann: Requirements Archaeology: From
Unstructured Information to High Quality Specifications.
In: Proceedings of the 5th International Symposium on
Requirements Engineering (RE'01), Toronto, Canada, 2001.
|
|
[126]
|
Kiedaisch, F., M. Pohl, J. Weisbrod, S. Bauer
und S. Ortmann: Experiences on Outsourcing Requirements
Specifications.
In: Proceedings of the European Software Process
Improvement Conference (EuroSPI'2001), Limerick, Ireland, 2001.
|
|
[125]
|
Kleiner, N. und S. Sarstedt: Einsatz von
Standardprozessen bei der Gestaltung von Lehrveranstaltungen.
In: Software Engineering im Unterricht der Hochschulen
(SEUH 2001), Zürich, Schweiz. dpunkt.verlag, 2001.
|
|
[124]
|
Knublauch, H.: KBeans Specification: Semantic Transparency for
Components and Domain Models.
Technischer Bericht FAW-TR-01001, FAW Ulm, 2001.
|
|
[123]
|
Knublauch, H. und T. Rose: Werkzeugunterstützte
Prozessanalyse zur Identifikation von Anwendungsszenarien für Agenten.
In: Verbundtagung Verteilte Informationssysteme auf
der Grundlage von Objekten, Komponenten und Agenten (vertIS 2001), Bamberg,
2001.
|
|
[122]
|
Schmid, J.: Compiling Abstract State Machines to C++.
Journal of Universal Computer Science, 7(11), 2001.
Abstract State Machines 2001: Developments and Applications.
|
|
[121]
|
Schmid, J.: Compiling Abstract State Machines to C++.
In: Formal Methods and Tools for Computer Science,
Eurocast 2001, Universidad de Las Palmas de Gran Canaria, 2001.
|
|
[120]
|
Schmid, J.: Introduction to AsmGofer, 2001.
[ http://www.tydo.de/AsmGofer/ ]
|
|
[119]
|
Schwinn, T.: How to make your Software Inspections Profitable - An
Approach Based on Sampling and Return on Investment Calculation.
In: Proceedings of the 14th ICSSEA, Paris, 2001.
|
|
[118]
|
Stärk, R. und J. Schmid: Java bytecode verification
is not possible.
In: Formal Methods and Tools for Computer Science,
Eurocast 2001, Universidad de Las Palmas de Gran Canaria, 2001.
|
|
[117]
|
Stärk, R., J. Schmid und E. Börger: Java and
the Java Virtual Machine: Definition, Validation, Verification.
Springer-Verlag, 2001.
|
| |
| 2000 |
|
[116]
|
Achatz, K.: Systematische Modellbildung für
Prozessautomatisierungssysteme.
Doktorarbeit, Universität Ulm, 2000.
|
|
[115]
|
Balser, M., C. Duelli, W. Reif und
Schellhorn: Verifying Concurrent Systems with Symbolic Execution.
In: Proceedings of the International Conference on
Temporal Logic (ICTL2000), 2000.
|
|
[114]
|
Balser, M., W. Reif, G. Schellhorn, K. Stenzel
und A. Thums: Formal System Development with KIV.
In: Maibaum, T. (Herausgeber): Proceedings
of the 3rd International Conference on Fundamental Approaches to Software
Engineering (FASE2000), Band 1783 der Reihe
Lecture Notes in Computer Science. Springer-Verlag, 2000.
|
|
[113]
|
Börger, E., P. Päppinghaus und J. Schmid:
Report on a Practical Application of ASMs in Software Design.
In: Gurevich, Y., P. W. Kutter,
M. Odersky und L. Thiele (Herausgeber):
Abstract State Machines, Theory and Applications, International Workshop, ASM
2000, Monte Verità, Switzerland, Band 1912 der Reihe Lecture Notes in Computer Science, Seiten 361-366.
Springer-Verlag, 2000.
|
|
[112]
|
Börger, E., E. Riccobene und J. Schmid:
Capturing Requirements by Abstract State Machines: The Light Control Case
Study.
Journal of Universal Computer Science, 6(7), 2000.
|
|
[111]
|
Börger, E. und J. Schmid: Composition and
Submachine Concepts for Sequential ASMs.
In: Clote, P. G. und
H. Schwichtenberg (Herausgeber): Computer Science Logics (CSL
2000), Band 1862 der Reihe Lecture Notes in
Computer Science, Seiten 41-60. Springer-Verlag, 2000.
|
|
[110]
|
Börger, E. und W. 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.
|
|
[109]
|
Breymann, U., D. Köhler und W. Gehring:
Einführung eines Leistungspunktesystems im Studiengang Medieninformatik.
Technischer Bericht, Hochschule Bremen, November 2000.
|
|
[108]
|
Dettinger, M.: Erweiterte Compilierung von C/C++: Verbesserte
Code-Optimierung durch Verwendung semantischer Zusatzinformationen.
Doktorarbeit, Universität Ulm, 2000.
|
|
[107]
|
Gehring, W.: Ein Rahmenwerk zur Einführung von
Leistungspunktesystemen.
Technischer Bericht 2000-04, Universität Ulm, März
2000.
[ http://www.informatik.uni-ulm.de/pm/Rahmenwerk/ ]
|
|
[106]
|
Gehring, W.: Modularisierung und Leistungspunktesysteme: Ein
Überblick.
In: Workshop Modularisierung, Jena, März
2000.
|
|
[105]
|
Gurevich, Y., W. Schulte und C. Wallace:
Investigating Java Concurrency Using Abstract State Machines.
In: Gurevich, Y., P. W. Kutter,
M. Odersky und L. Thiele (Herausgeber):
Abstract State Machines, Theory and Applications, International Workshop, ASM
2000, Monte Verità, Switzerland, Band 1912 der Reihe Lecture Notes in Computer Science, Seiten 151-176.
Springer-Verlag, 2000.
|
|
[104]
|
Guttmann, W.: An Introduction to Ultra.
Universität Ulm, Dezember 2000.
[ http://www.informatik.uni-ulm.de/pm/ultra ]
|
|
[103]
|
Hunnius, J.-P. von: WESPI - WEb Supported Software Process
Improvement.
In: Proceedings of the 2nd Workshop on Learning
Software Organizations, Oulu, Finland, Seiten 93-99,
Juni 2000.
|
|
[102]
|
Knublauch, H. und T. Rose: Round-Trip Engineering
of Ontologies for Knowledge-based Systems.
In: Twelfth International Conference on Software
Engineering and Knowledge Engineering (SEKE), Chicago, IL, Seiten 239-247, 2000.
|
|
[101]
|
Knublauch, H. und T. Rose: Application Scenarios of
Agent-Based Information Logistics in Clinical and Engineering Domains.
In: European Conference on Artificial Intelligence
(ECAI), Workshop on Agent Technologies and Their Application Scenarios in
Logistics, Berlin, 2000.
|
|
[100]
|
Knublauch, H., T. Rose und M. Sedlmayr:
Towards a Multi-Agent System for Pro-active Information Management in
Anesthesia.
In: Fourth International Conference on Autonomous
Agents (Agents 2000), Workshop on Autonomous Agents in Health Care,
Barcelona, Spain, 2000.
|
|
[99]
|
Knublauch, H., M. Sedlmayr und T. Rose:
Design Patterns for the Implementation of Constraints on JavaBeans.
In: NetObjectDays2000, Erfurt, 2000.
|
|
[98]
|
Partsch, H., W. Schulte und T. Vullinghs:
Ultra: A Learn System for the Interactive Manipulation of Functional
Programs.
In: Cengarle, V. (Herausgeber):
Requirements, Design, Correct Construction and Verification,
Band 11 der Reihe Softwaretechnik. Uni-Druck,
2000.
|
|
[97]
|
Reif, W., J. Ruf, G. Schellhorn und
T. Vollmer: Do You Trust Your Model Checker?
In: Hunt Jr., W. A. und S. D.
Johnson (Herausgeber): Proceedings of the 3rd International
Conference on Formal Methods in Computer-Aided Design (FMCAD2000), Austin,
Texas, USA, Band 1954 der Reihe Lecture Notes
in Computer Science. Springer-Verlag, 2000.
|
|
[96]
|
Reif, W., G. Schellhorn und A. Thums: Safety
Analysis of a Radio-Based Crossing Control System Using Formal Methods.
In: Proceedings of the 9th IFAC Symposium Control in
Transportation Systems, Braunschweig, 2000.
|
|
[95]
|
Reif, W., G. Schellhorn und A. Thums:
Fehlersuche in formalen Spezifikationen.
Technischer Bericht 2000-06, Universität Ulm, 2000.
|
|
[94]
|
Rose, R., H. Knublauch und G. Peinel: Agenten
in der pro-aktiven Prozessunterstützung.
Industrie-Management 4, Seiten 40-53, 2000.
|
|
[93]
|
Rupprecht, C., M. Fünffinger, H. Knublauch und T. Rose: Capture and Dissemination of Experience about the
Construction of Engineering Processes.
In: Twelfth Conference on Advanced Information Systems
Engineering (CAISE), Stockholm, Sweden, 2000.
|
|
[92]
|
Schellhorn, G. und W. Reif: FM-Tools 2000: The 4th
Workshop on Tools for System Design and Verification.
Technischer Bericht 2000-07, Universität Ulm, 2000.
|
|
[91]
|
Schellhorn, G., W. Reif, A. Schairer, P. Karger,
V. Austel und D. Toll: Verification of a Formal
Security Model for Multiapplicative Smart Cards.
In: Proceedings of the 6th European Symposium on
Research in Computer Security, Toulouse, France, Band 1895
der Reihe Lecture Notes in Computer Science.
Springer-Verlag, 2000.
|
|
[90]
|
Schulte, W.: High-Integrity Compilation and Secure Execution of
Java.
Habilitationsschrift, Universität Ulm, 2000.
|
|
[89]
|
Stärk, R. und J. Schmid: The problem of Bytecode
Verification in Current Implementations of the JVM.
Technischer Bericht, ETH Zürich, 2000.
|
| |
| 1999 |
|
[88]
|
Balser, M., W. Reif, G. Schellhorn und
K. Stenzel: KIV 3.0 for Provably Correct Systems.
In: Proceedings of the International Workshop on
Current Trends in Applied Formal Methods (FM-Trends 98), Boppard,
Band 1641 der Reihe Lecture Notes in Computer
Science. Springer-Verlag, 1999.
|
|
[87]
|
Berghammer, R., Y. Lakhnech und W. Reif:
Formal Methods and Tools: Introduction and Overview.
In: Berghammer, R. und Y. Lakhnech (Herausgeber): Tool Support for System Specification, Development
and Verification. Springer-Verlag, 1999.
|
|
[86]
|
Börger, E. und W. Schulte: A Programmer Friendly
Modular Definition of the Semantics of Java.
In: Alves-Foss, J. (Herausgeber): Formal
Syntax and Semantics of Java, Band 1523 der Reihe Lecture Notes in Computer Science, Seiten 353-404.
Springer-Verlag, 1999.
|
|
[85]
|
Börger, E. und W. Schulte: Modular Design for the
Java Virtual Machine Architecture.
In: Architecture Design and Validation Methods.
Springer-Verlag, 1999.
|
|
[84]
|
Börger, E. und W. Schulte: Initialization Problems
for Java.
Software - Concepts and Tools, 20(4), 1999.
|
|
[83]
|
Hähnle, R., W. Menzel, W. Reif und
P. Schmitt: Special Issue on Integration of Deduction Systems.
Journal of Universal Computer Science, 5(3), 1999.
|
|
[82]
|
Houdek, F., D. Ernst und T. Schwinn:
Comparing Structured and Object-Oriented Methods for Embedded Systems: A
Controlled Experiment.
In: Proceedings of the ICSE Workshop Empirical Studies
on Software Development, Los Angeles, California, USA, 1999.
|
|
[81]
|
Hutter, D., H. Mantel, G. Rock, W. Stephan,
A. Wolpers, M. Balser, W. Reif, G. Schellhorn
und K. Stenzel: VSE: Controlling the Complexity in
Formal Software Developments.
In: Proceedings of the International Workshop on
Current Trends in Applied Formal Methods (FM-Trends 98), Boppard,
Band 1641 der Reihe Lecture Notes in Computer
Science. Springer-Verlag, 1999.
|
|
[80]
|
Knublauch, H.: Three Patterns for the Implementation of Ontologies
in Java.
In: OOPSLA'99 Metadata and Active Object-Model Pattern
Mining Workshop, Denver, CO, USA, 1999.
|
|
[79]
|
Knublauch, H. und T. Rose: Reflection-enabled Rapid
Prototyping of Knowledge-based Systems.
In: OOPSLA'99 Workshop on Object Oriented Reflection
and Software Engineering, Denver, CO, USA, 1999.
|
|
[78]
|
Knublauch, H., M. Sedlmayr und T. Rose:
Knowledge-based Decision Support in an Anaesthesia Information System.
In: Combined ESCTAIC / SCATA Meeting, Glasgow, UK,
1999.
|
|
[77]
|
Meyer, C.-H. und H. Knublauch: Parallel Iterative
Proportional Fitting.
In: Symposium in Operations Research (SOR99),
Magdeburg, 1999.
|
|
[76]
|
Reif, W.: Formale Methoden für sicherheitskritische Software - Der
KIV-Ansatz.
Informatik: Forschung und Entwicklung, 14(3), 1999.
|
|
[75]
|
Rock, G., W. Stephan, A. Wolpers, M. Balser,
W. Reif und S. Scheer: Structured Formal Development
in VSE II: The Robertino Case Study.
In: Saglietti, F. und W. Goerigk (Herausgeber): Sicherheit und Zuverlässigkeit software-basierter
Systeme, ITSec, 1999.
|
|
[74]
|
Sarstedt, S., G. Sauter, J. Sellentin und
B. Mitschang: Integrationskonzepte für heterogene Anwendungssysteme bei
DaimlerChrysler auf Basis internationaler Standards.
In: Fachtagung Datenbanksysteme in Büro, Technik und
Wissenschaft (BTW1999), Freiburg, Seiten 317-327, 1999.
|
|
[73]
|
Schellhorn, G.: Verifikation abstrakter Zustandsmaschinen
(Verification of Abstract State Machines).
Doktorarbeit, Universität Ulm, 1999.
|
|
[72]
|
Schwarz, M.: Kommunikationsorientierte Analyse und Gestaltung von
Arbeitskontexten (KOALA).
In: Sinz, E. J. (Herausgeber):
Modellierung betrieblicher Informationssysteme, Proceedings der
MobIS-Fachtagung (MobIS'99), Bamberg, Seiten 210-226, 1999.
|
|
[71]
|
Schwinn, T., D. Landes, T. Beil und
H. Kempter: Making Know How Transfer Work in a Purchaser-Supplier
Setting by Deploying Software Inspection.
In: Proceedings of 6th European Conference on Software
Quality, Vienna, Seiten 418-428, April 1999.
|
|
[70]
|
Sedlmayr, M., H. Knublauch und T. Rose:
Towards an Anaesthesiology Information System.
In: Combined ESCTAIC / SCATA Meeting, Glasgow, UK,
1999.
|
|
[69]
|
Vullinghs, T.: Functional Abstraction fpr Imperative Actions.
Doktorarbeit, Universität Ulm, 1999.
|
|
[68]
|
Vullinghs, T., W. Schulte und H. Partsch:
System Support for the Interactive Transformation of Functional Programs.
In: Proceedings of the Software Transformation Systems
1999 (STS'99) Workshop, Los Angeles, 1999.
|
| |
| 1998 |
|
[67]
|
Ahrendt, W., B. Beckert, R. Hähnle, W. Menzel,
W. Reif, G. Schellhorn und P. Schmitt:
Integrating Automated and Interactive Theorem Proving.
In: Bibel, W. und P. Schmitt (Herausgeber): Automated Deduction - A Basis for Applications,
Band 2: Systems and Implementation Techniques,
Kapitel 1: Interactive Theorem Proving. Kluwer Academic
Publishers, 1998.
|
|
[66]
|
Börger, E. und W. Schulte: Defining the Java
Virtual Machine as Platform for Provably correct Java Compilation.
In: Brim, L., J. Gruska und
J. Zlatuska (Herausgeber): Proceedings of the 23rd International
Symposium on Mathematical Foundation of Computer Science (MFCS´98), Brno,
Czech Republic, Band 1450 der Reihe Lecture
Notes in Computer Science. Springer-Verlag, 1998.
|
|
[65]
|
Ernst, D. und F. Houdek: Applying Metrics to
Cross-Technical Evaluations.
In: Coombes, H., M. Hooft van Huysduynen
und B. Peeters (Herausgeber): The European
Software Measurement Conference Fesma 98, Antwerp, Belgium, 1998.
|
|
[64]
|
Ernst, D., F. Houdek und T. Schwinn: An
Experimental Comparison of Static and Dynamic Defect Detection Techniques.
In: Conference Proceedings of the Eleventh
International Software Quality Week (QW 98), San Francisco, California,
1998.
|
|
[63]
|
Fensel, D., F. von Hamelen, W. Reif und
A. ten Teije: Formal Support for the Development of Knowledge-based
Systems.
Information Technology Management, 2(4), 1998.
|
|
[62]
|
Greiner, C., H. Knublauch, M. Sedlmayr und
T. Rose: Representing and Processing Various Knowledge Types in an
Anaesthesia Information System.
In: Annual Meeting of the European Society for
Computing and Technology in Anaesthesia and Intensive Care (ESCTAIC),
Villach, Austria, 1998.
|
|
[61]
|
Houdek, F., D. Ernst und T. Schwinn: Prüfen
von C-Code und Statemate/Matlab-Spezifikationen: Ein Experiment.
Technischer Bericht 98-11, Universität Ulm, 1998.
|
|
[60]
|
Nipkow, T. und W. Reif: An Introduction to
Interactive Theorem Proving.
In: Bibel, W. und P. Schmitt (Herausgeber): Automated Deduction - A Basis for Applications.
Kluwer Academic Publishers, 1998.
|
|
[59]
|
Partsch, H.: Requirements-Engineering systematisch - Modellierung
für softwaregestützte Systeme.
Springer-Verlag, 1998.
|
|
[58]
|
Reif, W.: Interaktives Theorembeweisen - Anwendungen in der
Softwaretechnik.
Künstliche Intelligenz, 12(4):42-48, Dezember 1998.
|
|
[57]
|
Reif, W.: Software-Sicherheit mit formalen Methoden.
Softwaretechnik-Trends, 18(3), August 1998.
GI-Fachtagung Softwaretechnik 98.
|
|
[56]
|
Reif, W. und G. Schellhorn: Theorem Proving in
Large Theories.
In: Bibel, W. und P. Schmitt (Herausgeber): Automated Deduction - A Basis for Applications,
Band 3: Applications, Kapitel 2. Kluwer Academic
Publishers, 1998.
|
|
[55]
|
Reif, W., G. Schellhorn, K. Stenzel und
M. Balser: Structured specifications and interactive proofs with KIV.
In: Bibel, W. und P. Schmitt (Herausgeber): Automated Deduction - A Basis for Applications.
Kluwer Academic Publishers, 1998.
|
|
[54]
|
Salamon, P., P. Sibani, W. Gehring, R. Whitney
und R. Frost: Toward a taxonomy of NP-hard
combinatorial optimization problems.
Bulletin of the American Physical Society, 43(1), März
1998.
|
|
[53]
|
Schellhorn, G.: Proving Properties of Directed Graphs: A Problem Set
for Automated Theorem Provers.
Technischer Bericht 98-12, Universität Ulm, 1998.
|
|
[52]
|
Schellhorn, G. und W. Ahrendt: The WAM Case Study:
Verifying Compiler Correctness for Prolog with KIV.
In: Bibel, W. und P. Schmitt (Herausgeber): Automated Deduction - A Basis for Applications,
Band 3: Applications, Kapitel 3: Automated Theorem
Proving in Software Engineering. Kluwer Academic Publishers, 1998.
|
|
[51]
|
Schellhorn, G. und W. Reif: Theorems from Compiler
Verification: A Problem Set for Automated Theorem Provers.
Technischer Bericht 98-13, Universität Ulm, 1998.
|
|
[50]
|
Schwarz, M.: Theorie und Praxis erfahrbar machen - der Wurf ins
kalte Wasser: Praxisnahes Arbeiten im Grundstudium.
In: Handbuch Hochschullehre. Raabe-Verlag, 1998.
|
| |
| 1997 |
|
[49]
|
Achatz, K. und H. Partsch: A Powerful
Transformation Rule, its Applications and Variants.
In: 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.
|
|
[48]
|
Achatz, K. und W. Schulte: A Formal OO Method
Inspired by Fusion and Object-Z.
In: Bowen, J. P., M. G. Hinchey und D. Till (Herausgeber): ZUM'97: The Z Formal Specification
Notation, 10th International Conference of Z Users, Reading, UK,
Band 1212 der Reihe Lecture Notes in Computer
Science. Springer-Verlag, 1997.
|
|
[47]
|
Achatz, K. und W. Schulte: Formale
objektorientierte Softwareentwicklung mit FOX.
Informatik: Forschung und Entwicklung, 12(4):174-185, 1997.
|
|
[46]
|
Achatz, K. und W. Schulte: Functional
Object-oriented Programming with Object-Gofer.
In: Informatik '97: Informatik als Innovationsmotor,
Informatik aktuell. Springer-Verlag, 1997.
Auch in: Arbeitstagung Programmiersprachen, Arbeitsbericht der
Universität Münster, Institut für Wirtschaftsinformatik, Nr. 58, September
1997.
|
|
[45]
|
Braxmeier, H., D. Ernst, A. Mößle und
H. Vogler: The Project NoName: A functional programming language with
ist development environment.
Technischer Bericht 97-08, Universität Ulm, 1997.
|
|
[44]
|
Claessen, K., T. Vullinghs und E. Meijer:
Structuring graphical paradigms in TkGofer.
In: Peyton Jones, S. (Herausgeber):
Proceedings of the ACM SIGPLAN International Conference on Functional
Programming (ICP'97), Amsterdam, 1997.
|
|
[43]
|
Ernst, D., F. Houdek, T. Schwinn und
W. Schulte: Experimenteller Vergleich statischer und dynamischer
Softwareprüfung für eingebettete Systeme.
Technischer Bericht 97-13, Universität Ulm, 1997.
|
|
[42]
|
Reif, W.: Risikofaktor Software.
In: Jantke, K., G. Grieger und
W. Wittig (Herausgeber): Impulse für Informatik-Innovationen.
Infix-Verlag, 1997.
|
|
[41]
|
Reif, W.: Software-Verifikation und ihre Anwendungen.
In: it+ti Themenheft Formale Entwurfsmethoden -
Software Correctness. Oldenbourg-Verlag, 1997.
|
|
[40]
|
Reif, W. und G. Schellhorn: Theorem Proving in
Large Theories.
Technischer Bericht 97-14, Universität Ulm, 1997.
|
|
[39]
|
Reif, W., G. Schellhorn und K. Stenzel:
Proving System Correctness with KIV.
In: Bidoit, M. und M. Dauchet (Herausgeber): Proceedings of the 7th International Joint
Conference CAAP/FASE on Theory and Practice of Software Development
(TAPSOFT'97), Lille, France, Band 1214 der Reihe
Lecture Notes in Computer Science. Springer-Verlag, 1997.
|
|
[38]
|
Reif, W., G. Schellhorn und K. Stenzel:
Proving System Correctness with KIV 3.0.
In: Proceedings of the 14th International Conference
on Automated Deduction, Townsville, Australia, Band 1249
der Reihe Lecture Notes in Computer Science.
Springer-Verlag, 1997.
|
|
[37]
|
Schellhorn, G. und W. Ahrendt: Reasoning about
Abstract State Machines: The WAM Case Study.
Journal of Universal Computer Science, 3(4):377-413, 1997.
[ http://www.jucs.org/jucs_3_4/wam_case/ ]
|
|
[36]
|
Schellhorn, G. und W. Reif: Proving Properties of
Finite Enumerations: A Problem Set for Automated Theorem Provers.
Technischer Bericht 97-12, Universität Ulm, 1997.
|
|
[35]
|
Schulte, W. und M. Schwarz: Realistische
Aufgabenstellungen für das Softwaregrundpraktikum.
In: Forbig, P. und G. Riedewald (Herausgeber): Software Engineering im Unterricht der Hochschulen
(SEUH'97). Teubner-Verlag, 1997.
|
|
[34]
|
Schwarz, M. und W. Schulte: Realistische
Aufgabenstellungen für das Softwaregrundpraktikum.
In: Workshop des German Chapter of the ACM und der
Gesellschaft für Informatik, Software Engineering im Unterricht der
Hochschulen SEUH'97, Rostock, Band 48 der Reihe
Berichte des German Chapter of the ACM, Seiten 94-104. B. G.
Teubner, 1997.
|
| |
| 1996 |
|
[33]
|
Achatz, K. und H. Partsch: From Descriptive
Specifications to Operational ones: A Powerful Transformation Rule, its
Applications and Variants.
Technischer Bericht 96-13, Universität Ulm, 1996.
|
|
[32]
|
Achatz, K. und W. Schulte: Massive Parallelization
of Divide-and-Conquer-Algorithms over Powerlists.
Science of Computer Programming, 26(1-3):59-78, 1996.
|
|
[31]
|
Achatz, K. und W. Schulte: Formale
objektorientierte Softwareentwicklung.
Softwaretechnik-Trends, 16(3), 1996.
GI-Fachtagung Softwaretechnik 96.
|
|
[30]
|
Biechele, B., D. Ernst, F. Houdek, J. Schmid
und W. Schulte: Untersuchung verschiedener
SA/RT-Ansätze für die Modellierung eingebetteter Systeme.
Technischer Bericht 96-09, Universität Ulm, 1996.
|
|
[29]
|
Heckler, A., R. Hettler, H. Hußmann, J. Loeckx,
W. Reif, G. Schellhorn und K. Stenzel: LEX: a
case study in development and validation of formal specifications.
Technischer Bericht A/06/96, Fachbereich Informatik, Universität
Saarbrücken, 1996.
|
|
[28]
|
Reif, W.: Software Verifikation: Stand und Perspektiven.
Technischer Bericht 96-06, Universität Ulm, 1996.
|
|
[27]
|
Reif, W., G. Schellhorn und K. Stenzel: KIV
3.0: Concepts and applications.
Technischer Bericht, Fachbereich Informatik, Universität Bremen, 1996.
|
|
[26]
|
Reif, W. und K. Stenzel: Reuse of Proofs in
Software Verification.
SADHANA: Academy Proceedings in Engineering Sciences, 21(2), 1996.
|
|
[25]
|
Schellhorn, G. und W. Ahrendt: Verification of a
Prolog Compiler - First Steps with KIV.
Technischer Bericht 96-05, Universität Ulm, 1996.
|
|
[24]
|
Stenzel, K.: Pilotanwendungen mit KIV.
Technischer Bericht FI96/06, Fakultät für Informatik, Technische
Universität Dresden, 1996.
|
|
[23]
|
Tuijnman, D.: A Categorical Approach to Functional Programming.
Doktorarbeit, Universität Ulm, 1996.
|
|
[22]
|
Vullinghs, T., W. Schulte und T. Schwinn: The
Design of a Functional GUI Library Using Constructor Classes.
In: Bjørner, D., M. Broy und
I. Pottosin (Herausgeber): Proceedings of the 2nd International
Andrei Ershov Memorial Conference on Perspectives of System Informatics,
Akademgorodok, Novosibirsk, Russia, Band 1181
der Reihe Lecture Notes in Computer Science,
Seiten 398-408. Springer-Verlag, 1996.
|
|
[21]
|
Vullinghs, T., W. Schulte und T. Schwinn:
TkGofer: A Functional GUI Library.
In: Wirsing, M. und M. Nivat (Herausgeber): Proceedings of the 5th International Conference on
Algebraic Methodology and Software Technology (AMAST'96), München,
Deutschland, Band 1101 der Reihe Lecture Notes
in Computer Science, Seiten 621-624. Springer-Verlag, 1996.
|
|
[20]
|
Vullinghs, T., W. Schulte und T. Schwinn: The
Implementation of a Functional GUI Library.
In: Proceedings of the 2nd Italian Workshop on
Functional Programming (FUN'96), Pisa, Italy, 1996.
|
|
[19]
|
Vullinghs, T., W. Schulte und T. Schwinn: An
Introduction into TkGofer.
Technischer Bericht 96-03, Universität Ulm, 1996.
|
| |
| 1995 |
|
[18]
|
Achatz, K. und W. Schulte: Architecture Independent
Massive Parallelization of Divide-and-Conquer Algorithms.
In: Möller, B. (Herausgeber): Mathematics
of Program Construction, Band 947 der Reihe
Lecture Notes in Computer Science. Springer-Verlag, 1995.
|
|
[17]
|
Achatz, K. und W. Schulte: Architecture Independent
Massive Parallelization of Divide-and-Conquer Algorithms.
Technischer Bericht 95-05, Universität Ulm, 1995.
|
|
[16]
|
Achatz, K. und W. Schulte: Massive Parallelization
of Divide-and-Conquer-Algorithms over Powerlists.
Technischer Bericht 95-12, Universität Ulm, 1995.
|
|
[15]
|
Fuchß, T., W. Reif, G. Schellhorn und
K. Stenzel: Three Selected Case Studies in Verification.
In: Broy, M. und S. Jähnichen (Herausgeber): KORSO: Methods, Languages, and Tools for the
Construction of Correct Software - Final Report, Band 1009
der Reihe Lecture Notes in Computer Science.
Springer-Verlag, 1995.
|
|
[14]
|
Hutter, D., B. Langenstein, F. Koob, W. Reif,
C. Sengler, W. Stephan, M. Ullmann, M. Wittmann
und A. Wolpers: The VSE Development Method - A Way to
Engineer High-Assurance Software Systems.
In: Gotzheim, B. (Herausgeber): GI/ITG
Tagung Formale Beschreibungstechniken für verteilte Systeme. Universität
Kaiserslautern, 1995.
|
|
[13]
|
Pepper, P., M. Wirsing, R. Betschko, M. Broy,
S. Dick, K. Didrich, J. Faulhaber, W. Grieskamp,
H. Hußmann, M. Mehlich und W. Reif: A Method for
the Development of Correct Software.
In: Broy, M. und S. Jähnichen (Herausgeber): KORSO: Methods, Languages, and Tools for the
Construction of Correct Software - Final Report, Band 1009
der Reihe Lecture Notes in Computer Science.
Springer-Verlag, 1995.
|
|
[12]
|
Reif, W.: The KIV-approach to Software Verification.
In: Broy, M. und S. Jähnichen (Herausgeber): KORSO: Methods, Languages, and Tools for the
Construction of Correct Software - Final Report, Band 1009
der Reihe Lecture Notes in Computer Science.
Springer-Verlag, 1995.
|
|
[11]
|
Reif, W., G. Schellhorn und K. Stenzel:
Interactive Correctness Proofs for Software Modules Using KIV.
In: COMPASS'95 - Tenth Annual Conference on Computer
Assurance (Gaithersburg, MD, USA). IEEE press, 1995.
|
|
[10]
|
Reif, W., G. Schellhorn und K. Stenzel:
Tactics in KIV.
Journal on Information Processing and Cybernetics, 30, 1995.
|
|
[9]
|
Reif, W. und K. Stenzel: Reuse of Proofs in
Software Verification.
In: Köhler, J. (Herausgeber): Workshop on
Formal Approaches to the Reuse of Plans, Proofs, and Programs (Montreal,
Quebec), 1995.
|
|
[8]
|
Vullinghs, T., D. Tuijnman und W. Schulte:
Lightweight GUIs for functional programming.
In: Hermenegildo, M. und S. D.
Swierstra (Herausgeber): Proceedings of the 7th International
Symposium PLILP95, Band 982 der Reihe Lecture
Notes in Computer Science. Springer-Verlag, 1995.
|
| |
| 1994 |
|
[7]
|
Achatz, K. und W. Schulte: Eine Einführung in die
transformationelle Entwicklung von SIMD Programmen.
In: 39. internationales wissenschaftliches Kolloquium,
Technische Universität Ilmenau, 1994.
|
|
[6]
|
Schulte, W. und T. Vullinghs: Linking Reactive
Software to the X-Window System.
Technischer Bericht 94-14, Universität Ulm, 1994.
|
|
[5]
|
Vullinghs, T.: Transformational Program Development Using CIPS.
In: Buth, B. und R. Berghammer (Herausgeber): Systems for Computer-Aided Specification,
Development and Verification. Christian-Albrechts-Universität Kiel, 1994.
|
| |
| 1993 |
|
[4]
|
Boiten, E. A., A. M. Geerling und H. A. Partsch:
Transformational derivation of (parallel) programs using skeletons.
In: Proceedings of the ERCIM Workshop on Development
and Transformation of Programs, INRIA, Nancy, November 1993.
Auch in: Proceedings of Computing Science in the Netherlands.
|
|
[3]
|
Möller, B., H. Partsch und S. Schuman (Herausgeber): Formal Program Development: IFIP TC2
State-of-the-Art Report, Band 755 der Reihe
Lecture Notes in Computer Science.
Springer-Verlag, 1993.
|
|
[2]
|
Partsch, H.: Some Experiments in Transformaing Towards Parallel
Executability.
In: Paige, R., J. Reif und
R. Wachters (Herausgeber): Parallel Algorithm Derviation and
Program Transformation. Kluwer Academic Publishers, 1993.
|
|
[1]
|
Partsch, H.: Formal Problem Specification on an Algebraic Basis.
In: Möller, B., H. Partsch und
S. Schuman (Herausgeber): Formal Program Development: IFIP TC2
State-of-the-Art Report, Band 755 der Reihe
Lecture Notes in Computer Science, Seiten 183-224.
Springer-Verlag, 1993.
|
Lehre.
Themen.