245 search results - page 1 / 49 » Formal Methods in Industrial Software Standards Enforcement |
ERSHOV
2006
Springer
13 years 8 months ago
2006
Springer
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...
ICIW
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
ICSE
1997
IEEE-ACM
13 years 9 months ago
1997
IEEE-ACM
FMICS
2009
Springer
13 years 11 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
EDUTAINMENT
2007
Springer
13 years 11 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...