default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInnovations in Systems and Software Engineering, Volume 4
Volume 4, Number 1, April 2008
- Michael G. Hinchey
:
Introduction to special issue: selected papers from SEW-31. 1 - Reinhold Plösch, Harald Gruber, Alexander Hentschel, Christian Körner, Gustav Pomberger, Stefan Schiffer, Matthias Saft, Stephan Storck:
The EMISQ method and its tool support-expert-based evaluation of internal software quality. 3-15 - Ana Sofia C. Marçal, Bruno Celso C. de Freitas, Felipe Santana Furtado Soares, Maria Elizabeth Sucupira Furtado, Teresa M. Maciel, Arnaldo Dias Belchior:
Blending Scrum practices and CMMI project management process areas. 17-29 - Gabriela Robiolo, Ricardo Orosco:
Employing use cases to early estimate effort with simpler metrics. 31-43 - John D. Carter, William B. Gardner:
Converting scenarios to CSP traces with Mise en Scene for requirements-based programming. 45-70 - Neelam Soundarajan, Jason O. Hallstrom, Guoqiang Shu, Adem Delibas:
Patterns: from system design to software testing. 71-85 - Peter T. Breuer, Simon Pickin:
Approximate verification in an open source world. 87-105 - Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues:
Automatic framework generation for hard real-time applications. 107-122
Volume 4, Number 2, June 2008
- Antonio Cerone, Paul Curzon:
Formal methods for interactive systems. 123 - Judy Bowen, Steve Reeves:
Formal models for user interface design artefacts. 125-141 - Rimvydas Ruksenas, Paul Curzon, Ann Blandford:
Modelling and analysing cognitive causes of security breaches. 143-160 - Doron Drusinsky, James Bret Michael, Man-tak Shing:
A framework for computer-aided validation. 161-168 - Tim Menzies, Markland Benson, Ken Costello, Christina Moats, Melissa Northey, Julian Richardson:
Learning better IV&V practices. 169-183
Volume 4, Number 3, September 2008
- Jean-Michel Bruel, Agusti Canals, Sébastien Gérard, Isabelle Perseil:
Introduction to special issue: papers from UML&FM. 185-187 - Hung Ledang, Hubert Dubois, Sébastien Gérard:
Towards a traceability model in a MARTE-based methodology for real-time embedded systems. 189-193 - Isabelle Perseil, Laurent Pautet:
Foundations of a new software engineering method for real-time systems. 195-202 - Tian Zhang, Frédéric Jouault, Jean Bézivin, Xuandong Li:
An MDE-based method for bridging different design notations. 203-213 - Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser:
Safe design of high-performance embedded systems in an MDE framework. 215-222 - Stefan Gruner:
From use cases to test cases via meta model-based reasoning. 223-231 - Kristian Bisgaard Lassen, Simon Tjell:
Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets. 233-240 - Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu:
Validation of requirement models by automatic prototyping. 241-248 - Ralf Buschermöhle, Jörg Oelerink:
Rich meta object facility formal integration platform: syntax, semantics and implementation. 249-257 - Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières:
Incremental development of UML specifications using operation refinements. 259-266 - David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge:
A formal and sound transformation from Focal to UML : an application to airport security regulations. 267-274 - Christophe Sibertin-Blanc, Nabil Hameurlain, Omar Tahir:
Ambiguity and structural properties of basic sequence diagrams. 275-284 - Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis:
Extending statecharts with process algebra operators. 285-292 - Yann Thierry-Mieg, Lom-Messan Hillah:
UML behavioral consistency checking using instantiable Petri nets. 293-300 - Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober:
Timing analysis and validation with UML: the case of the embedded MARS bus manager. 301-308 - Frédéric Mallet:
Clock constraint specification language: specifying clock constraints with UML/MARTE. 309-314
Volume 4, Number 4, December 2008
- Luiz André P. Paes Leme, Daniela F. Brauner, Karin Koogan Breitman, Marco A. Casanova, Alexandre Gazola:
Matching object catalogues. 315-328 - Ronald T. Kneusel:
Extending interactive data language with higher-order functions. 329-339 - Huibiao Zhu, Jifeng He, Jonathan P. Bowen:
From algebraic semantics to denotational semantics for Verilog. 341-360 - Sven Jörges, Tiziana Margaria, Bernhard Steffen:
Genesys: service-oriented construction of property conform code generators. 361-384 - Bernd J. Krämer:
Component meets service: what does the mongrel look like? 385-394
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-11-25 22:47 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:
