Sciweavers

16218 search results - page 3 / 3244
» Standards
Sort
View
GIL
2010
13 years 6 months ago
Formale Modellierung landwirtschaftlicher Standards mit RIF und OWL
: Standards zum Pflanzenbau und Betriebsmanagement werden immer wichtiger f
Edward Nash, Jens Wiebensohn
ISCC
2007
IEEE
13 years 11 months ago
Structure and Collaborative Aspects of Internet Standards
Standardization efforts have become an increasingly central issue as business interoperability demands mount. However research on the development process of standards is limited. ...
Mehmet Gencer
ASM
2000
ASM
13 years 9 months ago
An ASM Dynamic Semantics for Standard ML
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
Steven C. Cater, James K. Huggins
TSE
1998
93views more  TSE 1998»
13 years 4 months ago
A Strategy for Improving Safety Related Software Engineering Standards
—There are many standards which are relevant for building safety or mission critical software systems. An effective standard is one that should help developers, assessors, and us...
Norman E. Fenton, Martin Neil