Sciweavers

APSEC
2007
IEEE
14 years 6 months ago
An Executable UML with OCL-based Action Semantics Language
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...
Ke Jiang, Lei Zhang, Shigeru Miyake
APSEC
2007
IEEE
14 years 6 months ago
Accountability and Traceability in Global Software Engineering (ATGSE2007)
An Overview of the new workshop on Accountability and Traceability in Global Software Engineering (ATGSE2007) will be introduced here.
Katsuro Inoue, Mike Barker
APSEC
2007
IEEE
14 years 6 months ago
1st International Workshop on Software Patterns and Quality (SPAQu'07)
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...
Hironori Washizaki, Nobukazu Yoshioka
APSEC
2007
IEEE
14 years 6 months ago
Coordination-Policy Based Composed System Behavior Derivation
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
Yiming Lau, Wenyun Zhao, Xin Peng, Zhixiong Jiang,...
APSEC
2007
IEEE
14 years 6 months ago
E-AoSAS++ and its Software Development Environment
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...
Masami Noro, Atsushi Sawada, Yoshinari Hachisu, Ma...
APSEC
2007
IEEE
14 years 6 months ago
A Six Sigma Framework for Software Process Improvements and its Implementation
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, ...
Zhedan Pan, Hyuncheol Park, Jongmoon Baik, Ho-Jin ...
APSEC
2007
IEEE
14 years 6 months ago
Towards Instant Automatic Model Refinement Based on OCL
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...
Hui Song, Yanchun Sun, Li Zhou, Gang Huang
APSEC
2007
IEEE
14 years 6 months ago
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
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...
João M. Fernandes, Jens Bæk Jø...
AGILEDC
2007
IEEE
14 years 6 months ago
The UCD Perspective: Before and After Agile
In the agile and user-centered design (UCD) communities it is often believed that agile’s quick development cycles do not allow time to fully understand our user’s needs. In o...
Heather Williams, Andrew Ferguson