Journal: ISSE

Volume 5, Issue 4

231 -- 241Hui Liang, Jin Song Dong, Jing Sun, W. Eric Wong. Software monitoring through formal specification animation
243 -- 253Norman F. Schneidewind. Analysis of object-oriented software reliability model development
255 -- 264Fernando Valles-Barajas. Use of a lightweight formal method to model the static aspects of state machines
265 -- 270Robert Bucholz, Phillip A. Laplante. A dynamic capture-recapture model for software defect prediction
271 -- 284Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen. PTSC: probability, time and shared-variable concurrency

Volume 5, Issue 3

163 -- 179Frédéric Boniol, Jérôme Ermont, Claire Pagetti. Verification of real-time systems with preemption: negative and positive results
181 -- 196Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki. Using formal methods to increase confidence in a home network system implementation: a case study
197 -- 209Ahmed Rahni, Emmanuel Grolleau, Michaël Richard. An efficient response-time analysis for real-time transactions with fixed priority assignment
211 -- 228Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen. Tool-supported enhancement of diagnosis in model-driven verification
229 -- 0Jean-Michel Bruel, Agusti Canals, Sébastien Gérard, Isabelle Perseil. Introduction to special issue: papers from UML&FM

Volume 5, Issue 2

95 -- 96Janusz Zalewski. Special section on real-time safety-critical systems
97 -- 105Roman Gumzej, Wolfgang A. Halang. A safety shell for UML-RT projects structure and methods of the corresponding UML pattern
107 -- 115Roy Sterritt, Mike Hinchey. Adaptive reflex autonomicity for real-time systems
117 -- 127Angelo Furfaro, Libero Nigro. A development methodology for embedded systems based on RT-DEVS
129 -- 138Martin Kot. Modeling selected real-time database concurrency control protocols in Uppaal
139 -- 148Ondrej Rysavy, Jaroslav Ráb. A formal model of composing components: the TLA:::+::: approach
149 -- 161Andrew J. Kornecki, Janusz Zalewski. Certification of software for real-time safety-critical systems: state of the art

Volume 5, Issue 1

1 -- 3Ricardo Jorge Machado, Flávio Rech Wagner, Rick Kazman. Introduction to special issue: model-based development methodologies
5 -- 12Frédéric Jouault, Jean Bézivin, Mikaël Barbero. Towards an advanced model-driven engineering toolbox
13 -- 25Jens Bæk Jørgensen, Simon Tjell, João M. Fernandes. Formal requirements modelling with executable use cases and coloured Petri nets
27 -- 34Avi Soffer, Dov Dori. Bridging the requirements-implementation modeling gap with object-process methodology
35 -- 47Elvinia Riccobene, Patrizia Scandurra. Model transformations in the UPES/UPSoC development process for embedded systems
49 -- 64Dragos Truscan, Torbjörn Lundkvist, Marcus Alanen, Kim Sandström, Ivan Porres, Johan Lilius. MDE for SoC design
65 -- 78Alexandre Bragança, Ricardo Jorge Machado. A model-driven approach for the derivation of architectural requirements of software product lines
79 -- 93Lidia Fuentes, Nadia Gámez, Pablo Sánchez. Aspect-oriented design and implementation of context-aware pervasive applications