![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
34. SEW 2011: Limerick, Ireland
- James L. Rash, Christopher A. Rouff:
34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011. IEEE Computer Society 2011, ISBN 978-0-7695-4627-8
Requirements Specification & Analysis 1
- Nour Ali
, Emilio Tuosto:
Architectural Models of Ambient-PRISMA in Channel Ambient Calculus. 1-10 - Emil Vassev, Mike Hinchey
, Dharini Balasubramaniam, Simon Dobson
:
An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. 11-18 - Dusan Savic
, Ilija Antovic
, Sinisa Vlajic, Vojislav Stanojevic, Milos Milic
:
Language for Use Case Specification. 19-26 - Prabhu Shankar Kaliappan, Hartmut König:
An Approach to Synchronize UML-Based Design Components for Model-Driven Protocol Development. 27-35
Security
- Stephan Windmüller
:
Offline Validation of Firewalls. 36-41 - Andrew J. Kornecki, Janusz Zalewski, Wendy F. Stevenson:
Availability Assessment of Embedded Systems with Security Vulnerabilities. 42-47
Software Quality Assurance 1
- Francesca Arcelli Fontana, Stefano Maggioni:
Metrics and Antipatterns for Software Quality Evaluation. 48-56 - Markus Doedt, Bernhard Steffen:
Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective. 57-66
Special Session
- Tiziana Margaria
, Bernhard Steffen:
Special Session on "Simplification through Change of Perspective". 67-68 - Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci
:
A Change of Perspective Yields Formal Analysis. 69-76 - Ina Schaefer, Anna-Lena Lamprecht, Tiziana Margaria
:
Constraint-oriented Variability Modeling. 77-83 - Bernhard Steffen, Johannes Neubauer:
Simplified Validation of Emergent Systems through Automata Learning-Based Testing. 84-91
Software Development and Maintenance
- João Carlos Cunha
, Sérgio Cruz, Marco Costa, Ana Rita Rodrigues, Marco Vieira
:
Implementing Software Effort Estimation in a Medium-sized Company. 92-96 - Benoit Gaudin, Alessandra Bagnato
:
Software Maintenance through Supervisory Control. 97-105 - Zdravko Karakehayov, Emil Vassev:
Energy Efficiency with Runtime Models for Energy-aware Embedded Systems. 106-111
Software Reuse
- Marco Vieira
, Henrique Madeira
, Sérgio Cruz, Marco Costa, João Carlos Cunha
:
Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics. 112-116 - Kevin P. Adams, Denis Gracanin
:
Towards a Framework for Weapon Control Systems. 117-121
Software Quality Assurance 2
- Maurice H. ter Beek
, Stefania Gnesi
, Alessandro Fantechi, José Luiz Fiadeiro:
Variability and Rigour in Service Computing Engineering. 122-127 - Maximiliano Cristiá
, Pablo Albertengo, Claudia S. Frydman, Brian Plüss, Pablo Rodríguez Monetti:
Applying the Test Template Framework to Aerospace Software. 128-137 - Markland J. Benson:
Toward Intelligent Software Defect Detection - Learning Software Defects by Example. 138-142
Requirements Specification & Analysis 2
- Stephen C. Fortier, Gregory L. Shaw:
Using Modeling and Simulation to Define Information Requirements for Incident Response for Chemical Facilities. 143-150
![](https://dblp.org/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.