Search results for "Beschreibungstechniken"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
67	Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz	Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken.	FBT	1999	DBLP BibTeX RDF
67	Heinrich Hußmann	Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung?	FBT	1999	DBLP BibTeX RDF
66	Bernhard Deifel, Ursula Hinkel, Barbara Paech, Peter Scholz, Veronika Thurner	Die Praxis der Softwareentwicklung: Eine Erhebung.	Inform. Spektrum	1999	DBLP DOI BibTeX RDF	Softwareentwicklungsprozeß, Prozeßbewertung, Prozeßverbesserung, Beschreibungstechniken, Werkzeugunterstützung
33	Joachim Thees	Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle.		2005	RDF
33	Jens Grabowski, Stefan Heymer (eds.)	Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000	FBT	2000	DBLP BibTeX RDF
33	Bernhard Schätz, Katharina Spies	10 Years Focus - Lessons learned.	FBT	2000	DBLP BibTeX RDF
33	Jan de Meer, Erika Ábrahám-Mumm	Formal Methods for Reflective System Specification.	FBT	2000	DBLP BibTeX RDF
33	Alexander K. Wißpeintner, Franz Huber, Jan Philipps	Model Checking and Random Competition - A Study Using the Model Checking Framework MIC.	FBT	2000	DBLP BibTeX RDF
33	Michael Schmitt 0002	The Development of a Parser for SDL - 2000.	FBT	2000	DBLP BibTeX RDF
33	Rüdiger Valk	Mobile and Distributed Objects versus Central Referencing.	FBT	2000	DBLP BibTeX RDF
33	Jan Bredereke	Hierarchische Familien formaler Anforderungen.	FBT	2000	DBLP BibTeX RDF
33	Peter Langendörfer, Thomas Krüger, Hartmut König	Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken.	FBT	2000	DBLP BibTeX RDF
33	Dirk Beyer 0001, Andreas Noack	BDD-basierte Verifikation von Echtzeit-Systemen.	FBT	2000	DBLP BibTeX RDF
33	Max Breitling, Jan Philipps	Diagrams for Dataflow.	FBT	2000	DBLP BibTeX RDF
33	Philipp Schaible, Reinhard Gotzhein	Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware.	FBT	2000	DBLP BibTeX RDF
33	Arnim Wedig	Modellierung Verteilter Systeme mit I-Systemen - Ein Beispiel.	FBT	2000	DBLP BibTeX RDF
33	Guido Wirtz, Holger Giese	Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme.	FBT	2000	DBLP BibTeX RDF
33	Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski	Development of a MSC/UML Test Format.	FBT	2000	DBLP BibTeX RDF
33	Christine Röckl	Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL.	FBT	2000	DBLP BibTeX RDF
33	Sébastien Bornot, Ralf Huuck, Ben Lukoschus	Statische Analysetechniken für speicherprogrammierbare Steuerungen.	FBT	2000	DBLP BibTeX RDF
33	Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers	Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs.	FBT	2000	DBLP BibTeX RDF
33	Martin von Löwis	Datentypsematik für SDL - 2000.	FBT	2000	DBLP BibTeX RDF
33	Katharina Spies, Bernhard Schätz (eds.)	Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999	FBT	1999	DBLP BibTeX RDF
33	Christian Peper	Transformations in Pattern-Based System Specifications.	FBT	1999	DBLP BibTeX RDF
33	Axel Rennoch, Jan de Meer, Ina Schieferdecker	Test Data Filtering.	FBT	1999	DBLP BibTeX RDF
33	Olaf Drögehorn, Oliver Terhorst, Heinz-Dieter Hümmer, Walter Geisselhardt	Formal Specification and Verification of Communication-Systems for designing in VHDL.	FBT	1999	DBLP BibTeX RDF
33	Max Breitling	Modellierung und Beschreibung von Soll/Ist-Abweichungen.	FBT	1999	DBLP BibTeX RDF
33	Ingolf Krüger	Towards the Methodical Usage of Message Sequence Charts.	FBT	1999	DBLP BibTeX RDF
33	Holger Hermanns, Markus Siegle	Symbolic Minimisation of Stochastic Process Algebra Models.	FBT	1999	DBLP BibTeX RDF
33	Ekkart Kindler, Axel Martens	Szenarios: Lokale Kriterien für globale Korrektheit.	FBT	1999	DBLP BibTeX RDF
33	Klaus Bergner, Andreas Rausch, Marc Sihling, Alexander Vilbig, Manfred Broy	A Formal Model for Componentware.	FBT	1999	DBLP BibTeX RDF
33	Dirk Beyer 0001, Heinrich Rust	Concepts of Cottbus Timed Automata.	FBT	1999	DBLP BibTeX RDF
33	Christine Röckl	First-Order Proofs for Higher-Order Languages.	FBT	1999	DBLP BibTeX RDF
33	Tobias Vesper, Michael Weber 0003	Automatisches verteiltes Rücksetzen.	FBT	1999	DBLP BibTeX RDF
33	Joachim Thees	Implementierungs- und Optimierungsmodelle des eXperimental Estelle Compilers.	FBT	1999	DBLP BibTeX RDF
33	Thomas Gehrke, Thomas Firley	Generative Sequence Diagrams with Textual Annotations.	FBT	1999	DBLP BibTeX RDF
33	Richard O. Sinnott	Modelling Dynamic Distributed Systems in LOTOS.	FBT	1999	DBLP BibTeX RDF
33	Stefan Heymer, Jens Grabowski	Towards the Generation of Distributed Test Cases Using Petri Nets.	FBT	1999	DBLP BibTeX RDF
33	Thomas Stauner	Specification of (parts of) a Lip-Sync Protocol Using HyCharts.	FBT	1999	DBLP BibTeX RDF
33	Ernst-Rüdiger Olderog	Entwicklung korrekter zeitkritischer Systeme.	FBT	1999	DBLP BibTeX RDF
33	Harald Störrle	A Petri-net Semantics for Sequence Diagramms.	FBT	1999	DBLP BibTeX RDF
33	Ingrid Fischer, Gabriele Taentzer	Modellierung dynamischer Rekonfiguration in offenen, verteilten Systemen auf der Basis von Graphtransformation.	FBT	1999	DBLP BibTeX RDF
33	Arndt Lüder, E. Hintze, Christian Schwab	Anwendung von gefärbten NCES zur Verifikation der C2-Verbindung des erweiterten PROFIBUS-DP-Protokolls.	FBT	1999	DBLP BibTeX RDF
33	Georg Rock, Werner Stephan 0001, Andreas Wolpers	Modeling Dynamic Processes in TLA.	FBT	1999	DBLP BibTeX RDF
33	Peter Langendörfer, Hartmut König	Automatische Generierung effizienter Protokollimplementierungen.	FBT	1999	DBLP BibTeX RDF
33	Thomas Stauner, Klaus Schneider 0001, Michaela Huhn	Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR.	FBT	1999	DBLP BibTeX RDF
33	Uwe Nestmann	Mobile Objects (a project overview).	FBT	1999	DBLP BibTeX RDF
33	Peter Herrmann, Manfred Noël	Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen.	FBT	1999	DBLP BibTeX RDF
33	Hartmut König, Peter Langendörfer (eds.)	Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998	FBT	1998	DBLP BibTeX RDF
33	Georg Rock, Werner Stephan 0001, Andreas Wolpers	Assumption-Commitment Specifications and Safety-Critical Systems.	FBT	1998	DBLP BibTeX RDF
33	Stephan Pietsch, Ina Schieferdecker	Test Suite Simulation.	FBT	1998	DBLP BibTeX RDF
33	Joost-Pieter Katoen, Lennard Lambert	Pomsets for MSC.	FBT	1998	DBLP BibTeX RDF
33	Stefan Heymer, Jens Grabowski	Formal Methods and Conformance Testing --or-- What are we testing anyway?	FBT	1998	DBLP BibTeX RDF
33	Eckhardt Holz, Joachim Fischer	Introduction of Gate Types into SDL.	FBT	1998	DBLP BibTeX RDF
33	Jan Phillips, Alexander Schmidt	Entwurf und Implementierung eingebetteter Systeme.	FBT	1998	DBLP BibTeX RDF
33	Detlef Baumecker, Reinhard Koeppe	Vermittlung von Prinzipien der Formalen Spezifikation von offenen, protokollunabhängigen Kommunikationssystemen.	FBT	1998	DBLP BibTeX RDF
33	Peter Paul Spies	Ereignisverbände.	FBT	1998	DBLP BibTeX RDF
33	Peter Langendörfer, Thomas Krüger, Sven Twarok	Eine SDL-Laufzeitumgebung zur Unterstützung unterschiedlicher Implementationsstrategien.	FBT	1998	DBLP BibTeX RDF
33	Franz Huber, Bernhard Schätz	Specification Modules for Methodical System Development.	FBT	1998	DBLP BibTeX RDF
33	Arndt Lüder, E. Hintze, A. Pöschmann, Hans-Michael Hanisch	Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen.	FBT	1998	DBLP BibTeX RDF
33	Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim	A Process Algebra Semantics for MSC Including Conditions.	FBT	1998	DBLP BibTeX RDF
33	Thomas Walter	Classification of Specification and Validation Methods for Distributed Systems.	FBT	1998	DBLP BibTeX RDF
33	Rudolf Scheurer, Jens Grabowski, Dieter Hogrefe	Revised Comparison of an Automatically Generated and a Manually Specified Abstract Test Suite for the B-ISDN Protocol SSCOP.	FBT	1998	DBLP BibTeX RDF
33	Max Breitling, Ursula Hinkel, Katharina Spies	Formale Entwicklung verteilter reaktiver Systeme mit FOCUS.	FBT	1998	DBLP BibTeX RDF
33	Ulrich Herzog	Kompositioneller Entwurf mit Stochastischen Prozeßalgebren.	FBT	1998	DBLP BibTeX RDF
33	Dirk Beyer 0001, Heinrich Rust	Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata.	FBT	1998	DBLP BibTeX RDF
33	Joachim Fischer, Nils Fischbeck, Marc Born	SDL und ODL im Entwicklungsprozess von Telekommunikationssystemen.	FBT	1998	DBLP BibTeX RDF
33	Jan de Meer, Axel Rennoch, Arno Puder	Towards a QoS Binding Notation.	FBT	1998	DBLP BibTeX RDF
33	Thomas Firley, Thomas Gehrke, Arend Rensink	Spezifikation eines RPC-Speichers mit der Sprache ProFun.	FBT	1998	DBLP BibTeX RDF
33	Birgit Geppert, Frank Rößler, Michael Schneider 0009	Using SDL Patterns for the Design of a CAN-based Communication Subsystem.	FBT	1998	DBLP BibTeX RDF
33	Martin von Löwis, Ralf Schröder	Objekt-orientierte Datenkonzepte für SDL.	FBT	1998	DBLP BibTeX RDF
33	Olaf Drögehorn, Peter Herrmann	Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework.	FBT	1998	DBLP BibTeX RDF
33	Adam Wolisz, Ina Schieferdecker, Axel Rennoch (eds.)	Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997	FBT	1997	DBLP BibTeX RDF
33	Christel Baier, Holger Hermanns	Weak Bisimulation for Fully Probabilistic Processes.	FBT	1997	DBLP BibTeX RDF
33	Ina Schieferdecker, Axel Rennoch, Olaf Mertens	Timed MSCx - an Extension to MSC'96.	FBT	1997	DBLP BibTeX RDF
33	Frank Reffel	Partial-Order Reduzierung des Zustandsraumes bei der BDD-Modellprüfung.	FBT	1997	DBLP BibTeX RDF
33	Ursula Hinkel, Katharina Spies	Spezifikationsmethodik für mobile, dynamische FOCUS-Netze.	FBT	1997	DBLP BibTeX RDF
33	Thomas Gehrke	Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeßorientierten Spezifikation.	FBT	1997	DBLP BibTeX RDF
33	Piotr Kosiuczenko	Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach.	FBT	1997	DBLP BibTeX RDF
33	Jan de Meer	QoS Control by Balancing Continuous MM Streams.	FBT	1997	DBLP BibTeX RDF
33	Jan Tretmans	Repetitive Quiescence in Implementation and Testing.	FBT	1997	DBLP BibTeX RDF
33	Michael Schmitt 0002, Jens Grabowski, Dieter Hogrefe, Beat Koch	-Autolink- A Tool for the Automatic and Semi-Automatic Test Generation.	FBT	1997	DBLP BibTeX RDF
33	Nils Buhrke, Wolfgang Thomas, Jens Vöge	Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik.	FBT	1997	DBLP BibTeX RDF
33	Stephan Kleuker	Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen.	FBT	1997	DBLP BibTeX RDF
33	Robert Schmit, Michael Kunes, Walter Sedlbauer	Prototyping mit SDL.	FBT	1997	DBLP BibTeX RDF
33	Ralf Henke, Andreas Mitschele-Thiel	Efficient Implementation Strategies for SDL.	FBT	1997	DBLP BibTeX RDF
33	Clemens Fischer	Combining Object-Z and CSP.	FBT	1997	DBLP BibTeX RDF
33	Leszek Holenderski, Axel Poigné	Synchronous Automata for Synchronous Programming Languages.	FBT	1997	DBLP BibTeX RDF
33	Lutz Sommerfeld, Peter B. Ladkin	Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+.	FBT	1997	DBLP BibTeX RDF
33	Frank Lemmen	Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext des SDL/MSC-gesteuerten Monitoring.	FBT	1997	DBLP BibTeX RDF
33	Stefan Heymer, Jens Grabowski	Generating Test Cases for Infinite System Specifications.	FBT	1997	DBLP BibTeX RDF
33	Thomas Walter, Jens Grabowski	Test Case Specification with Real-time TTCN.	FBT	1997	DBLP BibTeX RDF
33	Christian Engel	Code Generation for Real-Time Specifications.	FBT	1997	DBLP BibTeX RDF
33	Georg Rock, Werner Stephan 0001, Andreas Wolpers	Tool Support for the Compositional Development of Distributed Systems.	FBT	1997	DBLP BibTeX RDF
33	Dirk Jäger, Arnulf Mester	Automatische Erzeugung von Prototypen verteilter Anwendungen aus cTLA-Spezifikationen.	FBT	1997	DBLP BibTeX RDF
33	Birgit Geppert, Frank Rößler	Combining SDL and Pattern-based Design for the Customization of Communication Subsystems.	FBT	1997	DBLP BibTeX RDF
33	Bruno Müller-Clostermann	SDL-Based Performance Evaluation - A Survey.	FBT	1997	DBLP BibTeX RDF
33	Detlef Baumecker, Reinhard Koeppe, Matthias Roebert	Eine Spezifikationsmethode für echtzeitkritische Kommunikationssysteme.	FBT	1997	DBLP BibTeX RDF
33	Franz Huber, Bernhard Schätz	Rapid Prototyping with AutoFocus.	FBT	1997	DBLP BibTeX RDF
33	Klaus Gotthardt, Reiner Lichtenecker	Verification of Distributed Applications by translating CCS to Binary Decision Diagrams.	FBT	1997	DBLP BibTeX RDF