Search results for "SDL-2000"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
134	Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz 0001	On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
121	Christoforos D. Kavadias, Bernard Perrin, Vangelis Kollias, Michael Loupis	Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems.	SDL Forum	2003	DBLP DOI BibTeX RDF
114	Philippe Leblanc, Ileana Ober	Comparative Case Study in SDL and UML.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	SDL-2000, real-time engineering, modeling, design, UML, object-oriented, SDL
110	Rüdiger Grammes, Reinhard Gotzhein	SDL Profiles - Formal Semantics and Tool Support.	FASE	2007	DBLP DOI BibTeX RDF
89	Edel Sherratt	SDL in a Changing World.	SAM	2004	DBLP DOI BibTeX RDF
58	Ingmar Fliege, Rüdiger Grammes, Christian Weber	ConTraST - A Configurable SDL Transpiler and Runtime Environment.	SAM	2006	DBLP DOI BibTeX RDF
58	Jacqueline Floch, Rolv Bræk	Using SDL for Modeling Behavior Composition.	SDL Forum	2003	DBLP DOI BibTeX RDF
58	Joachim Fischer, Eckhardt Holz, Birger Møller-Pedersen	Structural and Behavioral Decomposition in Object Oriented Models.	ISORC	2000	DBLP DOI BibTeX RDF	distributed systems, object-orientation, composition, aggregation, concurrent systems, state charts
47	Javier Colás, Jesús M. Pérez, Javier Poncela-González, José T. Entrambasaguas	Implementation of UMTS Protocol Layers for the Radio Access Interface.	SAM	2002	DBLP DOI BibTeX RDF
44	Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, Andreas Prinz 0001	Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models.	J. Univers. Comput. Sci.	2001	DBLP DOI BibTeX RDF
44	Joachim Fischer, Michael Piefel, Markus Scheidgen	A Metamodel for SDL-2000 in the Context of Metamodelling ULF.	SAM	2004	DBLP DOI BibTeX RDF
37	Frank Rößler, Birgit Geppert, Reinhard Gotzhein	Collaboration-Based Design of SDL Systems.	SDL Forum	2001	DBLP DOI BibTeX RDF
28	Uwe Glässer, Reinhard Gotzhein, Andreas Prinz 0001	The formal semantics of SDL-2000: Status and perspectives.	Comput. Networks	2003	DBLP DOI BibTeX RDF
28	Martin von Löwis of Menar	Formale Semantik des Datentypmodells von SDL-2000.		2003	RDF
28	Rick Reed	Notes on SDL-2000 for the new millennium.	Comput. Networks	2001	DBLP DOI BibTeX RDF
28	Joachim Fischer, Eckhardt Holz, Martin von Löwis, Andreas Prinz 0001	SDL-2000: A Language with a Formal Semantics.	Rigorous Object-Oriented Methods	2000	DBLP BibTeX RDF
28	Andreas Prinz 0001, Robert Eschbach, Reinhard Gotzhein	A Executable Formal Semantics for SDL-2000.	SAM	2000	DBLP BibTeX RDF
28	Michael Schmitt 0002	The Development of a Parser for SDL - 2000.	FBT	2000	DBLP BibTeX RDF
28	Martin von Löwis	Datentypsematik für SDL - 2000.	FBT	2000	DBLP BibTeX RDF
27	Andreas Prinz 0001, Martin von Löwis	Generating a Compiler for SDL from the Formal Language Definition.	SDL Forum	2003	DBLP DOI BibTeX RDF
22	Fabrice Dubois, Marc Born, Harald Böhme, Joachim Fischer, Eckhardt Holz, Olaf Kath, Bertram Neubauer, Frank Stoinski	Distributed Systems: From Models to Components.	SDL Forum	2001	DBLP DOI BibTeX RDF
16	Andreas Prinz 0001, Martin von Löwis	Engineering the SDL Formal Language Definition.	FMOODS	2003	DBLP DOI BibTeX RDF