|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 612 occurrences of 351 keywords
|
|
|
Results
Found 872 publication records. Showing 872 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
53 | Loïc Hélouët |
A simulation model for message sequence charts. |
SDL Forum |
1999 |
DBLP BibTeX RDF |
|
53 | Ekkart Rudolph, Jens Grabowski, Peter Graubmann |
Towards a harmonization of UML-sequence diagrams and MSC. |
SDL Forum |
1999 |
DBLP BibTeX RDF |
|
53 | André Engels, Loe M. G. Feijs, Sjouke Mauw |
MSC and data: dynamic variables. |
SDL Forum |
1999 |
DBLP BibTeX RDF |
|
53 | Mazen Malek |
PerfSDL: Interface to protocol performance analysis by means of simulation. |
SDL Forum |
1999 |
DBLP BibTeX RDF |
|
53 | Nikolai Mansurov, Robert L. Probert |
Dynamic scenario-based approach to re-engineering of legacy telecommunication software. |
SDL Forum |
1999 |
DBLP BibTeX RDF |
|
52 | Steven B. Lipner |
The Trustworthy Computing Security Development Lifecycle. |
ACSAC |
2004 |
DBLP DOI BibTeX RDF |
|
52 | 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 |
49 | Wen Ye, Ying Du, Wei Deng |
Application of Object-Oriented Analysis and Design in CDMA BSS Development. |
TOOLS (36) |
2000 |
DBLP DOI BibTeX RDF |
CDMA mobile system, Software engineering, SDL, Object-oriented analysis and design |
49 | Douglas Niehaus, John A. Stankovic, Krithi Ramamritham |
A real-time system description language. |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
real-time system description language, system design specification, automatic calculation, automatic analysis environment, design and analysis environment, specification changes, layered abstractions, concealed implementation details, timing correctness, robotic pick-and-place circuit board assembly, distributed real-time scheduling simulation, ease of modification, automatic loading, real-time systems, timing, specification languages, timing analysis, SDL, automatic linking, flexible manufacturing |
48 | Pau Fonseca |
SDL distributed simulator. |
WSC |
2008 |
DBLP DOI BibTeX RDF |
|
48 | Thomas Kuhn 0001, Philipp Becker |
A Simulator Interconnection Framework for the Accurate Performance Simulation of SDL Models. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Tae-Hyong Kim, Jae-Woo Kim, Qi-Ping Yang, Jae-Hyoung Lee, Soon-Gi Park, Yeun-Seung Shin |
SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Daniel Dietterle, Jerzy Ryman, Kai F. Dombrowski, Rolf Kraemer |
Mapping of High-Level SDL Models to Efficient Implementations for TinyOS. |
DSD |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Paresh Jain, Amresh Paresh Jain |
Validating Wireless Protocol Conformance Test Cases. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Joe Abboud Syriani, Nashat Mansour |
Modeling Web Systems Using SDL. |
ISCIS |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Frank Rößler, Birgit Geppert, Reinhard Gotzhein |
CoSDL: An Experimental Language for Collaboration Specification. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
48 | Christos Drosos, M. Zayadine, Dimitris Metafas |
Real-Time Communication Protocol Development Using SDL for an Embedded System On Chip Based on ARM Microcontroller. |
ECRTS |
2001 |
DBLP DOI BibTeX RDF |
|
48 | Frank Slomka, Matthias Dörfel, Ralf Münzenberger |
Generating mixing hardware/software systems from SDL specifications. |
CODES |
2001 |
DBLP DOI BibTeX RDF |
|
48 | Morgan Björkander |
Graphical Programming Using UML and SDL. |
Computer |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Tony Savor, Rudolph E. Seviora |
Improving the efficiency of supervision by software through state aggregation. |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
private telephone exchanges, supervisory software, software supervision, real time failure detection, real time system monitoring, running time complexity, specification processes, software supervisor, ITU Specification and Description Language, small private branch telephone exchange, SDL processes, telecom switching software, real-time systems, computational complexity, formal specification, fault diagnosis, telecommunication computing, state transitions, telecommunication control, computerised monitoring, inputs queues, state aggregation |
44 | Ernesto Exposito, Patrick Sénac, Michel Diaz |
UML-SDL modelling of the FPTP QoS oriented transport protocol. |
MMM |
2004 |
DBLP DOI BibTeX RDF |
transport mechanisms, QoS, UML, congestion control, transport protocol, SDL |
44 | Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale |
Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
timed EFSM, timed extensions, conformance testing, SDL |
44 | Marek Jersak, Kai Richter 0001, Rafik Henia, Rolf Ernst, Frank Slomka |
Transformation of SDL specifications for system-level timing analysis. |
CODES |
2002 |
DBLP DOI BibTeX RDF |
SDL |
44 | Matthias Dörfel, Frank Slomka, Richard Hofmann |
A Scalable Hardware Library for the Rapid Prototyping of SDL Specifications. |
IEEE International Workshop on Rapid System Prototyping |
1999 |
DBLP DOI BibTeX RDF |
Interface Selection, High-Level Synthesis, Rapid Prototyping, SDL, Codesign, Communication Systems |
44 | Joachim Fischer, Michael Piefel, Markus Scheidgen |
A Metamodel for SDL-2000 in the Context of Metamodelling ULF. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Harald Böhme, Joachim Fischer |
eODL and SDL in Combination for Components. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener |
Techniques for Abstracting SDL Specifications. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
43 | Raimund L. Feldmann, Wolfgang Mahnke, Norbert Ritter, Birgit Geppert, Frank Rößler |
An ORDBMS-Based Reuse Repository Supporting the Quality Improvement Paradigm - Exemplified by the SDL-Pattern Approach. |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
ORDBMS, QIP, SDL-Pattern, Experience Base, Reuse Repository |
42 | Chao-Lieh Chen |
Morphisms from IEEE 802.11 DCF specifications to its EDCA QoS practice with cross-layer interface. |
ICPADS |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Constantin Werner, Sebastian Kraatz, Dieter Hogrefe |
A UML Profile for Communicating Systems. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Thomas Cottenier, Aswin van den Berg, Tzilla Elrad |
Modeling Aspect-Oriented Compositions. |
MoDELS (Satellite Events) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Chul Hwee Kim, John G. Hosking, John C. Grundy |
A Suite of Visual Languages for Statistical Survey Specification. |
VL/HCC |
2005 |
DBLP DOI BibTeX RDF |
statistical surveys, visual language, visual environment |
42 | Vladimir Levin, Hüsnü Yenigün |
SDLcheck: A Model Checking Tool. |
CAV |
2001 |
DBLP BibTeX RDF |
|
38 | Issam Jabri, Nicolas Krommenacker, Adel Soudani, Thierry Divoux |
Load Balancing Approach for Wireless IEEE 802.11 QoS Enhancement. (PDF / PS) |
PWC |
2006 |
DBLP DOI BibTeX RDF |
QoS Protocol, Load Balancing, Wireless LAN, SDL |
38 | Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko |
An Automata-Based Approach to Property Testing in Event Traces. |
TestCom |
2003 |
DBLP DOI BibTeX RDF |
distributed traces, monitoring, SDL, passive testing, property checking |
38 | Ira Acharya, Hemendra Kumar Singh |
Testing of 3G 1xEV-DV Stack - A Case Study. |
TestCom |
2003 |
DBLP DOI BibTeX RDF |
testing challenges, IUT, 1xEV-DV, EV-DV, DV, reference implementation, 3GPP2, LAC, RLP, L2, L3, packet data channel, PDCHCF, Message Integrity, simulation, Testing, MAC, queues, behavior, task, video conferencing, SDL, formalism, 3G, Signaling, logging, conformance, test automation, formal description techniques, MSC, timers, protocol stack, test scripts, TTCN |
38 | Richard O. Sinnott |
Architecting Specifications for Test Case Generation. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
SDL, Test Case Generation, TTCN |
38 | Jens H. Jahnke |
Engineering component-based net-centric systems for embedded applications. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
component-oriented development, embedded softare, network-centric computing, SDL |
38 | Natalia Sidorova, Martin Steffen |
Embedding Chaos. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
open reactive systems, Model checking, data-flow analysis, SDL |
38 | D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon |
An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
visual description techniques, real time reactive systems development, unified notation, user level modeling, implementation level, object oriented notation, Timed Reactive Object Model, TROM, semantic basis, mechanical translations, real-time systems, UML, object-oriented programming, program verification, specification languages, SDL, formal description techniques, program interpreters, abstraction levels, real time reactive systems, large scale applications, design analysis, object based systems |
38 | John Bowers 0001, John Churcher |
Local and Global Structuring of Computer Mediated Communication: Developing Linguistic Perspectives on CSCW in Cosmos. |
CSCW |
1988 |
DBLP DOI BibTeX RDF |
SDL |
38 | Sabine M. Böhm, Klaus Echtle |
State Space Reduction in SDL Models of Fault-Tolerant Systems. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Antti Laitinen, Marko Hännikäinen, Timo Hämäläinen 0001 |
Using SDL a tool for system simulations. |
ISCAS (5) |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Kenneth J. Turner, F. Javier Argul-Marin, Stephen D. Laing |
Concurrent Specification and Timing Analysis of Digital Hardware Using SDL. |
IPDPS Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Nisse Husberg, Tapio Manner |
Emma: Developing an Industrial Reachability Analyser for SDL. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Heikki Tuominen |
Embedding a Dialect of SDL in PROMELA. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt 0002 |
Autolink: A Tool for Automatic Test Generation from SDL Specifications. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Bernd Grahlmann |
Combining Finite Automata, Parallel Programs and SDL Using Petri Nets. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Martin Steppler |
Performance analysis of communication systems formally specified in SDL. |
WOSP |
1998 |
DBLP DOI BibTeX RDF |
SDL |
34 | Philippe Leblanc |
OMT and SDL Based Techniques and Tools for Design, Simulation and Test Production of Distributed Systems. |
Int. J. Softw. Tools Technol. Transf. |
1997 |
DBLP DOI BibTeX RDF |
Engineering of distributed systems, Behavioral property, SDL, Model validation, MSC, Model simulation, OMT |
33 | Pavel Morozkin |
Obtaining an SDL entity identifier using SDL/SystemC co-modeling. |
FRUCT |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Annette Muth |
SDL-based Design of Application Specific Hardware for Hard Real-Time Systems (SDL-basierter Entwurf von anwendungsspezifischer Hardware für harte Realzeitsysteme) (PDF / PS) |
|
2007 |
RDF |
|
33 | Andreas Metzger, Stefan Queins |
Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Susanne Graf |
Expression of Time and Duration Constraints in SDL. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Birgit Geppert, Frank Rößler |
The SDL pattern approach - a reuse-driven SDL design methodology. |
Comput. Networks |
2001 |
DBLP DOI BibTeX RDF |
|
33 | 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 |
|
33 | Birgit Geppert |
The SDL pattern approach - a reuse-driven SDL methodology for designing communication software systems. |
|
2001 |
RDF |
|
33 | Franz Fischer, Thomas Hopfner, Thomas Kolloch, Annette Muth, Stefan M. Petters, Georg Färber, Matthias Dörfel, Winfried Dulz, Richard Hofmann, Andreas Mitschele-Thiel, Ralf Münzenberger, Frank Slomka |
Rapid Prototyping von Realzeitsystemen mit SDL (Rapid Prototyping of Real Time Systems using SDL). |
Informationstechnik Tech. Inform. |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Ketil Stølen, P. Mohn |
Experience from Using MSC, UML and SDL in the Development of the FAME Communication Manager. |
SAM |
2000 |
DBLP BibTeX RDF |
|
33 | 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 |
|
33 | Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent |
SDL for Real-Time: What is Missing? |
SAM |
2000 |
DBLP BibTeX RDF |
|
33 | Ferhat Khendek, Daniel Vincent |
Enriching SDL Specifications with MSCs. |
SAM |
2000 |
DBLP BibTeX RDF |
|
33 | F. Boutet, E. Choveau, G. Rieux, Y. Lejeune |
Scheduling in SDL Simulation. Application to Future Air Navigation Systems. |
SAM |
2000 |
DBLP BibTeX RDF |
|
33 | B. Rao |
SDL Based Auto Code Generation: A Multi Beneficial Approach. |
SAM |
2000 |
DBLP BibTeX RDF |
|
33 | Olaf Henniger, Hasan Ural |
Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications. |
SAM |
2000 |
DBLP BibTeX RDF |
|
33 | 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 |
|
33 | Andreas Prinz 0001, Robert Eschbach, Reinhard Gotzhein |
A Executable Formal Semantics for SDL-2000. |
SAM |
2000 |
DBLP BibTeX RDF |
|
33 | Frank Lemmen |
Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext des SDL/MSC-gesteuerten Monitoring. |
MMB |
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 | Yaoxue Zhang, Hua Chen, Yue Zhang, Guoli Liu |
SDL-TRAN - An interactive generator for formal description language SDL. |
J. Comput. Sci. Technol. |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Aana Robnik |
Experiences of Using SDL Collected in IskraTEL SDL Methodology. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
33 | Antti Takko, Marko Hännikäinen, Jarno Knuutila, Timo Hämäläinen 0001, Jukka Saarinen |
Embedding SDL implemented protocols into DSP. |
CASES |
2000 |
DBLP DOI BibTeX RDF |
SDL implementation, wireless LAN, MAC protocol |
31 | Effie Lai-Chong Law, Anh Vu Nguyen-Ngoc |
Fostering Self-Directed Learning with Social Software: Social Network Analysis and Content Analysis. |
EC-TEL |
2008 |
DBLP DOI BibTeX RDF |
Social network analysis, Social software, Content analysis, Self-directed learning, Cross-cultural collaboration |
31 | Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov |
Using Coloured Petri Nets to Model and Verify Telecommunications Systems. |
CSR |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Jay Cheng, Cheng-Shang Chang, Tsz-Hsuan Chao, Duan-Shin Lee, Ching-Ming Lien |
On Constructions of Optical Queues with a Limited Number of Recirculations. |
INFOCOM |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Po-Kai Huang, Cheng-Shang Chang, Jay Cheng, Duan-Shin Lee |
Recursive Constructions of Parallel FIFO and LIFO Queues With Switched Delay Lines. |
IEEE Trans. Inf. Theory |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Hussam Al-Hertani, Jacek Ilow |
Pattern Recognition Based Detection and Localization in a Network of Randomly Distributed Sensor Nodes. |
ISDA |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Umer Waqar, Ferhat Khendek, Daniel Vincent |
A Formal Approach for Software Maintenance. |
ICSM |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Merijn de Jonge, Ramin Monajemi |
Cost-Effective Maintenance Tools for Proprietary Languages. |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Eric Conquet, Jean-Luc Marty |
Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Kristofer Kimbler, Carl-Henrik Hagenfeldt, Jan Ellsberger, Gustav Bergman |
An Environment for IN Service Prototyping and Validation. |
IS&N |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Raimund L. Feldmann, Birgit Geppert, Frank Rößler |
An Integrating Approach for Developing Distributed Software Systems -- Combining Formal Methods, Software Reuse, and the Experience Base. |
ICECCS |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Chris W. Loftus, A. Olsen, Euricio Inocêncio, Paula Viana |
A Code Generation Strategy for CORBA-Based Internet Applications. |
EDOC |
1997 |
DBLP DOI BibTeX RDF |
Internet, CORBA, Code generation, service creation, TINA |
28 | Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich |
A formal approach to property testing in causally consistent distributed traces. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Distributed systems, Monitoring, SDL, Trace analysis, System validation, Passive testing |
28 | Frank Weil, Andrij Neczwid |
Summary of the 2006 Model Size Metrics Workshop. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
Model Size Metrics, UML, Model-Driven Engineering, SDL |
28 | Ana R. Cavalli, Cyril Grepet, Stéphane Maag, Vincent Tortajada |
A Validation Model for the DSR Protocol. |
ICDCS Workshops |
2004 |
DBLP DOI BibTeX RDF |
routing protocol, conformance testing, SDL, Ad hoc wireless networks, DSR |
28 | Luay Ho Tahat, Atef Bader, Boris Vaysburg, Bogdan Korel |
Requirement-Based Automated Black-Box Test Generation. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
Selective Testing, Requirements, Regression Testing, System Model, SDL, Black-Box Testing, System Testing, Automated Test Generation, EFSM |
28 | Juha Pärssinen, Niklas von Knorring, Jukka Heinonen, Tellabs Oy, Markku Turunen |
UML for Protocol Engineering - Extensions and Experiences. |
TOOLS (33) |
2000 |
DBLP DOI BibTeX RDF |
protocol, implementation, SDL, UML profile |
28 | Ousmane Koné |
Experiment with the Validation of WAP Systems. |
LCN |
2000 |
DBLP DOI BibTeX RDF |
WAP systems validation, French project, WAP session layer, WAP transaction service, interoperability test sequences, specification validation, reference tests, WAP products, interoperation, program verification, specification languages, open systems, conformance testing, sequences, SDL, Wireless Application Protocols, industry, access protocols, formal description technique, mobile terminals, Internet services, Internet telephony, mobile telephony |
28 | Stefan M. Petters, Annette Muth, Thomas Kolloch, Thomas Hopfner, Franz Fischer, Georg Färber |
The REAR Framework for Emulation and Analysis of Embedded Hard Real-Time Systems . |
IEEE International Workshop on Rapid System Prototyping |
1999 |
DBLP DOI BibTeX RDF |
rapid prototyping, timing constraints, schedulability analysis, SDL, design automation, hard real-time, WCET-analysis |
28 | Peter Langendörfer, Hartmut König |
Automated Protocol Implementations Based on Activity Threads. |
ICNP |
1999 |
DBLP DOI BibTeX RDF |
Automated Protocol Implementation, Activity Threads, Code Generation Tools, SDL, Formal Description Techniques |
28 | Theofanis Vassiliou-Gioles, Ina Schieferdecker |
Case Study in Protocol Validation: Validating an ATM Signalling Protocol. |
Formal Aspects Comput. |
1998 |
DBLP DOI BibTeX RDF |
ATM signalling, Validation, SDL |
28 | Bernd Grahlmann |
The State of PEP. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
C code generation, Simulation, Verification, Parallel programs, Petri nets, SDL, PEP, 3D visualisation |
28 | Andreas Mitschele-Thiel |
Load and Performance Modeling of Communication Subsystems with the DO-IT Toolbox. |
MASCOTS |
1997 |
DBLP DOI BibTeX RDF |
tools, SDL, Communication systems, MSC, performance modeling and analysis |
28 | J. Jenny Li, Hong Liu, Rudolph E. Seviora |
Constructing automated protocol testing oracles to accommodate specification nondeterminism. |
ICCCN |
1997 |
DBLP DOI BibTeX RDF |
automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction |
28 | Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen |
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
Modechart, VFSM, Formal methods, specification languages, Z, SDL, industrial applications, LOTOS, ESTEREL, technology assessment |
28 | D. Sinclair, Ludo Cuypers, Kurt Verschaeve, E. Holz, Alexios N. Birbas, V. Mariatos, N. Kyrloglou, J.-L. Roux |
A formal approach to HW/SW co-design: the INSYDE project. |
ECBS |
1996 |
DBLP DOI BibTeX RDF |
INSYDE project, hybrid system co-design, formal description languages, requirements capture, formal verification, software tools, validation, VHDL, object-oriented design, object-oriented methods, SDL, hardware description languages, object-oriented analysis, hardware/software co-design, formal approach |
28 | Shahrzade Mazaher, Georg Raeder |
ODP-based distribution configuration. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
ODP-based distribution configuration, open distributed object-based systems, distributed target platform, reliability constraints, abstract engineering model, implementation-oriented nature, distribution configuration language, static distribution configuration, object-oriented programming, distributed processing, dynamic reconfiguration, open systems, tool support, SDL |
27 | |
Statistical Disclosure Limitation (SDL). |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Kameswari Kotapati, Peng Liu 0005, Thomas F. La Porta |
CAT - A Practical Graph & SDL Based Toolkit for Vulnerability Assessment of 3G Networks. |
SEC |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 872 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|