2007

239.
Meister, Marc; Djelloul, Khalil; Robin, J.
Une sémantique complète pour CHR en logique des transactions
In Deransart, P., Editor, Programmation par Contraintes, Troisièmes Journées Francophones, Page 130-138
In Deransart, P., Editor
June 2007
238.
Sarstedt, Stefan; Guttmann, Walter
An ASM Semantics of Token Flow in UML 2 Activity Diagrams
In Virbitskaite, I. and Voronkov, A., Editor, Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006Volume4378fromLecture Notes in Computer Science, Page 349-362
In Virbitskaite, I. and Voronkov, A., Editor
Publisher: Springer-Verlag
2007
DOI:10.1007/978-3-540-70881-0_30
237.
Djelloul, Khalil; Dao, T.-B.-H.; Frühwirth, Thom
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. and Rosa, A., Editor, Proceedings of the 2007 ACM symposium on Applied computing, SAC 2007, Page 58-64
In Hung, C. C. and Rosa, A., Editor
Publisher: ACM Press
2007
DOI:10.1145/1244002.1244016
236.
Hürster, C. D.
Risikomanagement: Minimalscope für IT-Großprojekte
In Bleek, W.-G. and Schwentner, H. and Züllighoven, H., Editor, Software Engineering 2007: Beiträge zu den WorkshopsVolumeP-106fromLecture Notes in Informatics, Page 329-332
In Bleek, W.-G. and Schwentner, H. and Züllighoven, H., Editor
Publisher: Gesellschaft für Informatik
2007
235.
Miller, S.; Kasper, T.; Schneiderhan, Matthias; Raschke, Alexander
A defect-based experiment for analysing and comparing software engineering processes
In Jedlitschka, A. and Ciolkowski, M., Editor, Experience on applying quantitative and qualitative empiricism to software engineering (5th International Workshop on Empirical Studies in Software Engineering)fromIESE-Report, Page 31-38
In Jedlitschka, A. and Ciolkowski, M., Editor
Publisher: Fraunhofer IESE
2007
234.
Meister, Marc; Djelloul, Khalil; Frühwirth, Thom
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees
In Azevedo, F. and Barahona, P. and Fages, F. and Rossi, F., Editor, Recent Advances in Constraints: 11th Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006Volume4651fromLecture Notes in Computer Science, Page 139-153
In Azevedo, F. and Barahona, P. and Fages, F. and Rossi, F., Editor
Publisher: Springer-Verlag
2007
233.
Meister, Marc; Djelloul, Khalil; Robin, J.
A Unified Semantics for Constraint Handling Rules in Transaction Logic
In Baral, C. and Brewka, G. and Schlipf, J., Editor, Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007Volume4483fromLecture Notes in Computer Science, Page 201-213
In Baral, C. and Brewka, G. and Schlipf, J., Editor
Publisher: Springer-Verlag
2007
DOI:10.1007/978-3-540-72200-7_18
232.
Gerlich, Ralf
Integrierte Testkonzepte: Von der Theorie zur Praxis und zurück
In Bleek, W.-G. and Schwentner, H. and Züllighoven, H., Editor, Software Engineering 2007: Beiträge zu den WorkshopsVolumeP-106fromLecture Notes in Informatics, Page 113-122
In Bleek, W.-G. and Schwentner, H. and Züllighoven, H., Editor
Publisher: Gesellschaft für Informatik
2007
231.
Raiser, Frank
Graph Transformation Systems in CHR
In Dahl, V. and Niemelä, I., Editor, Logic Programming, 23rd International Conference, ICLP 2007Volume4670fromLecture Notes in Computer Science, Page 240-254
In Dahl, V. and Niemelä, I., Editor
Publisher: Springer-Verlag
2007
DOI:10.1007/978-3-540-74610-2_17
230.
Gessenharter, Dominik; Merten, A.-M.; Porta, N. F.; Raschke, Alexander
Experiences on Using Software Experiments in the Validation of Industrial Research Questions
In Abran, A. and Dumke, R. and Mas, A., Editor, Proceedings of the IWSM-Mensura 2007, Page 279-288
In Abran, A. and Dumke, R. and Mas, A., Editor
2007
229.
Sarstedt, Stefan; Kohlmeyer, Jens; Raschke, Alexander; Gessenharter, Dominik
ActiveCharts: Eine pragmatische Umsetzung der MDA mit UML2-Aktivitätsdiagrammen
OBJEKTspektrum (6)
2007

2006

228.
Guttmann, Walter; Möller, Bernhard
Normal Design Algebra
Document Number: 2006-28
Institut für Informatik, Universität Augsburg
December 2006
227.
Gerlich, Ralf
Schneller zum Ziel durch integrierte Testautomation
Software-QS-Tag
November 2006
226.
Raschke, Alexander; Kohlmeyer, Jens; Partsch, Helmuth; Wolf, H.; Mader, W.
Virtueller Biobaukasten: Einsatz von Modellierungswerkzeugen aus der Informatik zur Simulation komplexer biologischer Prozesse
In Haasis, K. and Heinzl, A. and Klumpp, D., Editor, Aktuelle Trends in der Softwareforschung: Tagungsband zum doIT Software-Forschungstag 2006, Page 101-116
In Haasis, K. and Heinzl, A. and Klumpp, D., Editor
Publisher: dpunkt.verlag
July 2006
225.
Gerlich, Ralf; Gerlich, Rainer; Boll, Thomas; Chevalley, Philippe
Improving Test Automation by Deterministic Methods in Statistical Testing
In Ouwehand, L., Editor, DASIA 2006: Data Systems in Aerospace
In Ouwehand, L., Editor
Publisher: ESA Publications Division
July 2006
224.

Proceedings of CHR 2006, Third Workshop on Constraint Handling Rules
In Schrijvers, T. and Frühwirth, T., Editor from Technical Report
Departement Computerwetenschappen, Katholieke Universiteit Leuven
June 2006
223.
Käser, M.; Meister, Marc
Implementation of an F-Logic Kernel in CHR
In Schrijvers, T. and Frühwirth, T., Editor, Proceedings of CHR 2006, Third Workshop on Constraint Handling RulesfromTechnical Report, Page 33-48
In Schrijvers, T. and Frühwirth, T., Editor
Publisher: Departement Computerwetenschappen, Katholieke Universiteit Leuven
June 2006
222.
Frühwirth, Thom
Deriving Linear-Time Algorithms from Union-Find in CHR
In Schrijvers, T. and Frühwirth, T., Editor, Proceedings of CHR 2006, Third Workshop on Constraint Handling RulesfromTechnical Report, Page 49-60
In Schrijvers, T. and Frühwirth, T., Editor
Publisher: Departement Computerwetenschappen, Katholieke Universiteit Leuven
June 2006
221.
Sarstedt, Stefan; Guttmann, Walter
An ASM Semantics of Token Flow in UML 2 Activity Diagrams
In Virbitskaite, I. and Voronkov, A., Editor, Perspectives of System Informatics: Proceedings of the Sixth International Andrei Ershov Memorial Conference, Page 207-213
In Virbitskaite, I. and Voronkov, A., Editor
Publisher: A. P. Ershov Institute of Informatics Systems, Novosibirsk
June 2006
220.
Meister, Marc; Frühwirth, Thom
Complexity of the CHR Rational Tree Equation Solver
In Schrijvers, T. and Frühwirth, T., Editor, Proceedings of CHR 2006, Third Workshop on Constraint Handling RulesfromTechnical Report, Page 77-92
In Schrijvers, T. and Frühwirth, T., Editor
Publisher: Departement Computerwetenschappen, Katholieke Universiteit Leuven
June 2006
219.
Raschke, Alexander; Tavakoli Kolagari, Ramin
Ein experimenteller Vergleich zwischen einer plan-getriebenen und einer leichtgewichtigen Entwicklungsmethodik zur Spezifikation von eingebetteten Systemen
Document Number: UIB-2006-02
Universität Ulm
March 2006
218.
Kohlmeyer, Jens; Raschke, Alexander; Tavakoli Kolagari, Ramin
Eine qualitative Untersuchung zur Produktlinien-Integration über Organisationsgrenzen hinweg
Document Number: UIB-2006-03
Universität Ulm
March 2006
217.
Sarstedt, Stefan
Model-Driven Development with ActiveCharts: Tutorial
Document Number: UIB-2006-01
Universität Ulm
March 2006
216.
Meister, Marc
Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR
In Fink, M. and Tompits, H. and Woltran, S., Editor, Proceedings of WLP 2006, 20th Workshop on Logic ProgrammingfromINFSYS Research Report, Page 172-181
In Fink, M. and Tompits, H. and Woltran, S., Editor
Publisher: Technische Universität Wien
February 2006
215.
Guttmann, Walter; Möller, Bernhard
Modal Design Algebra
In Dunne, S. and Stoddart, W., Editor, First International Symposium on the Unifying Theories of Programming (UTP 06), Page 206-225
In Dunne, S. and Stoddart, W., Editor
Publisher: University of Teesside, United Kingdom
February 2006