Sciweavers

2181 search results - page 4 / 437
» Standard Software as Microworld
Sort
View
ICSE
1997
IEEE-ACM
14 years 1 months ago
Using Formal Methods to Reason about Architectural Standards
Kevin J. Sullivan, John Socha, Mark Marchukov
TSE
1998
93views more  TSE 1998»
13 years 8 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
COMPSAC
2002
IEEE
14 years 1 months ago
Software Maintainability Improvement: Integrating Standards and Models
Software standards are highly recommended because they promise faster and more efficient ways for software development with proven techniques and standard notations. Designers who...
William C. Chu, Chih-Wei Lu, Chih-Hung Chang, Yeh-...
STANDARDVIEW
1998
128views more  STANDARDVIEW 1998»
13 years 8 months ago
Compatibility, standards, and software production
Compatibility is a key strategic decision in software production. Proposals exist for standards in several fields of software production, such as networking (ISO and IEEE), operat...
Giancarlo Succi, Andrea Valerio, Tullio Vernazza, ...
ERSHOV
2006
Springer
14 years 20 days ago
Formal Methods in Industrial Software Standards Enforcement
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
Alexey Grinevich, Alexey V. Khoroshilov, Victor V....