Search results for "SDL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Yihong Gong, Chua Hock Chuan, Zhu Yongwei, Masao Sakauchi	A Generic Video Parsing System With a Scene Description Language (SDL).	Real Time Imaging	1996	DBLP DOI BibTeX RDF
17	K. E. Cheng	A Requirements Definition and Assessment Framework for SDL Tools.	Comput. Networks ISDN Syst.	1996	DBLP DOI BibTeX RDF
17	Amardeo Sarma	Introduction to SDL-92.	Comput. Networks ISDN Syst.	1996	DBLP DOI BibTeX RDF
17	Rolv Bræk	SDL Basics.	Comput. Networks ISDN Syst.	1996	DBLP DOI BibTeX RDF
17	Dieter Hogrefe	Validation of SDL Systems.	Comput. Networks ISDN Syst.	1996	DBLP DOI BibTeX RDF
17	Ana R. Cavalli, Byoung-Moon Chin, Kilnam Chon	Testing Methods for SDL Systems.	Comput. Networks ISDN Syst.	1996	DBLP DOI BibTeX RDF
17	Olaf Henniger, Michel Barbeau, Behçet Sarikaya	Specification and testing of the behavior of network management agents using SDL-92.	IEEE/ACM Trans. Netw.	1996	DBLP DOI BibTeX RDF	Internet
17	Markus Rinderspacher	Mathematische Modellierung und Verifikation von SDL-Systemen.		1996	RDF
17	Winfried Dulz	A Framework for the Performance Evaluation of SDL/MSC-Specified Systems.	ESM	1996	DBLP BibTeX RDF
17	Jörg Hintelmann	Integration of SDL Based QoS-Evaluation in Protocol Design.	ESM	1996	DBLP BibTeX RDF
17	Antonio Mendes da Silva Filho	On Deriving Statecharts Supervision Models from SDL Specifications Using SSM.	SBES	1996	DBLP DOI BibTeX RDF
17	Hazem El-Gendy	Towards SDL specification of a European OSI-application layer protocol interface for wired personalized communications and distributed multimedia applications.	ICECS	1996	DBLP DOI BibTeX RDF
17	Andreas Mitschele-Thiel	Methodology and tools for the development of high performance parallel systems with SDL/MSCs.	Software Engineering for Parallel and Distributed Systems	1996	DBLP BibTeX RDF
17	Marc Diefenbruch, Jörg Hintelmann, Bruno Müller-Clostermann	The QUEST-Approach for the Performance Evaluation of SDL-Systems.	FORTE	1996	DBLP BibTeX RDF
17	M. Bütow, Mark Mestern, C. Schapiro, Pieter S. Kritzinger	Performance Modelling with the Formal Specification Language SDL.	FORTE	1996	DBLP BibTeX RDF
17	Wolfgang Kellerer, Andreas Iselt, R. Riek	Using SDL for the Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an Embedded Microcontroller System.	FORTE	1996	DBLP BibTeX RDF
17	Eurico Inocêncio, Manuel Ricardo 0001, Hitoshi Sato, Toshimitsu Kashima	Combined Application of SDL-92, OMT, MSC and TTCN.	FORTE	1996	DBLP BibTeX RDF
17	Nikolai Mansurov, Alexei S. Ragozin, Andrew V. Chernov, I. V. Mansurov	Tool Support for Algebraic Specifications of Dat in SDL-92.	FORTE	1996	DBLP BibTeX RDF
17	Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp	A Timed Semantics for SDL.	FORTE	1996	DBLP BibTeX RDF
17	Elke Heck	Performance evaluation of formally specified systems: the integration of SDL with HIT.		1996	RDF
17	Stefan Heinkel, Thomas Lindner	SDL.	Formal Development of Reactive Systems	1995	DBLP DOI BibTeX RDF
17	Behrouz H. Far, Hui Chen, Zenya Koono	Software Creation: Using Specification and Description Language (SDL) for Capturing and Reusing Human Experts' Knowledge in Software Design.	SEKE	1995	DBLP BibTeX RDF
17	Ivanil S. Bonatti, Renato J. O. Figueiredo	Stoht: an SDL-to-hardware translator.	ASP-DAC	1995	DBLP DOI BibTeX RDF
17	Anders Olsen, Bo Bichel Norbæk	Using SDL for Targeting Services to CORBA.	IS&N	1995	DBLP DOI BibTeX RDF
17	Conor Morris, John Nelson	An SDL Based Realisation of an IN Service Development Environment.	IS&N	1995	DBLP DOI BibTeX RDF
17	Mohamed Romdhani, P. Chambert, Alain Jeffroy, Pierre de Chazelles, Ahmed Amine Jerraya	Composing ActivityCharts/StateCharts, SDL and SAO specifications for codesign in avionics.	EURO-DAC	1995	DBLP DOI BibTeX RDF
17	Stefan Leue	Specifying real-time requirements for SDL specifications - a temporal logic-based approach.	PSTV	1995	DBLP BibTeX RDF
17	Falko Bause, Heinz Kabutz, Peter Kemper, Pieter S. Kritzinger	SDL and Petri net performance analysis of communicating systems.	PSTV	1995	DBLP BibTeX RDF
17	Ulf Behnke, Michael Geipl, Gerd Kurzbach, Ralf Schröder, Nils Fischbeck, Renée Mundstock	Development of Broadband ISDN Telecommunication Services Using SDL'92, ASN.1 and Automatic Code Generation.	FORTE	1995	DBLP BibTeX RDF
17	Bjørn Gulla, Joe Gorman	Supporting Evolution of SDL-based Systems: Industrial Experience.	FORTE	1995	DBLP BibTeX RDF
17	Ove Færgemand, Anders Olsen	Introduction to SDL-92.	Comput. Networks ISDN Syst.	1994	DBLP DOI BibTeX RDF
17	Gusztáv Adamis	Automatic Protocol implementation - generating C++ code from SDL/PR specifications.	Microprocess. Microprogramming	1994	DBLP DOI BibTeX RDF
17	Maria Törö, Gábor Ziegler	Validation of abstract test suites with use of SDL.	Microprocess. Microprogramming	1994	DBLP DOI BibTeX RDF
17	Tsuyoshi Ando, Masataka Ohta, Kaoru Takahashi	Interpretation of SDL specification in LOTOS.	Syst. Comput. Jpn.	1994	DBLP DOI BibTeX RDF
17	Ermanno Berruto, Tomas Brännlund, Jan Gustafsson, Wolfgang Schott	An SDL methodology used for specifying the radio protocols in a CDMA system.	VTC	1994	DBLP DOI BibTeX RDF
17	Stefan Leue, Philippe Oechslin	From SDL specifications to optimized parallel protocol implementations.	Protocols for High-Speed Networks	1994	DBLP BibTeX RDF
17	Anders Ek, Jan Ellsberger, Anthony Wiles	Computer supported test generation from SDL specifications.	PSTV	1994	DBLP BibTeX RDF
17		The SDL Design Tool.	FTRTFT	1994	DBLP BibTeX RDF
17	Eckhardt Holz, Ketil Stølen	An attempt to embed a restricted version of SDL as a target language in Focus.	FORTE	1994	DBLP BibTeX RDF
17	Marc Phalippou	Test sequence generation using Estelle or SDL structure information.	FORTE	1994	DBLP BibTeX RDF
17	Fernando de Carvalho Gomes, Olivier Gascuel	SDL, A Stochastic Algorithm for Learning Decision Lists with Limited Complexity.	Ann. Math. Artif. Intell.	1993	DBLP DOI BibTeX RDF
17	Roland Rössler, Ulrich Schemmel	Ein Betriebssystem für SDL.	Prax. Inf.verarb. Kommun.	1993	DBLP DOI BibTeX RDF
17	Rolv Bræk, Øystein Haugen	Engineering real time systems - an object-oriented methodology using SDL (2. pr.).		1993	RDF
17	Gang Luo, Anindya Das, Gregor von Bochmann	Generating Tests for Control Portion of SDL Specifications.	Protocol Test Systems	1993	DBLP BibTeX RDF
17	Wolfgang Glunz, Thomas Kruse, Torsten Rössel, Dieter Monjau	Integrating SDL and VHDL for System-Level Hardware Design.	CHDL	1993	DBLP BibTeX RDF
17	Falko Bause, Peter Buchholz 0001	Qualitative und Quantitative Analysis of Timed SDL Specifications.	Kommunikation in Verteilten Systemen	1993	DBLP DOI BibTeX RDF
17	Gonzalo León, J. Carracedo, J. C. Moreno, Juan C. Yelmo, Juan J. Gil, Carlos Sánchez 0002, F. Javier Carrasco	An Industrial Experience on Development with LOTOS and SDL.	FORTE	1993	DBLP BibTeX RDF
17	Hasan Ural, Alan W. Williams	Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL.	FORTE	1993	DBLP BibTeX RDF
17	Gerard J. Holzmann	Practical methods for the formal validation of SDL specifications.	Comput. Commun.	1992	DBLP DOI BibTeX RDF
17	Carl Binding, Wiet Bouma, Michel Dauphin, Günter Karjoth, Yan Yang	A Common Compiler for LOTOS and SDL Specifications.	IBM Syst. J.	1992	DBLP DOI BibTeX RDF
17	Robert Nahm	Semantics of simple SDL.	FBT	1992	DBLP BibTeX RDF
17	Klaus Ahrens, Joachim Fischer, Andreas Prinz 0001, Dorota Witaszek	Eine Entwicklungsumgebung für SDL'92.	FBT	1992	DBLP BibTeX RDF
17	O. Pulkkinen, Klaus Kronlöf	Integration of SDL and VHDL for high-level digital design.	EURO-DAC	1992	DBLP DOI BibTeX RDF
17	B. Lutter, Wolfgang Glunz, Franz-Josef Rammig	Using VHDL for simulation of SDL specifications.	EURO-DAC	1992	DBLP DOI BibTeX RDF
17	Jan Ellsberger, Finn Kristoffersen	Testability in the Context of SDL.	PSTV	1992	DBLP BibTeX RDF
17	Thomas Walter 0001, Jan Ellsberger, Finn Kristoffersen, Paul van den Merkhof	A Common Semantics Representation for SDL and TTCN.	PSTV	1992	DBLP BibTeX RDF
17	Finn Kristoffersen, Louis Verhaard, Michael Zeeberg	Test derivation for SDL based on ACTs.	FORTE	1992	DBLP BibTeX RDF
17	Susan C. Murphy, Per Gunningberg, John P. J. Kelly	Experiences with Estelle, LOTOS and SDL: A Protocol Implementation Experiment.	Comput. Networks ISDN Syst.	1991	DBLP DOI BibTeX RDF
17	Manfred Broy	Towards a Formal Foundation of the Specification and Description Language SDL.	Formal Aspects Comput.	1991	DBLP DOI BibTeX RDF
17	Ferenc Belina, Dieter Hogrefe, Amardeo Sarma	SDL - with applications from protocol specification.		1991	RDF
17	Vincent Encontre	SDL: a standard language for Ada real-time applications.	TRI-Ada	1991	DBLP DOI BibTeX RDF
17	Hironori Saito, Toru Hasegawa, Yoshiaki Kakuda	Protocol Verification System for SDL Specifications Based on Acyclic Expansion Algorithm and Temporal Logic.	FORTE	1991	DBLP BibTeX RDF
17	Heinz Saria, Heinrich Nirschl, Carl Binding	Mixing LOTOS and SDL Specifications.	FORTE	1991	DBLP BibTeX RDF
17	Klaus Ahrens, Joachim Fischer, Eckhardt Holz, Ina Schieferdecker	Eine SDL-Maschine für Entwurf und Analyse von Spezifikationen verteilter Systeme.	it Inf. Technol.	1990	DBLP DOI BibTeX RDF
17	Anders Olsen	Extending SDL with a Procedural Data Concept.	FORTE	1990	DBLP BibTeX RDF
17	Kou Miyake, Y. Shigeta, W. Tanaka, H. Hasegawa	Automatic Code Generation for SDL to C++ for an Integrated Software Development Support System.	FORTE	1990	DBLP BibTeX RDF
17	Falko Bause, Peter Buchholz 0001	Protocol Analysis Using a Timed Version of SDL.	FORTE	1990	DBLP BibTeX RDF
17	Anders Ek, Jan Ellsberger	TA-2: A Prototype Analysing Dynamic SDL Properties.	FORTE	1990	DBLP BibTeX RDF
17	Ove Faergemand	Stepwise Production of an SDL Description.	FORTE	1990	DBLP BibTeX RDF
17	Ferenc Belina, Dieter Hogrefe	The CCITT-Specification and Description Language SDL.	Comput. Networks	1989	DBLP DOI BibTeX RDF
17	Roberto Saracco, Jared Smith, Rick Reed	Telecommunications systems engineering using SDL.		1989	RDF
17	Gerard J. Holzmann, Joanna Patti	Validating SDL Specifications: an Experiment.	PSTV	1989	DBLP BibTeX RDF
17	S. Alfonzetti, Salvatore Casale, Alfio Lombardo, G. Bertocchi	Designing a Gateway Between Teletex and OSI Networks by Means of SDL.	INFOCOM	1989	DBLP DOI BibTeX RDF
17	B. Ludwig, C. Krechel	Kommunikationsmechanismen in einer multiprozessorfähigen SDL-Laufzeitumgebung.	Kommunikation in Verteilten Systemen	1989	DBLP DOI BibTeX RDF
17	Michael Atlevi	SDT - a Real-Time CASE Tool for the CCITT Specification Language SDL.	FORTE	1989	DBLP BibTeX RDF
17	Kong E. Cheng, Lindsay N. Jackson	Automatic Translation of SDL Specifications to Implementation Based on Syntactic Transformation.	FORTE	1989	DBLP BibTeX RDF
17	L. A. Crutcher, M. H. Barton	Implementing SDL in occam.	Softw. Eng. J.	1988	DBLP DOI BibTeX RDF
17	Dieter Hogrefe	OSI service specification with CCITT-SDL.	Comput. Commun. Rev.	1988	DBLP DOI BibTeX RDF
17	Heinz Kossmann	Ein Toolset für den graphischen Entwurf verteilter Systeme mit SDL.	GI Jahrestagung (2)	1988	DBLP DOI BibTeX RDF
17	Dieter Hogrefe, Amardeo Sarma	Non-Determinism and SDL.	FORTE	1988	DBLP BibTeX RDF
17	Michael Atlevi	SDT - The SDL Design Tool.	FORTE	1988	DBLP BibTeX RDF
17	Ferenc Belina, Dieter Hogrefe, Sebastiano Triglia	Modelling OSI in SDL.	FORTE	1988	DBLP BibTeX RDF
17	Kenneth R. Parker, Rainer A. Berger, Kong E. Cheng	Protocol Analysis and Implementation using NPNs and SDL.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
17	Birger Møller-Pedersen, Dag Belsnes, Hans Petter Dahle	Rationale and Tutorial on OSDL: An Object-Oriented Extension of SDL.	Comput. Networks	1987	DBLP DOI BibTeX RDF
17	Heinz Kossmann	A Graphic SDL Support Environment.	Comput. Networks	1987	DBLP DOI BibTeX RDF
17	Roberto Saracco, Paul A. J. Tilanus	CCITT SDL: Overview of the Language and its Applications.	Comput. Networks	1987	DBLP DOI BibTeX RDF
17	Hans Günter Tempel	A Set of Tools supporting the Software Design Based on SDL.	ESEC	1987	DBLP DOI BibTeX RDF
17	Chakib Chraibi, Omar Rafiq, Richard Castanet	SDL as a Testing Language.	ICCC	1986	DBLP BibTeX RDF
17	Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth	Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL-Implementation Specifications from Global Protocol Specifications.	ICCC	1986	DBLP BibTeX RDF
17	Wolfgang Fischer 0002, Klaus Sauer, W. Denzel	A simulation technique for communications protocols based on a formal specification by SDL.	PSTV	1985	DBLP BibTeX RDF
17	Giulio Brusasco	Simulation and Testing Using SDL.	ICC (3)	1984	DBLP BibTeX RDF
17	Anders Rockström, Roberto Saracco	SDL-CCITT Specification and Description Language.	IEEE Trans. Commun.	1982	DBLP DOI BibTeX RDF
17	Wendell E. Cory	Symbolic simulation for functional verification with ADLIB and SDL.	DAC	1981	DBLP BibTeX RDF
17	N. S. M. Shehad	SDL II A System Dynamics Language Portable Translator Development and Design of a CSSL-Dynamo-type Language.		1978	RDF
16	J. Jenny Li, Joseph Robert Horgan	A Tool Suite for Diagnosis and Testing of Software Design Specifications.	DSN	2000	DBLP DOI BibTeX RDF	Software design specification, xSuds and Specification and Description Language (SDL [2]), software engineering tool, coverage testing
16	J. Jenny Li, Joseph Robert Horgan	Simulation-Trace-Based Component Performance Prediction.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	software slicing, Communicating extended finite state machine (CEFSM), stochastic-EFSM and Specification and Description Language (SDL), Software architectural design
10	Gary Singh	The Spiral Effect.	IEEE Computer Graphics and Applications	2009	DBLP DOI BibTeX RDF
10	Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura	Formal Specification and Analysis of Timing Properties in Software Systems.	FASE	2009	DBLP DOI BibTeX RDF
10	Issam Jabri, Nicolas Krommenacker, Thierry Divoux, Adel Soudani	IEEE 802.11 Load Balancing: An Approach for QoS Enhancement.	Int. J. Wirel. Inf. Networks	2008	DBLP DOI BibTeX RDF	Quality of service, Load balancing, OPNET, Protocol specification, IEEE802.11
10	Merete Skjelten Tveit	Towards Diagrammatic Patterns.	Diagrams	2008	DBLP DOI BibTeX RDF