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

Source URL: csrc.nist.gov

• 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

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

Source URL: www-verimag.imag.fr

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

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

Source URL: sdl-forum.org

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

NIST SPRevision 3, The Technical Specification for SCAP Version 1.3

Source URL: csrc.nist.gov

• 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

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

Source URL: sdl-forum.org

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

Kenneth J. Turner. Relating architecture and specification (pre-publication version). Computer Networks and ISDN Systems, 29(4):, MarchRelating Architecture and Specification Kenneth J. Turner Department of

Source URL: www.cs.stir.ac.uk

• Data
• ISO standards
• Concurrency
• Concurrency control
• Synchronization
• Language Of Temporal Ordering Specification
• Communications protocol
• RM-ODP
• Specification and Description Language
• Computing
• Process calculi
• Information

Specification and Description Language Real Time standard

Source URL: www.sdl-rt.org

INTERNATIONAL TELECOMMUNICATION UNION STUDY GROUP 17 TELECOMMUNICATION STANDARDIZATION SECTOR

Source URL: www.pragmadev.com

• Data modeling
• Formal methods
• Finite-state machine
• Unified Modeling Language
• Abstract Syntax Notation One
• Diagrams
• Specification and Description Language
• Software engineering

Committee: (V1) - Text Processing: Office and Publishing Systems Interface National Designation Title

Source URL: www.incits.org

• ISO standards
• Open formats
• XML
• ISO/IEC JTC1/SC34
• Office Open XML
• Regular Language description for XML
• Document Schema Definition Languages
• Standard Generalized Markup Language
• Document Style Semantics and Specification Language
• Computing
• Computer file formats
• Markup languages

The RDF Schema Specification Revisited Wolfgang Nejdl and Martin Wolpers and Christian Capelle Institut für Technische Informatik Rechnergestützte Wissensverarbeitung Universität Hannover Appelstraße 4, 30167 Hannove

Source URL: www.kbs.uni-hannover.de

• World Wide Web Consortium
• Resource Description Framework
• RDF Schema
• Resource
• Ontology
• RDF
• Web Ontology Language
• Simple Knowledge Organization System
• Semantic Web
• Web standards
• Computing