.gif)
] Filters: Taxonomy Term is [Clear All Filters]
"On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic",
Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September 1999, Selected papers: Springer-Verlag, LNCS 1817, pp. 43-62, 2000.
Abstract
"Optimizing Protocol Rewrite Rules of CIL Specifications",
Proc. of the 13th IEEE Computer Security Foundations Workshop, July 3-5, 2000, Cambridge, England, 2000.
Abstract
Von parametrisierten Spezifikationen zu generierten Informationssystemen: ein Anwendungsbeispiel,
, no. 00-05: Technische Universität Braunschweig, 2000.
Abstract
"Effiziente Darstellung wissenschaftlicher Arbeit: Ein Informationssystem zur Generierung von WWW-Seiten und Berichten",
Mitteilungen des Bundesamtes für Kartographie und Geodäsie, pp. 71-81, 1999.
Abstract
"Ein Ansatz zur Verifikation mehrerer Agenten durch Model Checking",
11. Workshop Grundlagen von Datenbanken, Luisenthal, 25.- 28. Mai 1999: Jenaer Schriften zur Mathematik und Informatik, Math/Inf/99/16, Friedrich-Schiller-Universität Jena, pp. 82-86, 1999.
Abstract
Integritätsbedingungen in relationalen Datenbanken - Grundlagen und Implementierung mit SQL,
: Verlag der Deutschen Hochschulschriften, Egelsbach, 1999.
Abstract
"Intra- and Inter-OOD-Framework Interactions in Component-based Software Development in Computational Logic",
Proc. of the Second International Workshop on Component-based Software Development in Computational Logic (COCL'99), Paris, France, September 27, 1999.
Abstract
Konzeptioneller Entwurf mit der Unified Modeling Language,
, no. 99-03: Technische Universität Braunschweig, 1999.
Abstract
"On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic",
Pre-Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September: Universit\`a C\'a Foscari di Venezia, Dipartamento di Informatica, Rapporto di Ricerca CS-99-16, pp. 65-73, 1999.
Abstract
"Analysing Object Specifications for Execution",
10. Workshop Grundlagen von Datenbanken, Konstanz, June 2-5 1998: Konstanzer Schriften in Mathematik und Informatik Nr. 63, Univ. Konstanz, pp. 32-36, 1998.
Abstract
"Auf dem Weg zu korrekten Daten - Ein Kompromiß für Anwender",
Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 118, pp. 77-96, 1998.
Abstract
"An Evaluation of an Object Oriented Formal Method for Specifying Information Systems.",
Proceedings of the Third CAiSE/IFIP 8.1 International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'98). Pisa, Italy. June 8-9, 1998: University of Nebraska-Lincoln, USA, pp. M1-M12, 1998.
Abstract
Integritätsbedingungen in relationalen Datenbanken,
, no. 35: Technische Universität Braunschweig, 1998.
Abstract
"Modules for Object Oriented Specification Languages: A Bipartite Approach",
Proc1 5th Doctoral Consortium on Advanced Information Systems Engineering (CAiSE'98), Pisa, Italy, June 8-9, 1998: Tech. Report, ETH Zürich, 1998.
Abstract
On a Distributed Temporal Logic for Modular Object Systems,
, no. 98-06: Technical University Braunschweig, 1998.
Abstract
"Protocol Specification and Analysis in Maude",
Proc1 of Workshop on Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana, 1998.
Abstract
"Towards a Module Concept for Object Oriented Specification Languages",
Proc1 3rd Int. Baltic Workshop on Data Bases and Information Systems, Riga, Latvia, April 15-17, vol. 2: Institute of Mathematics and Informatics, University of Latvia, Latvian Academic Library, pp. 180-188, 1998.
Abstract
"Using a Modular Distributed Temporal Logic for In-the-large Object Specification",
Proc. of the First International Workshop on Component-based Software Development in Computational Logic (COCL'98), Pisa, Italy, September 19, pp. 43-57, 1998.
Abstract
"Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen",
GI Dissertationspreise, Ausgezeichnete Informatikdissertationen 1996: Teubner, pp. 9-28, 1998.
Abstract
"Verifikation von Informationssystemen durch Model Checking",
10. Workshop Grundlagen von Datenbanken, Konstanz, June 2-5 1998: Konstanzer Schriften in Mathematik und Informatik Nr. 63, Univ. Konstanz, pp. 99-103, 1998.
Abstract
"Modelling Parameterisation in Concurrent Object Systems",
Logic Journal of the IGPL, vol. 5, no. 6, pp. 877-879, November, 1997.
Abstract
"Anforderungen an ein Modulkonzept für objektorientierte Spezifikationssprachen",
9. Workshop Grundlagen von Datenbanke1 , Königslutter, Mai 20-23 1997: Forschungsbericht Nr. 643, Fachbereich Informatik, Univ. Dortmund, pp. 16-20, 1997.
Abstract
"An Animation System for Validating Object-Oriented Conceptual Models",
4th Doctoral Consortium on Advanced Information Systems Engineerin1 (CAISE'97), Barcelona, June 16-17 1997: Fachberichte Informatik 14/97, Univ. Koblenz-Landau, 1997.
Abstract
"Automatische kartographische Visualisierung von ATKIS-Daten mit einfachen Mitteln",
Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 117, pp. 59-69, 1997.
Abstract
A Categorical Hiding Mechanism for Concurrent Object Systems,
, no. 97-06: Technical University Braunschweig, 1997.
Abstract
Implementierung von Assertions durch Oracle7-Trigger,
, no. 97-02: Technische Universität Braunschweig, 1997.
Abstract
Konzeptionelle Modellierung von Informationssystemen als verteilte Objektsysteme,
: infix-Verlag, 1997.
Abstract
"A Linear Temporal Logic Approach to Objects with Transactions",
Sixth Int1 Conf1 on Algebraic Methodology and Software Technology, AMAST'97, 13-17 December 1997, Sydney, Australia: Springer, pp. 170-184, 1997.
Abstract
Putting Synchronous and Asynchronous Object Modules together: an Event-Based Model for Concurrent Composition,
, no. 97-05: Technical University Braunschweig, 1997.
Abstract
"Specifiying the Remote Controlling of Valves in an Explosion Test Environment",
Formal Methods Europe, FME'97, 4th Intern.\ Symposium, Technical University Graz, Austria, 15-19 September, 1997: Springer, Berlin, LNCS 1313, pp. 201-220, 1997.
Abstract
"Validating Object-Oriented Specifications through Animation",
9. Workshop Grundlagen von Datenbanke1 , Königslutter, Mai 20-23 1997: Forschungsbericht Nr. 643, Fachbereich Informatik, Univ. Dortmund, pp. 26-30, 1997.
Abstract
"A Validation System for Object-Oriented Specifications of Information Systems",
Proc. of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97) St. Petersburg: eWiC, Springer, 1997.
Abstract
\sc Troll - An Object Oriented Formal Method for Distributed Information System Design: Syntax and Pragmatics,
, no. 97-03: Technische Universität Braunschweig, 1997.
Abstract
"\sc Troll - A Language for Object-Oriented Specification of Information Systems",
ACM Transactions on Information Systems, vol. 14, no. 2, pp. 175-211, April, 1996.
Abstract
"Action Refinement in System Specification: Comparing a Process Algebraic and an Object-Oriented Approach",
GI/ITG-Fachgespräch: ``Formale Beschreibungstechniken für verteilte Systeme'', 20/21. Juni 1996, Universität Erlangen, Germany, no. 29/9: Universität Erlangen, pp. 77-88, 1996.
Abstract