default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID33. SEW 2009: Skövde, Sweden
- Vera Werneck, Karin K. Breitman:
33rd Annual IEEE Software Engineering Workshop, SEW 2009, Skövde, Sweden, 13-14 October, 2009. IEEE Computer Society 2009, ISBN 978-1-4244-6863-8
Software Requirements and Modeling
- Christian Fotsing, Annie Geniet, Guy Vidal-Naquet:
A Realistic Model of Real-Time Systems for Efficient Scheduling. 3-12
Software Architectures
- Leonardo A. Amaral, Fabiano Hessel
, Eduardo A. Bezerra, Jerônimo C. Corrêa, Oliver B. Longhi, Thiago F. O. Dias:
An Adaptative Framework Architecture for RFID Applications. 15-24 - João Alberto Neves dos Santos Filho, Ricardo Choren Noya, Karin Koogan Breitman:
AgentCross: A Platform for the Development of Crosscutting Concerns in Multi-agent Systems. 25-32
Software Engineering Management
- Shawn A. Bohner, Sriram Mohan:
Model-Based Engineering of Software: Three Productivity Perspectives. 35-44 - Rogério T. O. Lacerda, Leonardo Ensslin, Sandra Rolim Ensslin:
A Study Case about a Software Project Management Success Metrics. 45-54
Keynote Address
- Roy Sterritt:
Autonomous and Autonomic Systems: Paradigm for Engineering Effective Software-Based Systems? 57
Change Management and Testing
- Qin Li, Huibiao Zhu:
Towards Specification and Refinement of Contracts with Environment Changes. 61-68 - Marcelo Medeiros Eler, André Takeshi Endo, Paulo César Masiero, Márcio Eduardo Delamaro, José Carlos Maldonado, Auri Marcelo Rizzo Vincenzi, Marcos Lordello Chaim, Delano M. Beder:
JaBUTiService: A Web Service for Structural Testing of Java Programs. 69-76
Formal Methods in Software Engineering Practice
- Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa:
Automatic Classification of Software Change Request Using Multi-label Machine Learning Methods. 79-86 - Emil Vassev, Mike Hinchey:
Complexity Reduction in Developing Autonomic Systems with ASSL. 87-93 - Barbara Gallina, Nicolas Guelfi, Pierre Kelsen:
Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. 94-103 - Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders:
Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. 104-114 - José Viterbo Filho, Markus Endler:
Decentralized Reasoning in Ambient Intelligence. 115-124 - Elaine Alves de Carvalho, Tatiana Escovedo, Rubens N. Melo:
Using Business Processes in System Requirements Definition. 125-130 - Methanias Colaço Júnior, Manoel Gomes de Mendonça Neto, Francisco Rodrigues:
Data Warehousing in an Industrial Software Development Environment. 131-135 - Raquel Cupolillo Simões Sousa, A. L. F. da Cunha, R. F. A. Martins, Vera Maria Benjamim Werneck, Luiz Marcio Cysneiros:
Evaluating MaSE Methodology in the Requirements Identification. 136-143 - Ana Carolina Almeida, Sérgio Lifschitz, Karin K. Breitman:
A Knowledge Representation and Data Provenance Model to Self-Tuning Database Systems. 144-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-16 23:34 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:
