default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInnovations in Systems and Software Engineering, Volume 5
Volume 5, Number 1, March 2009
- Ricardo Jorge Machado
, Flávio Rech Wagner, Rick Kazman:
Introduction to special issue: model-based development methodologies. 1-3 - Frédéric Jouault, Jean Bézivin, Mikaël Barbero:
Towards an advanced model-driven engineering toolbox. 5-12 - Jens Bæk Jørgensen, Simon Tjell, João M. Fernandes:
Formal requirements modelling with executable use cases and coloured Petri nets. 13-25 - Avi Soffer, Dov Dori:
Bridging the requirements-implementation modeling gap with object-process methodology. 27-34 - Elvinia Riccobene, Patrizia Scandurra:
Model transformations in the UPES/UPSoC development process for embedded systems. 35-47 - Dragos Truscan, Torbjörn Lundkvist, Marcus Alanen, Kim Sandström, Ivan Porres, Johan Lilius:
MDE for SoC design. 49-64 - Alexandre Bragança, Ricardo Jorge Machado:
A model-driven approach for the derivation of architectural requirements of software product lines. 65-78 - Lidia Fuentes, Nadia Gámez, Pablo Sánchez:
Aspect-oriented design and implementation of context-aware pervasive applications. 79-93
Volume 5, Number 2, June 2009
- Janusz Zalewski:
Special section on real-time safety-critical systems. 95-96 - Roman Gumzej, Wolfgang A. Halang:
A safety shell for UML-RT projects structure and methods of the corresponding UML pattern. 97-105 - Roy Sterritt, Mike Hinchey:
Adaptive reflex autonomicity for real-time systems. 107-115 - Angelo Furfaro, Libero Nigro:
A development methodology for embedded systems based on RT-DEVS. 117-127 - Martin Kot:
Modeling selected real-time database concurrency control protocols in Uppaal. 129-138 - Ondrej Rysavý, Jaroslav Ráb:
A formal model of composing components: the TLA+ approach. 139-148 - Andrew J. Kornecki, Janusz Zalewski:
Certification of software for real-time safety-critical systems: state of the art. 149-161
Volume 5, Number 3, September 2009
- Frédéric Boniol, Jérôme Ermont, Claire Pagetti:
Verification of real-time systems with preemption: negative and positive results. 163-179 - Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki:
Using formal methods to increase confidence in a home network system implementation: a case study. 181-196 - Ahmed Rahni, Emmanuel Grolleau, Michaël Richard:
An efficient response-time analysis for real-time transactions with fixed priority assignment. 197-209 - Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen:
Tool-supported enhancement of diagnosis in model-driven verification. 211-228 - Jean-Michel Bruel, Agusti Canals, Sébastien Gérard, Isabelle Perseil:
Introduction to special issue: papers from UML&FM. 229
Volume 5, Number 4, December 2009
- Hui Liang, Jin Song Dong, Jing Sun, W. Eric Wong:
Software monitoring through formal specification animation. 231-241 - Norman F. Schneidewind:
Analysis of object-oriented software reliability model development. 243-253 - Fernando Valles-Barajas:
Use of a lightweight formal method to model the static aspects of state machines. 255-264 - Robert Bucholz, Phillip A. Laplante:
A dynamic capture-recapture model for software defect prediction. 265-270 - Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen:
PTSC: probability, time and shared-variable concurrency. 271-284
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
