Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...
Marco Repetto, Christian Vecchiola, Antonio Boccal...
Measuring structural design properties of a software system, such as coupling, cohesion, or complexity, is a promising approach towards early quality assessments. To use such meas...
— A generalized kinematic modeling framework, called Mechanism_Model, has been developed for use in the CLARAty robotic reusable software. Mechanism_Model supports a wide range o...
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Technology to support system comprehension tends to reflect either a "bottom-up" or "top-down" approach. Bottom-up approaches attempt to derive system models f...
Kurt C. Wallnau, Paul C. Clements, Edwin J. Morris...