We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property of interest. It then automatically creates abstractions of C code using iterative refinement, based on the given property

This document is an Internet-Draft. Internet-Drafts are working documents of the Internet Engineering Task Force (IETF), its areas, and its working groups. Note that other groups may also distribute working documents as Internet-Drafts. Internet-Drafts are draft documents valid for a maximum of six

the most similar projects to the one for which a prediction is required. Similarity is defined as Euclidean distance in n-dimensional space where n is the number of project features. Each dimension is standardized so all dimensions have equal weight. The known effort values of the nearest neighbors

Proceedings of the IEEE January 2003 The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple view models used in all phases of the development process. Models explicitly represent the embedded software and the environment

. The internal components of a semantic web are “light weight”, and may be of less quality standards than the externally visible modules. In fact the internal components are generated from external (ontological) component. That’s the reason agile development approaches such as feature driven development

that provides a set of concepts for modeling the subject matter, a set of guidelines for using such concepts, and tool support to assist the developer. In this paper, we present a COTS-Aware Requirements Engineering (CARE) approach that explicitly supports the use of COTS components. Our CARE approach

Current requirements engineering (RE) practice in industry lacks the availability of an integrated guide that defines and supports the requirements engineering part of embedded system development. Therefore, the RE part of a development project is not as structured and defined as desired

Obtaining valid data on customer needs and translating it into optimum product functionality is always a challenge, but especially so when the customers are geographically, culturally, and functionally diverse. Digital's Corporate Telecommunications Software Engineering (CTSE) used groupware

long-standing relationships with (Corwin and Schultz (2005)). In the same spirit, networks feature prominently in the venture capital industry. VCs tend to syndicate their investments with other VCs, rather than investing alone (Lerner (1994a)). They are thus bound by their current and past investments

required behavior in interaction with its actors. A scenario is an example of execution involving a system and its actors. A scenario may be defined with the intention that it should be supported or the intention that it should be avoided. Scenarios can thus be used to validate functional as well as non