718 search results - page 122 / 144 » Extraction of Structured Programs from Specification Proofs |
COMAD
2009
13 years 9 months ago
2009
In this paper, we present a feasibility study in automating the insurance claims processing system related to automotive sector. In automobile insurance claims processing, usually...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
g Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst MIT Lab for Computer Science 200 Technology Square Cambridge, MA 02139 USA {mharder,jeffm,mern...
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...
COMPSAC
1998
IEEE
14 years 28 days ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
ENTCS
2002
13 years 8 months ago
2002
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...