Sciweavers

2493 search results - page 202 / 499
» Tool Support for Design by Contract
Sort
View
ACMICEC
2005
ACM
156views ECommerce» more  ACMICEC 2005»
16 years 3 days ago
Establishing and maintaining compatibility in service oriented business collaboration
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
Bart Orriëns, Jian Yang
SEMWEB
2001
Springer
15 years 11 months ago
A semantic model for specifying data-intensive Web applications using WebML
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data or...
Sara Comai, Piero Fraternali
ICECCS
2007
IEEE
154views Hardware» more  ICECCS 2007»
16 years 26 days ago
A light-weight static approach to analyzing UML behavioral properties
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin L...
OOPSLA
2007
Springer
16 years 21 days ago
CUTE: C++ unit testing easier
This article describes the design and use of the CUTE C++ testing framework and its integration into the Eclipse C++ Development Tooling. Unit testing supports code quality and is...
Peter Sommerlad, Emanuel Graf
GECCO
2004
Springer
15 years 12 months ago
Looking Under the EA Hood with Price's Equation
Abstract. In this paper we show how tools based on extensions of Price’s equation allow us to look inside production-level EAs to see how selection, representation, and reproduct...
Jeffrey K. Bassett, Mitchell A. Potter, Kenneth A....