27 search results - page 3 / 6 » icst 2008 |
ICST
2008
IEEE
14 years 1 days ago
2008
IEEE
This paper presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion met...
ICST
2008
IEEE
14 years 1 days ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
ICST
2008
IEEE
14 years 1 days ago
2008
IEEE
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
ICST
2008
IEEE
14 years 1 days ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
ICST
2008
IEEE
14 years 1 days ago
2008
IEEE
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...