APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
An Overview of the new workshop on Accountability and Traceability in Global Software Engineering (ATGSE2007) will be introduced here.
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
Although numbers of software pattern catalogues and languages have been published, little is known about quality of patterns, quality by patterns and quality aspects of pattern ac...
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
E-AoSAS++ is an aspect-oriented software architecture style for embedded software. It basically gives the style in which a set of state transition machines organizes a software. W...
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
Six Sigma has been adopted by many software development organizations to identify problems in software projects and processes, find optimal solutions for the identified problems, ...
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...