2008

249.
default
Mann, Sandra; Berton, André; Dausend, Marcel und Heisterkamp, Paul
"Beethoven's Ninth" - An Example on Naming Usage for Audio Files
Elektronische Sprachsignalverarbeitung Studientexte zur Sprachkommunikation
2008

2007

248.
default
Schwinn, Thilo und Hürster, C. D.
Refactoring based on systematic analysis with a practical tool
Proceedings of the 20th International Conference on Software & Systems Engineering and their Applications, ICSSEA
Dezember 2007
247.
default
Frey, Patrick und Freund, U.
AUTOSAR} compliant reengineering of an Engine Management Syste
In Gehrke, M. and Giese, H. and Stroop, J., Editor, Preliminary Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER4) , Seite 18-24.
Oktober 2007
246.
default
Betz, Hariolf
A Linear-Logic Semantics for Constraint Handling Rules with Disjunction
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007 , Seite 17-31.
September 2007
245.
default
Betz, Hariolf
Relating Coloured Petri Nets to Constraint Handling Rules
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007 , Seite 33-47.
September 2007
244.
default
Frühwirth, Thom
Description Logic and Rules the CHR Way
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007 , Seite 49-61.
September 2007
243.
default
Raiser, Frank und Tacchella, P.
On Confluence of Non-terminating CHR Programs
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007 , Seite 63-76.
September 2007
242.
default
Sjöstedt, C.-J.; Chen, D.-J.; Cuenot, Philippe; Frey, Patrick; Johansson, Ralf; Lönn, Henrik; Servat, David und Törngren, Martin
Developing Dependable Automotive Embedded Systems using the EAST-ADL; representing continuous time systems in SysML
In Fritzson, P. and Cellier, F. and Nytsch-Geusen, C., Editor, Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools aus Linköping Electronic Conference Proceedings , Seite 25-36.
Herausgeber: Linköping University Electronic Press, Linköpings universitet,
Juli 2007
241.
default
Meister, Marc
Concurrency of the Preflow-Push Algorithm in Constraint Handling Rules
In Fages, F. and Rossi, F. and Soliman, S., Editor, Constraint Solving and Constraint Logic Programming, 12th Annual ERCIM Workshop , Seite 160-169.
Juni 2007
240.
default
Meister, Marc; Djelloul, Khalil und 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 , Seite 130-138.
Juni 2007
239.
default
Meister, Marc und Frühwirth, Thom
Reconstructing almost-linear Tree Equation Solving Algorithms in CHR
In Fages, F. and Rossi, F. and Soliman, S., Editor, Constraint Solving and Constraint Logic Programming, 12th Annual ERCIM Workshop , Seite 123-137.
Juni 2007
238.
default
Sarstedt, Stefan; Kohlmeyer, Jens; Raschke, Alexander und Gessenharter, Dominik
ActiveCharts: Eine pragmatische Umsetzung der MDA mit UML2-Aktivitätsdiagrammen
OBJEKTspektrum, (6)
2007
237.
default
Djelloul, Khalil; Dao, T.-B.-H. und 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 , Seite 58-64.
Herausgeber: ACM Press,
2007
236.
default
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 Workshops Band P-106 aus Lecture Notes in Informatics , Seite 113-122.
Herausgeber: Gesellschaft für Informatik,
2007
235.
default
Gessenharter, Dominik; Merten, A.-M.; Porta, N. F. und 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 , Seite 279-288.
2007
234.
default
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 Workshops Band P-106 aus Lecture Notes in Informatics , Seite 329-332.
Herausgeber: Gesellschaft für Informatik,
2007
233.
default
Meister, Marc; Djelloul, Khalil und 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 2006 Band 4651 aus Lecture Notes in Computer Science , Seite 139-153.
Herausgeber: Springer-Verlag,
2007
232.
default
Meister, Marc; Djelloul, Khalil und 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 2007 Band 4483 aus Lecture Notes in Computer Science , Seite 201-213.
Herausgeber: Springer-Verlag,
2007
231.
default
Miller, S.; Kasper, T.; Schneiderhan, Matthias und 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) aus IESE-Report , Seite 31-38.
Herausgeber: Fraunhofer IESE,
2007
230.
default
Raiser, Frank
Graph Transformation Systems in CHR
In Dahl, V. and Niemelä, I., Editor, Logic Programming, 23rd International Conference, ICLP 2007 Band 4670 aus Lecture Notes in Computer Science , Seite 240-254.
Herausgeber: Springer-Verlag,
2007
229.
default
Sarstedt, Stefan und 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 2006 Band 4378 aus Lecture Notes in Computer Science , Seite 349-362.
Herausgeber: Springer-Verlag,
2007

2006

228.
default
Guttmann, Walter und Möller, Bernhard
Normal Design Algebra
Dokument Nummer: 2006-28
Institut für Informatik, Universität Augsburg,
Dezember 2006
227.
default
Gerlich, Ralf
Schneller zum Ziel durch integrierte Testautomation
226.
default
Gerlich, Ralf; Gerlich, Rainer; Boll, Thomas und Chevalley, Philippe
Improving Test Automation by Deterministic Methods in Statistical Testing
In Ouwehand, L., Editor, DASIA 2006: Data Systems in Aerospace
Herausgeber: ESA Publications Division,
Juli 2006
225.
default
Raschke, Alexander; Kohlmeyer, Jens; Partsch, Helmuth; Wolf, H. und 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 , Seite 101-116.
Herausgeber: dpunkt.verlag,
Juli 2006