APSEC
2003
IEEE
14 years 4 months ago
2003
IEEE
Today, the syntax of visual specification languages such as UML is typically defined using meta-modelling techniques. However, this kind of syntax definition has drawbacks. In par...
APSEC
2003
IEEE
14 years 4 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...
APSEC
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
APSEC
2003
IEEE
14 years 5 months ago
2003
IEEE
APSEC
2003
IEEE
14 years 5 months ago
2003
IEEE
Current IP phone architectures which bring phone services to a distributed open environment are eraltively static and do not scale well. An IP phone environment should be more dyn...
APSEC
2003
IEEE
14 years 5 months ago
2003
IEEE
For software maintenance and evolution, a common problem is to understand how each requirement is implemented in the source code. The basic solution of this problem is to find the...
APSEC
2003
IEEE
14 years 5 months ago
2003
IEEE
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...
APSEC
2003
IEEE
14 years 5 months ago
2003
IEEE
APSEC
2003
IEEE
14 years 5 months ago
2003
IEEE
This paper describes a process for selecting and evaluating candidates for component based software engineering. The process is aimed at developers sourcing components from third ...
APSEC
2003
IEEE
14 years 5 months ago
2003
IEEE
The programmable service for Internet telephony (VoIP) allows end-users or third parties to define their own customized services. However, it imposes a serious drawback that serv...