![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Innovations in Systems and Software Engineering, Volume 8
Volume 8, Number 1, March 2012
- João M. Fernandes
, Dov Dori
:
Model-based approaches and frameworks for embedded software systems. 1-2 - Marsha Chechik, Shiva Nejati
, Mehrdad Sabetzadeh
:
A relationship-based approach to model integration. 3-18 - Francisco Assis Moreira do Nascimento
, Marcio Ferreira da Silva Oliveira, Flávio Rech Wagner:
A model-driven engineering framework for embedded systems design. 19-33 - Andreas Polzer, Daniel Merschen, Goetz Botterweck
, Andreas Pleuss, Jacques Thomas, Bernd Hedenetz, Stefan Kowalewski:
Managing complexity and variability of a model-based embedded software product line. 35-49 - Sofia Azevedo, Ricardo Jorge Machado
, Alexandre Bragança
, Hugo Ribeiro:
On the refinement of use case models with variability support. 51-64 - Raphael Mannadiar, Hans Vangheluwe
:
Modular artifact synthesis from domain-specific models. 65-77 - Christo Angelov, Wei Guan, Nicolae Marian, Feng Zhou, Krzysztof Sierszecki, Søren Top
:
Component-based analysis of embedded control applications. 79-92
Volume 8, Number 2, June 2012
- Ahmed Seffah, Mohamed Taleb:
Tracing the evolution of HCI patterns as an interaction design tool. 93-109 - Ying Zhang, Chenyi Zhang
, Jun Pang, Sjouke Mauw
:
Game-based verification of contract signing protocols with minimal messages. 111-124 - Norman F. Schneidewind:
Proposed future Internet. 125-173
Volume 8, Number 3, September 2012
- Jon G. Hall
, Lucia Rapanotti:
Software engineering as the design theoretic transformation of software problems. 175-193 - Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi, Ali Mili:
Invariant relations, invariant functions, and loop functions. 195-212 - Jairus Hihn, Debarati Chattopadhyay, Robert Shishko:
Risk identification and scoring in early-lifecycle concurrent engineering teams. 213-221 - W. Roger Davis, Phillip A. Laplante, Bo Ingvar Sandén:
A real-time virtual machine implementation for small microcontrollers. 223-241
Volume 8, Number 4, December 2012
- Forrest Shull, Raimund L. Feldmann, Carolyn B. Seaman, Myrna Regardie, Sally Godfrey:
Fully employing software inspections data. 243-254 - Mikael Lindvall, William C. Stratton, Deane E. Sibol
, Christopher Ackermann, W. Mark Reid, Dharmalingam Ganesan, David McComas, Maureen Bartholomew, Sally Godfrey:
Connecting research and practice: an experience report on research infusion with software architecture visualization and evaluation. 255-277 - Mitrabinda Ray, Durga Prasad Mohapatra
:
Code-based prioritization: a pre-testing effort to minimize post-release failures. 279-292 - Muhammad Fahad Khan, Saira Beg
:
Transference and retrieval of voice message over low signal strength in satellite communication. 293-299 - Hongmin Ren, Jin Liu
:
Service substitutability analysis based on behavior automata. 301-308 - Lorraine E. Prokop, Robert L. Hirsh, Carlos Pagan:
Requirements-based execution time prediction of a partitioned real-time system using I/O and SLOC estimates. 309-320
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.