<--- Back to Details
First PageDocument Content
Data modeling / Formal methods / Finite-state machine / Unified Modeling Language / Abstract Syntax Notation One / Diagrams / Specification and Description Language / Software engineering
Date: 2009-11-13 10:44:47
Data modeling
Formal methods
Finite-state machine
Unified Modeling Language
Abstract Syntax Notation One
Diagrams
Specification and Description Language
Software engineering

INTERNATIONAL TELECOMMUNICATION UNION STUDY GROUP 17 TELECOMMUNICATION STANDARDIZATION SECTOR

Add to Reading List

Source URL: www.pragmadev.com

Download Document from Source Website

File Size: 102,93 KB

Share Document on Facebook

Similar Documents

Computing / Computer security / Security Content Automation Protocol / Extensible Configuration Checklist Description Format / Schematron / Federal Information Security Management Act / XML Schema / National Institute of Standards and Technology / Open Vulnerability and Assessment Language

NIST SP 800-126A, SCAP 1.3 Component Specification Version Updates

DocID: 1qnt0 - View Document

Software engineering / Computing / Models of computation / Software / Finite automata / Finite-state machine / Transition system / XC / Verilog / Clock / Presentation / Specification and Description Language

IF: An Intermediate Representation for SDL and its Applications Marius Bozga , Jean-Claude Fernandez , Lucian Ghirvu  , Susanne Graf , Jean-Pierre Krimm , Laurent Mounier and Joseph Sifakis VERIMAG, Centre Equation, 2 a

DocID: 1pUDw - View Document

Network protocols / Diagrams / Specification and Description Language / Protocol stack

SDL Implementations for Wireless Sensor Networks Incorporation of PragmaDev’s RTDS into the Deterministic Protocol Stack BiPS Tobias Braun, Dennis Christmann, Reinhard Gotzhein, Alexander Mater {tbraun, christma, gotzh

DocID: 1pGaf - View Document

Computer security / Security Content Automation Protocol / Extensible Configuration Checklist Description Format / Federal Information Security Management Act / National Vulnerability Database / National Institute of Standards and Technology / Angela Orebaugh / Open Vulnerability and Assessment Language / Vulnerability / CVSS / Information Security Automation Program

NIST SPRevision 3, The Technical Specification for SCAP Version 1.3

DocID: 1puNg - View Document

Diagrams / Specification and Description Language / Domain-specific language / Semaphore / Conceptual model / Thread

Prototyping SDL Extensions Andreas Blunk and Joachim Fischer Department of Computer Science, Humboldt University Berlin, Germany

DocID: 1pfuY - View Document