default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID34. 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
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 2025-12-04 22:20 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:
