Sciweavers

4350 search results - page 684 / 870
» Case studies for contract-based systems
Sort
View
SOSE
2006
IEEE
15 years 10 months ago
Service Oriented Evolutions and Analyses of Design Patterns
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
Jing Dong, Sheng Yang, Dushyant S. Lad, Yongtao Su...
GRAPHITE
2006
ACM
15 years 10 months ago
Methodologies for immersive robot programming in an augmented reality environment
—Advancements in robotics have gained much momentum in recent years. Industrial robotic systems are increasingly being used outside the factory floor, evident by the growing pres...
Soh-Khim Ong, J. W. S. Chong, Andrew Y. C. Nee
ICSM
2005
IEEE
15 years 9 months ago
The Conceptual Cohesion of Classes
While often defined in informal ways, software cohesion reflects important properties of modules in a software system. Cohesion measurement has been used for quality assessment, f...
Andrian Marcus, Denys Poshyvanyk
ISDA
2005
IEEE
15 years 9 months ago
Smart Archive: a Component-based Data Mining Application Framework
Implementation of data mining applications is a challenging and complicated task, and the applications are often built from scratch. In this paper, a component-based application f...
Perttu Laurinen, Lauri Tuovinen, Juha Röning
SEFM
2005
IEEE
15 years 9 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly