Search results for "MSC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Margarita de Cabo, Manuel Rodríguez	Applying eODL and SDL-Patterns for Developing TMN Managed Systems.	SAM	2004	DBLP DOI BibTeX RDF
20	Jameleddine Hassine, Rachida Dssouli, Juergen Rilling	Applying Reduction Techniques to Software Functional Requirement Specifications.	SAM	2004	DBLP DOI BibTeX RDF	Functional requirement specification, maintenance, program slicing, comprehension, Use Case Maps
20	Harald Böhme, Joachim Fischer	eODL and SDL in Combination for Components.	SAM	2004	DBLP DOI BibTeX RDF
20	Frank Weil, Thomas Weigert	Guidelines for Using SDL in Product Development.	SAM	2004	DBLP DOI BibTeX RDF
20	Jörg Dorsch, Anders Ek, Reinhard Gotzhein	SPT - The SDL Pattern Tool.	SAM	2004	DBLP DOI BibTeX RDF
20	Tong Zheng 0002, Ferhat Khendek	Time consistency of MSC-2000 specifications.	Comput. Networks	2003	DBLP DOI BibTeX RDF
20	Edel Sherratt (eds.)	Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers	SAM	2003	DBLP DOI BibTeX RDF
20	Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee	LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios.	TACAS	2003	DBLP DOI BibTeX RDF
20	Tong Zheng 0002, Ferhat Khendek, Loïc Hélouët	A Semantics for Timed MSC.	VISS@ETAPS	2002	DBLP DOI BibTeX RDF
20	Xuandong Li, Wenkai Tan, Guoliang Zheng	Checking MSC Specifications for Timing Inconsistency.	J. Comput. Sci. Technol.	2002	DBLP DOI BibTeX RDF
20	Jens Grabowski, Dieter Hogrefe	SDL- and MSC-Based Specification and Automated Test Case Generation for INAP.	Telecommun. Syst.	2002	DBLP DOI BibTeX RDF
20	Dietrich Kuske	A Further Step towards a Theory of Regular MSC Languages.	STACS	2002	DBLP DOI BibTeX RDF
20	Swapan K. Parui, Amitava Datta	On Convergence of a Neural Network Model Computing MSC.	AFSS	2002	DBLP DOI BibTeX RDF
20	Hong-Sul Jang, Young-Soo Kim	MTF analysis on the MSC design.	IGARSS	2002	DBLP DOI BibTeX RDF
20	Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan W. Williams	Rapid Development of Network Software via SDL/Socket Interfaces.	SAM	2002	DBLP DOI BibTeX RDF	Socket Interface, SDL, Code Integration
20	Andreas Metzger, Stefan Queins	Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems.	SAM	2002	DBLP DOI BibTeX RDF
20	Andreas Prinz 0001, Mario Schwarz	Object-Oriented Specification of Protocols for Reusability.	SAM	2002	DBLP DOI BibTeX RDF
20	Andreas Prinz 0001	SDL Time Extensions from a Semantic Point of View.	SAM	2002	DBLP DOI BibTeX RDF
20	Daniel Amyot, Nikolai Mansurov, Gunter Mussbacher	Understanding Existing Software with Use Case Map Scenarios.	SAM	2002	DBLP DOI BibTeX RDF
20	Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible	Micro Protocol Design: The SNMP Case Study.	SAM	2002	DBLP DOI BibTeX RDF
20	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
20	Susanne Graf	Expression of Time and Duration Constraints in SDL.	SAM	2002	DBLP DOI BibTeX RDF
20	Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener	Techniques for Abstracting SDL Specifications.	SAM	2002	DBLP DOI BibTeX RDF
20	Øystein Haugen	MSC-2000 interaction diagrams for the new millennium.	Comput. Networks	2001	DBLP DOI BibTeX RDF
20	Rachida Dssouli, Yair Lahav	MSC and SDL in project life cycles.	Comput. Networks	2001	DBLP DOI BibTeX RDF
20	Shih-Liang (Sid) Wang	Motion Simulation With Working Model 2D and MSC.visualNastran 4D.	J. Comput. Inf. Sci. Eng.	2001	DBLP DOI BibTeX RDF
20	Nikolai Mansurov	Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering.	Comput. Lang.	2001	DBLP DOI BibTeX RDF
20	Terry Williams, K. Dickson	Teaching real-life OR to MSc students.	J. Oper. Res. Soc.	2000	DBLP DOI BibTeX RDF
20	Edel Sherratt (eds.)	SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000	SAM	2000	DBLP BibTeX RDF
20	Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski	Development of a MSC/UML Test Format.	FBT	2000	DBLP BibTeX RDF
20	Eui Hyun Paik, DongGill Lee, Byung-Sun Lee	A Testing Mechanism for Concurrent Programs Based on MSC.	PDPTA	2000	DBLP BibTeX RDF
20	F. A. Meijs	Connecting Message Sequence Charts.	SAM	2000	DBLP BibTeX RDF
20	Francis Bordeleau, Donald Cameron	On the Relationship between use-case maps and Message Sequence Charts.	SAM	2000	DBLP BibTeX RDF
20	Stefan Bläsius, Stefan Karg, Josef Maier, Günther Kohler	Development of SDL Based Software for an Embedded System - Practical Experience.	SAM	2000	DBLP BibTeX RDF
20	François Terrier, Sébastien Gérard	Real Time System Modeling with UML: current status and some prospects.	SAM	2000	DBLP BibTeX RDF
20	Anca Muscholl, Doron A. Peled	Analyzing Message Sequence Charts.	SAM	2000	DBLP BibTeX RDF
20	Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent	SDL for Real-Time: What is Missing?	SAM	2000	DBLP BibTeX RDF
20	André Engels	Design Decisions on Data and Guards in MSC2000.	SAM	2000	DBLP BibTeX RDF
20	Karl Meinke	Validation and Test Case Generations for MSCs Using A Propositional SAT Solver.	SAM	2000	DBLP BibTeX RDF
20	Loïc Hélouët, Pierre Le Maigat	Decomposition of Message Sequence Charts.	SAM	2000	DBLP BibTeX RDF
20	Ferhat Khendek, Daniel Vincent	Enriching SDL Specifications with MSCs.	SAM	2000	DBLP BibTeX RDF
20	F. Boutet, E. Choveau, G. Rieux, Y. Lejeune	Scheduling in SDL Simulation. Application to Future Air Navigation Systems.	SAM	2000	DBLP BibTeX RDF
20	B. Rao	SDL Based Auto Code Generation: A Multi Beneficial Approach.	SAM	2000	DBLP BibTeX RDF
20	J. P. Albaladejo, Javier Poncela-González, José T. Entrambasaguas	Adaptation Of SOMT To The Development Of Systems Based Upon a Standard.	SAM	2000	DBLP BibTeX RDF
20	Olaf Henniger, Hasan Ural	Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications.	SAM	2000	DBLP BibTeX RDF
20	José María Álvarez 0002, Manuel Díaz, Luis Llopis, Ernesto Pimentel 0001, José M. Troya	SDL and hard real time systems: new design and analyze techniques.	SAM	2000	DBLP BibTeX RDF
20	Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw	Probabilities In The Torx Test Derivation Algorithm.	SAM	2000	DBLP BibTeX RDF
20	Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski	HyperMSC - a Graphical Representation of TTCN.	SAM	2000	DBLP BibTeX RDF
20	Andreas Prinz 0001, Robert Eschbach, Reinhard Gotzhein	A Executable Formal Semantics for SDL-2000.	SAM	2000	DBLP BibTeX RDF
20	Sjouke Mauw, Michel A. Reniers	Operational Semantics for MSC'96.	Comput. Networks	1999	DBLP DOI BibTeX RDF
20	Andreas Mitschele-Thiel, Bruno Müller-Clostermann	Performance engineering of SDL/MSC systems.	Comput. Networks	1999	DBLP DOI BibTeX RDF
20	Ana R. Cavalli	Advanced Topics on SDL and MSC.	Comput. Networks	1999	DBLP DOI BibTeX RDF
20	Katharine L. Quarmby, Peter Willett 0002, Frances E. Wood	Follow-up study of graduates from the MSc Information Management programme at the University of Sheffield.	J. Inf. Sci.	1999	DBLP DOI BibTeX RDF
20	Peter Dickman	The ALBA Experience: A Multi-University MSc in System Level Integration.	MSE	1999	DBLP DOI BibTeX RDF
20	Ekkart Rudolph, Jens Grabowski, Peter Graubmann	Towards a harmonization of UML-sequence diagrams and MSC.	SDL Forum	1999	DBLP BibTeX RDF
20	André Engels, Loe M. G. Feijs, Sjouke Mauw	MSC and data: dynamic variables.	SDL Forum	1999	DBLP BibTeX RDF
20	Winfried Dulz, S. Gruhl, Lennard Kerber, Michael Söllner	Early performance prediction of SDL/MSC specified systems by automated synthetic code generation.	SDL Forum	1999	DBLP BibTeX RDF
20	Jens Grabowski, Beat Koch, Michael Schmitt 0002, Dieter Hogrefe	SDL and MSC based test generation for distributed test architectures.	SDL Forum	1999	DBLP BibTeX RDF
20	Joost-Pieter Katoen, Lennard Lambert	Pomsets for MSC.	FBT	1998	DBLP BibTeX RDF
20	Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim	A Process Algebra Semantics for MSC Including Conditions.	FBT	1998	DBLP BibTeX RDF
20	Frank Lemmen	Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext des SDL/MSC-gesteuerten Monitoring.	MMB	1997	DBLP BibTeX RDF
20	Khaled M. F. Elsayed	Dimensioning of communication links for base-station and MSC interconnection in CDMA mobile communication systems.	ISCC	1997	DBLP DOI BibTeX RDF
20	Ina Schieferdecker, Axel Rennoch, Olaf Mertens	Timed MSCx - an Extension to MSC'96.	FBT	1997	DBLP BibTeX RDF
20	Frank Lemmen	Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext des SDL/MSC-gesteuerten Monitoring.	FBT	1997	DBLP BibTeX RDF
20	Lennard Lambert	Bewertung von MSC-Spezifikationen mit Task-Graphen.	FBT	1997	DBLP BibTeX RDF
20	Ana R. Cavalli, Amardeo Sarma (eds.)	SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings	SDL Forum	1997	DBLP BibTeX RDF
20	Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga	Automating the process of test derivation from SDL specifications.	SDL Forum	1997	DBLP BibTeX RDF
20	J. Carracedo, Carlos Ramos, Rubén de Diego, Carlos González, Juan José Gil, Emilo Rodríguez, Morgan Björkander	Introducing SDL in the development of CORBA-compliant applications.	SDL Forum	1997	DBLP BibTeX RDF
20	Ralf Henke, Hartmut König, Andreas Mitschele-Thiel	Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads.	SDL Forum	1997	DBLP BibTeX RDF
20	Alain Kerbrat, Carlos Rodriguez-Salazar, Yves Lejeune	Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets.	SDL Forum	1997	DBLP BibTeX RDF
20	Rainer Gerlich	Tuning development of distributed real-time systems with SDL: Current experience and future issues.	SDL Forum	1997	DBLP BibTeX RDF
20	Carla Geovana N. Macário, Moacir Pedroso Jr., Walter C. Borelli	Designing a multi-user software environment for development and analysis using a combination of OMT and SDL92.	SDL Forum	1997	DBLP BibTeX RDF
20	Jörg Hintelmann, Reinhard Westerfeld	Performance analysis of TCP's flow control mechanisms using queueing SDL.	SDL Forum	1997	DBLP BibTeX RDF
20	Dominique Méry, J. Paul Gibson	Telephone feature verification: Translating SDL to TLA+.	SDL Forum	1997	DBLP BibTeX RDF
20	Ana R. Cavalli, Boo-Ho Lee, Toma Macavei	Test generation for the SSCOP-ATM networks protocol.	SDL Forum	1997	DBLP BibTeX RDF
20	Christian Facchi, Markus Haubner, Ursula Hinkel	The SDL specification of the sliding window protocol revisited.	SDL Forum	1997	DBLP BibTeX RDF
20	Martin Steppler, Matthias Lott	SPEET SDL performance evaluation tool.	SDL Forum	1997	DBLP BibTeX RDF
20	Farid Ammar-Boudjelal, Jean-Yves Lafaye, Georges Louis	Specifying the steam-boiler case study with SDL.	SDL Forum	1997	DBLP BibTeX RDF
20	Ranjit Singh, Jerry Serviss	Code generation using GEODE: A case study.	SDL Forum	1997	DBLP BibTeX RDF
20	Paer-Olof Haokansson, Jan Karlsson, Louis Verhaard	Combining SDL and C.	SDL Forum	1997	DBLP BibTeX RDF
20	Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt 0002	Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications.	SDL Forum	1997	DBLP BibTeX RDF
20	Kamel Karoui, Rachida Dssouli, Nina Yevtushenko 0001	Design for testability of communication protocols based on SDL language.	SDL Forum	1997	DBLP BibTeX RDF
20	Andreas Iselt, Achim Autenrieth	An SDL-based platform for the simulation of communication networks using dynamic block instantiations.	SDL Forum	1997	DBLP BibTeX RDF
20	Maria Törö	Simulation of IP mobility support: An experiment in mobile protocol specification with SDL.	SDL Forum	1997	DBLP BibTeX RDF
20	Sjouke Mauw, Michel A. Reniers	High-level message sequence charts.	SDL Forum	1997	DBLP BibTeX RDF
20	A. Alonistioti, G. Nikolaidis, I. Modeas	SDL-based modelling and design of IN/UMTS handover functionality.	SDL Forum	1997	DBLP BibTeX RDF
20	Vincent Perrier, Nicolas Dervaux	Combining object-oriented and real-time programming from an OMT and SDL design.	SDL Forum	1997	DBLP BibTeX RDF
20	Nikolai Mansurov, Andrew V. Chernov, Alexei S. Ragozin	Industrial strength code generation from SDL.	SDL Forum	1997	DBLP BibTeX RDF
20	Birgit Geppert, Reinhard Gotzhein, Frank Rößler	Configuring communication protocols using SDL patterns.	SDL Forum	1997	DBLP BibTeX RDF
20	Nils Fischbeck	Experiences with ISDN validation models in SDL and proposal for new SDL features.	SDL Forum	1997	DBLP BibTeX RDF
20	Samir Tata, Laurent Andrey, Olivier Festor	A practical experience on validating GDMO-based information models with SDL'88 and SDL'92.	SDL Forum	1997	DBLP BibTeX RDF
20	Euricio Inocêncio, Chris W. Loftus, Edel Sherratt, Paula Viana	The unification of OMT, SDL and IDL for service creation.	SDL Forum	1997	DBLP BibTeX RDF
20	Nils Faltin, Lennard Lambert, Andreas Mitschele-Thiel, Frank Slomka	An annotational extension of message sequence charts to support performance engineering.	SDL Forum	1997	DBLP BibTeX RDF
20	Odile Troulet-Lambert	Is open-EDI a potential area for use of SDL?	SDL Forum	1997	DBLP BibTeX RDF
20	Kurt Verschaeve	Automated iteration between OMT and SDL.	SDL Forum	1997	DBLP BibTeX RDF
20	Gabriel Robert, Ferhat Khendek, Peter Grogono	Deriving an SDL specification with a given architecture from a set of MSCs.	SDL Forum	1997	DBLP BibTeX RDF
20	Anthony Noerpel, Pertti Lukander, Li-Fung Chang, Vijay Varma, Edward H. Lipper	Supporting PACS on a GSM MSC.	IEEE Commun. Mag.	1996	DBLP DOI BibTeX RDF
20	Winfried Dulz	A Framework for the Performance Evaluation of SDL/MSC-Specified Systems.	ESM	1996	DBLP BibTeX RDF
20	Stefan Leue, Peter B. Ladkin	Implementing and verifying MSC specifications using Promela/XSpin.	The Spin Verification System	1996	DBLP DOI BibTeX RDF
20	Eurico Inocêncio, Manuel Ricardo 0001, Hitoshi Sato, Toshimitsu Kashima	Combined Application of SDL-92, OMT, MSC and TTCN.	FORTE	1996	DBLP BibTeX RDF