2278 search results - page 57 / 456 » Specification Techniques for Automatic Performance Analysis ... |
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
COOPIS
2003
IEEE
15 years 3 months ago
2003
IEEE
The organization of documents is a task that we face as computer users daily. This is particularly true for management of email. Typically email documents are organized in director...
GLVLSI
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we discuss a methodology to design and synthesize analog CMOS components such as RF amplifiers. The inputs of the synthesis tool are the circuit specifications desc...
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...