The top documents tagged [specification language]

1 THsort PennySort Award Ceremony Beijing China 19 October 2002 Peng LiuPeng Liu, Yao Shi, Li Zhang, Kuo Zhang, Tian Wang, | ZunChong Tian, Hao Wang, Xiaoge
Documents 1 THsort PennySort Award Ceremony Beijing China 19 October 2002 Peng LiuPeng Liu, Yao Shi, Li Zhang, Kuo Zhang, Tian Wang, | ZunChong Tian, Hao Wang, Xiaoge

222 views

7 February 2014 1 An Overview of the Systems Modeling (SysML) Specification Shana L. Lloyd Julie A. Street The Aerospace Corporation Systems Modeling Language
Documents 7 February 2014 1 An Overview of the Systems Modeling (SysML) Specification Shana L. Lloyd Julie A. Street The Aerospace Corporation Systems Modeling Language

214 views

Accelerating the Industrial Deployment of Model-Checking for SW Verification: Lessons from 10 years of Model Checking Deployment for HW Verification in
Documents Accelerating the Industrial Deployment of Model-Checking for SW Verification: Lessons from 10 years of Model Checking Deployment for HW Verification in

229 views

S CHOOL OF I NFORMATION T ECHNOLOGY AND E NGINEERING U NIVERSITY OF O TTAWA, C ANADA Daniel Amyot Q18/17 (URN) Rapporteur damyot@site.uottawa.ca Time and
Documents S CHOOL OF I NFORMATION T ECHNOLOGY AND E NGINEERING U NIVERSITY OF O TTAWA, C ANADA Daniel Amyot Q18/17 (URN) Rapporteur [email protected] Time and

221 views

GigaSpaces Cloudify Any App, On Any Cloud, Your Way February 2012 Using Groovy in Cloudify The why, the where and the how Barak Merimovich Cloudify Team
Documents GigaSpaces Cloudify Any App, On Any Cloud, Your Way February 2012 Using Groovy in Cloudify The why, the where and the how Barak Merimovich Cloudify Team

224 views

BAiT: Adaptive Test Case Execution in Practice Jens R. Calamé Centrum voor Wiskunde en Informatica, Amsterdam
Documents BAiT: Adaptive Test Case Execution in Practice Jens R. Calamé Centrum voor Wiskunde en Informatica, Amsterdam

220 views

Verification of Real Time Operating System with Model Checking Toshiaki Aoki Japan Advanced Institute of Science and Technology
Documents Verification of Real Time Operating System with Model Checking Toshiaki Aoki Japan Advanced Institute of Science and Technology

220 views

Ethnographic Fieldwork at a University IT Security Office Xinming (Simon) Ou Kansas State University Joint work with John McHugh, S. Raj Rajagopalan, Sathya
Documents Ethnographic Fieldwork at a University IT Security Office Xinming (Simon) Ou Kansas State University Joint work with John McHugh, S. Raj Rajagopalan, Sathya

214 views

Guidebooks Up2UML Method Guidebook Structure Delphi Study Delphi Results Panel Input 4 Guidebook Summary 1 Sabine Moebs Stephan Weibelzahl Nora-Anne Dowling
Documents Guidebooks Up2UML Method Guidebook Structure Delphi Study Delphi Results Panel Input 4 Guidebook Summary 1 Sabine Moebs Stephan Weibelzahl Nora-Anne Dowling

218 views

The Semantic Blessings of XSLT Diederik Gerth van Wijk dg@doxatrix.nl XML Holland 2008 Planetarium Gaasperplas, Amsterdam, 20 november DOXATRIX
Documents The Semantic Blessings of XSLT Diederik Gerth van Wijk [email protected] XML Holland 2008 Planetarium Gaasperplas, Amsterdam, 20 november DOXATRIX

216 views

David Evans CS201j: Engineering Software? University of Virginia Computer Science Lecture 3: Abstraction by Specification
Documents David Evans CS201j: Engineering Software? University of Virginia Computer Science Lecture 3: Abstraction by Specification

217 views

D bus specification
Technology D bus specification

475 views