tool algebraic White Papers

Showing results 1 to 2 of 2

Relevance
Date
Popularity

silicon.com > White Papers > Software and Web Development > Software Development Tools

Developing and Debugging Algebraic Specifications for Java Classes

...formal specifications, this paper describes and evaluates a tool to help programmers write and debug algebraic specifications. Given an algebraic specification of a class... Read more

Feb 1, 2009

silicon.com > White Papers > Software and Web Development > Software Development Tools

UML Models to CSP Models in MOMENT2-GT

MOMENT2 is an algebraic model management framework that permits...methods and model-based industrial tools that permits taking the best... Read more

Nov 30, 2008

Stories on tool algebraic

Related tags

Featured white papers

IBM XIV® Storage System: Ease of Management Reinvented

IBM

Managing a storage system has become a costly and complicated task. The direct labour cost associated with its management is increasing. In addition, organizations incur hidden indirect costs due to slow responsiveness, ineffective utilization, and inflexibility. This paper discusses how the IBM XIV Storage System's revolutionary built-in virtualization architecture provides a way to drastically reduce the costs of managing storage systems.

Download now »
Contact Centres: Optimum service at optimum cost

ntl:Telewest Business

Getting the balance right between meeting the inbound call expectations of busy customers and optimising telecoms costs is the goal for many ICT managers. Technology now enables far more powerful and flexible contact centre platforms to be created without the capital outlay required for conventional systems.

Download now »
Orange- customer case study

Pitney Bowes

The ability to leverage location intelligence was critical to the successful rollout of our 3G network as it enabled us to identify potential customers and where they would likely use our enhanced third generation services. As our decision making process was much more informed by location-based data, we could build our network in areas that will serve our customers most effectively.

Download now »