Journal: Transactions of the SDPS

Volume 10, Issue 4

1 -- 0Tiziana Margaria. Guest Editorial
3 -- 11Gottfried Vossen. From Processes via Workflows to Services: an Overview
13 -- 33Leo Wolf, Regina Overberg, Pieter J. Toussaint, Eduard Hoenkamp, Hilke Reckman. Design of the Narrator System: Processing, Storing and Retrieving Medical Narrative Data
35 -- 45Jens Hündling, Mathias Weske. Modeling Quality of Services in Service-Oriented Environments
47 -- 54Alvaro E. Arenas, Juan Bicarregui, Tiziana Margaria. The FMICS View on the Verified Software Repository
55 -- 67María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel. On the Evolution of reliability Methods for Critical Software
69 -- 88Alvaro E. Arenas, Juan Bicarregui. Applying Unifying Theories of Programming to Real-Time Programming

Volume 10, Issue 3

1 -- 16Chien-Jong Shih, Chih-Feng Lin, Hsin-Yi Chen. An Integrated Design of Flexure Hinges and Topology Optimization for monolithic compliant Mechanism
17 -- 31Cristiane Gattaz Bueno, J. Amato Neto, Mauro Catharino, Katuchi Techima, Renato Coral Sampaio. A Dynamic Relationship Framework for Innovation: Implications for the Brazilian Aerospace Strategy Operations
33 -- 45Susanne Heyer. Pedagogical Enrichment of Information Objects
47 -- 59Tolga Tuncer, Yalcin Tuncer, Murat M. Tanik. On the Nature of Formal System Decomposition Principles and their potential Applications to the Basis of Carcinogenesis
61 -- 77Ching-Song Don Wei, Sam Yuan Sung, Simon Doong, Peter A. Ng. Integration of Structured and Unstructured Text Data in a Clinical Information System
79 -- 85G. Sudha Sadasivam. A Grid-Based Approach to Paraloading using Mirrored CORBA Servers
87 -- 95Tad Gonsalves, Kiyoshi Itoh. Simulated Annealing in the Optimization of Collaborative Systems Operation

Volume 10, Issue 2

1 -- 19X. Jin, Michail Kagioglou, Ghassan Aouad. Towards a Dynamic Healthcare Process: from Requirement Capture to Simulation
21 -- 34Jörn Altmann, Deepak Goel. Economizing ISP interconnections at Internet Exchange Points
35 -- 44Tad Gonsalves, Kiyoshi Itoh. Heuristics and Qualitative Rules for the Performance Design of Collaborative Systems
45 -- 55Taesik Lee. Optimal Strategy for Eliminating Coupling Terms from a Design Matrix
57 -- 78Markus Heller, René Wörzberger. A Management System Supporting Interorganizational Cooperative Development Processes in Chemical Engineering
79 -- 91Niels Jørgensen. The Boeing 777: no Chainsaw Massacres, please!

Volume 10, Issue 1

1 -- 15Michele Banci, Alessandro Fantechi, Stefania Gnesi. Statecharts Composition to Model Topologically Distributed Applications
17 -- 30Erhan Önal, Noé Lopez-Benitez. A Multi-Lingual Translation System for Real-World Images
31 -- 43Ayesha Manzer, Ali H. Dogru. Process Maintenance through Component-Process Replacement
45 -- 56Bedir Tekinerdogan, Mehmet Aksit. Integrating the Concept of Synthesis in the Software Architecture Design Process
57 -- 69Andrey R. Pimentel, Paulo Cézar Stadzisz. Application of the Independence Axiom on the Design of Object-Oriented Software using the Axiomatic Design Theory
71 -- 78Fortune S. Mhlanga. A Developing Country's Information and Communication Technology Infrastructure in Perspective: a Vision for the 21st Century
79 -- 92Ryo Kawabata, Kiyoshi Itoh. Diagrammatic Education for Software Engineering