APSEC
2005
IEEE
13 years 10 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
APSEC
2005
IEEE
13 years 10 months ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
APSEC
2005
IEEE
13 years 10 months ago
2005
IEEE
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. The reuse and co...
APSEC
2005
IEEE
13 years 10 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
APSEC
2005
IEEE
13 years 10 months ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...
APSEC
2005
IEEE
13 years 10 months ago
2005
IEEE
Exception handling design is an important but difficult subject in software development. In Java software development, the use of checked exceptions exacerbates the difficulty. In...
APSEC
2005
IEEE
13 years 10 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
APSEC
2005
IEEE
13 years 10 months ago
2005
IEEE
Web Services together with Service-Oriented Architectures (SOA) are playing an important role in the future of distributed computing, significantly impacting software development ...
APSEC
2005
IEEE
13 years 10 months ago
2005
IEEE
APSEC
2005
IEEE
13 years 10 months ago
2005
IEEE
Software engineers have to select some appropriate development technologies to use in the work; however, engineers sometimes cannot find the appropriate technologies because there...