White Papers

Developing and Debugging Algebraic Specifications for Java Classes

Overview Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in those applications use container classes defined in the java.util package. Given this extensive code reuse in Java programs, it is important for the interfaces of reusable classes to be well documented. To address the practical difficulties with formal specifications, this paper describes and evaluates a tool to help programmers write and debug algebraic specifications. Given an algebraic specification of a class, the interpreter generates a prototype which can be used within an application just like any regular Java class.

By downloading you agree to our Terms and Conditions. These include information regarding use of your personal data.

Publisher: Association for Computing Machinery
File Format: PDF
Date Published: Feb 1, 2009
Format: White Papers
Topics: Java, Programming Languages, Software Engineering

Similiar White Papers

Achieving the Impossible: Unlimited Application Scalability

For applications with high scalability demands, ensuring 100% availability during peak usage periods is challenging enou

Publisher: Oracle | Tags: applications, html, ipod

Accordion Arrays: Selective Compression of Unicode Arrays in Java

This paper presents accordion arrays, a straightforward and effective memory compression technique targeting Unicode-bas

Publisher: Association for Computing Machinery | Tags: java

BeanConnect V2.0: Technical Overview

With the product BeanConnect 2.0, Fujitsu Siemens Computers offers software which complies with the JCA 1.5 specificatio

Publisher: Fujitsu Siemens | Tags: application server, applications, computers, fujitsu, java, server, software

Continuous Performance Management in Eclipse

Continuous performance management ("CPM") isn't a myth - it's a proven method to help your business find and resolve iss

Publisher: Quest Software | Tags: cpm, java, management

ConTest Listeners: A Concurrency-Oriented Infrastructure for Java Test and Heal Tools

With the proliferation of the new multi-core personal computers, and the explosion of the usage of highly concurrent mac

Publisher: Association for Computing Machinery | Tags: infrastructure, java

Association for Computing Machinery White Papers

Featured white papers

The Value of Location Intelligence in the Communications Industry

Pitney Bowes

Public Services are under pressure, the challenge is to do more with less. How do you improve citizen satisfaction, increase cost efficiencies and improve service delivery? The power of location intelligence is helping many local authorities...

Download now »
Best Practices for Translating Customer Satisfaction into Revenue

Citrix Online

Today's support organisations are focused on two top-level metrics: financial results and customer satisfaction. For most, it's easy to track financial performance, but customer satisfaction is akin to speaking a foreign language...

Download now »
HP print solutions and 3M

Hewlett-Packard (HP)

The objective for 3M was to optimize office printing infrastructure at 3M locations worldwide, reduce total cost and environmental footprint. Some of the business benefits acheived by switching to HP print solutions...

Download now »