default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID38th EUROMICRO-SEAA 2012: Cesme, Izmir, Turkey
- Vittorio Cortellessa, Henry Muccini, Onur Demirörs:
38th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2012, Cesme, Izmir, Turkey, September 5-8, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2451-9
Embedded Software Engineering (ESE)
Model-Based Development
- Jair Gonzalez-Pina, Rabéa Ameur-Boulifa, Renaud Pacalet:
DiplodocusDF, a Domain-Specific Modelling Language for Software Defined Radio Applications. 1-8 - Rania Mzid
, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid:
A MDD Approach for RTOS Integration on Valid Real-Time Design Model. 9-16 - Carlos Gomez, Julien DeAntoni, Frédéric Mallet:
Multi-view Power Modeling Based on UML, MARTE and SysML. 17-20
Formal Methods
- Alessandro Cimatti, Stefano Tonetta:
A Property-Based Proof System for Contract-Based Design. 21-28 - Robert de Groote, Jan Kuper, Hajo Broersma, Gerard J. M. Smit:
Max-Plus Algebraic Throughput Analysis of Synchronous Dataflow Graphs. 29-38
Certification and Tool Support
- Ricardo Garibay-Martínez, Luis Lino Ferreira, Luís Miguel Pinho:
A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems. 39-46 - Christopher Preschern, Kurt Dietrich:
Structuring Modular Safety Software Certification by Using Common Criteria Concepts. 47-50 - Andreas Hjertström, Dag Nyström, Mikael Sjödin:
Database Proxy Tool Support in an AUTOSAR Development Environment. 51-54
Analysis and Synthesis
- Roland Schatz, Herbert Prähofer:
Analyzing Long-Running Controller Applications for Specification Violations Based on Deterministic Replay. 55-62 - Ramin Etemaadi, Michel R. V. Chaudron:
Varying Topology of Component-Based System Architectures Using Metaheuristic Optimization. 63-70 - Luka Lednicki, Ivica Crnkovic, Mario Zagar:
Towards Automatic Synthesis of Hardware-Specific Code in Component-Based Embedded Systems. 71-74 - Roland Mader, Gerhard Grießnig, Eric Armengaud, Andrea Leitner, Christian Kreiner, Quentin Bourrouilh, Christian Steger, Reinhold Weiss:
A Bridge from System to Software Development for Safety-Critical Automotive Embedded Systems. 75-79 - Rafia Inam, Jukka Mäki-Turja, Mikael Sjödin, Jirí Kuncar:
Real-Time Component Integration Using Runnable Virtual Nodes. 80-84
Model-Based Development, Components, and Services (MOCS)
Product Lines
- Leonardo P. Tizzei, Cecília M. F. Rubira, Jaejoon Lee:
An Aspect-Based Feature Model for Architecting Component Product Lines. 85-92 - Wylliams Barbosa Santos, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira:
TIRT: A Traceability Information Retrieval Tool for Software Product Lines Projects. 93-100 - Thiago Fernandes Lins de Medeiros, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira:
CodeScoping: A Source Code Based Tool to Software Product Lines Scoping. 101-104 - Markus Nöbauer, Norbert Seyff, Iris Groher, Deepak Dhungana:
A Lightweight Approach for Product Line Scoping. 105-108
Embedded Systems
- Premek Brada, Kamil Jezek:
Ensuring Component Application Consistency on Small Devices: A Repository-Based Approach. 109-116 - Juraj Feljan, Jan Carlson, Tiberiu Seceleanu:
Towards a Model-Based Approach for Allocating Tasks to Multicore Processors. 117-124
Extra-functional Properties
- Elvinia Riccobene, Pasqualina Potena, Patrizia Scandurra:
Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model. 125-132 - Henning Groenda:
Path Coverage Criteria for Palladio Performance Models. 133-137 - Aurélio Akira Mello Matsui, Straus Michalsky, Marco Aurélio Gerosa:
Using Virtual Machine Security to Reinforce Components Constraints. 138-141
Modeling Components
- Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin:
Toward Model-Based Trade-off Analysis of Non-functional Requirements. 142-149 - Javier Criado, Luis Iribarne, Nicolás Padilla, Javier Troya, Antonio Vallecillo:
An MDE Approach for Runtime Monitoring and Adapting Component-Based Systems: Application to WIMP User Interface Architectures. 150-157 - Kung-Kiu Lau, Cuong M. Tran:
X-MAN: An MDE Tool for Component-Based System Development. 158-165 - Adel Ziani, Brahim Hamid, Jean-Michel Bruel:
A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design. 166-169 - Quyet-Thang Pham, Antoine Beugnard:
Automatic Adaptation of Transformations Based on Type Graph with Multiplicity. 170-174
Frameworks and Architecture
- Tomas Potuzak, Richard Lipka, Premek Brada, Pavel Herout:
Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation Framework. 175-182 - Óscar Mortágua Pereira, Rui L. Aguiar, Maribel Yasmina Santos:
ORCA: Architecture for Business Tier Components Driven by Dynamic Adaptation and Based on Call Level Interfaces. 183-191
Finding and Building Components
- George Kakarontzas, Ioannis Stamelos, Stefanos Skalistis, Athanasios Naskos:
Extracting Components from Open Source: The Component Adaptation Environment (COPE) Approach. 192-199 - Fotis Kokkoras, Konstantinos Ntonas, Apostolos Kritikos, George Kakarontzas, Ioannis Stamelos:
Federated Search for Open Source Software Reuse. 200-203 - Christian Brel, Philippe Renevier-Gonin, Anne-Marie Pinna-Dery, Michel Riveill:
Application and UI Composition Using a Component-Based Description and Annotations. 204-207
Modeling Services and Components
- Mauro Caporuscio:
Engineering Emergent Semantics into Pervasive Resource Discovery. 208-215 - Konstantinos Triantafyllidis, Egor Bondarev, Peter H. N. de With:
Low-Level Profiling and MARTE-Compatible Modeling of Software Components for Real-Time Systems. 216-223 - Stéphane Frénot, Julien Ponge:
LogOS: An Automatic Logging Framework for Service-Oriented Architectures. 224-227 - Viliam Simko, Petr Hnetynka, Tomás Bures, Frantisek Plásil:
FOAM: A Lightweight Method for Verification of Use-Cases. 228-232 - Barbara Gallina, Muhammad Atif Javed, Faiz Ul Muram, Sasikumar Punnekkat:
A Model-Driven Dependability Analysis Method for Component-Based Architectures. 233-240
Special Sessions Papers: Cyber-Physical Systems (Invited Papers)
- Horst F. Wedde:
DEZENT - A Cyber-Physical Approach for Providing Affordable Regenerative Electric Energy in the Near Future. 241-249 - Raphael Maas, Erik Maehle, Karl-Erwin Großpietsch:
Applying the Organic Robot Control Architecture ORCA to Cyber-Physical Systems. 250-257 - Sebastian Senge, Horst F. Wedde:
Bee-Inpired Road Traffic Control as an Example of Swarm Intelligence in Cyber-Physical Systems. 258-265
Software Process and Product Improvement (SPPI)
Agile and Lean Processes
- Teemu Karvonen, Pilar Rodríguez, Pasi Kuvaja, Kirsi Mikkonen, Markku Oivo:
Adapting the Lean Enterprise Self-Assessment Tool for the Software Development Domain. 266-273 - Viktoria Gulliksen Stray, Nils Brede Moe, Aybüke Aurum:
Investigating Daily Team Meetings in Agile Software Projects. 274-281 - Stavros Stavru:
Organizational Values and Agile Methods Deployment. 282-285
Process Improvement and Quality Measurement and Assurance
- Rudolf Ramler, Dietmar Winkler, Martina Schmidt:
Random Test Case Generation and Manual Unit Testing: Substitute or Complement in Retrofitting Tests for Legacy Code? 286-293 - Ahmet Dikici, Oktay Türetken, Onur Demirörs:
A Case Study on Measuring Process Quality: Lessons Learned. 294-297 - Frank Elberzhager, Thomas Bauer:
From Assumptions to Context-Specific Knowledge in the Area of Combined Static and Dynamic Quality Assurance. 298-301 - Giuseppe Destefanis, Roberto Tonelli, Ewan D. Tempero, Giulio Concas, Michele Marchesi:
Micro Pattern Fault-Proneness. 302-306
Process and Product Modeling
- Fritz Stallinger, Robert Neumann:
From Software to Software System Products: An Add-on Process Reference Model for Enhancing ISO/IEC 12207 with Product Management and System-Level Reuse. 307-314 - Edgar Lopes Banhesse, Clênio F. Salviano, Mário Jino:
Towards a Metamodel for Integrating Multiple Models for Process Improvement. 315-318 - Gilbert Regan, Fergal McCaffery, Kevin McDaid, Derek Flood:
The Barriers to Traceability and their Potential Solutions: Towards a Reference Framework. 319-322 - Markus Kelanti, Jari Lehto, Sanja Aaramaa, Pasi Kuvaja:
A Practice for Recording Problem and Solution Domain Requirements in VLSRE. 323-326
Practical Experiences and New Ideas for Process Improvement
- Nauman Bin Ali, Kai Petersen:
A Consolidated Process for Software Process Simulation: State of the Art and Industry Experience. 327-336 - Darja Smite, Torgeir Dingsøyr:
Fostering Cross-site Coordination through Awareness: An Investigation of State-of-the-Practice through a Focus Group Study. 337-344 - Zane Galvina, Darja Smite:
Low Degree of Separation Does Not Guarantee Easy Coordination. 345-348
Special Session: MeSVAM - Measurement as a Strategy for Software Value Management
- Laura Phillips, Aybüke Aurum, Richard Berntsson-Svensson:
Managing Software Quality Requirements. 349-356 - Mónica Villavicencio, Alain Abran:
Software Measurement in Software Engineering Education: A Delphi Study to Develop a List of Teaching Topics and Related Levels of Learning. 357-362 - Rudolf Ramler, Theodorich Kopetzky, Wolfgang Platz:
Value-Based Coverage Measurement in Requirements-Based Testing: Lessons Learned from an Approach Implemented in the TOSCA Testsuite. 363-366
Software Management (SM)
- Panagiota Chatzipetrou, Efi Papatheocharous, Lefteris Angelis, Andreas S. Andreou:
An Investigation of Software Effort Phase Distribution Using Compositional Data Analysis. 367-375 - Claudia de O. Melo, Célio A. Santana, Fabio Kon:
Developers Motivation in Agile Teams. 376-383 - Mumin Hicdurmaz:
A Fuzzy Multi Criteria Decision Making Approach to Software Life Cycle Model Selection. 384-391 - Helena Holmström Olsson, Hiva Allahyari, Jan Bosch:
Climbing the "Stairway to Heaven" - A Mulitiple-Case Study Exploring Barriers in the Transition from Agile Development towards Continuous Deployment of Software. 392-399 - Murat Yilmaz, Rory V. O'Connor:
Towards the Understanding and Classification of the Personality Traits of Software Development Practitioners: Situational Context Cards Approach. 400-405 - Frank Elberzhager, Stephan Kremer, Jürgen Münch, Danilo Assmann:
Guiding Testing Activities by Predicting Defect-Prone Parts Using Product and Inspection Metrics. 406-413 - Andres H. Zapata, Michel R. V. Chaudron:
An Analysis of Accuracy and Learning in Software Project Estimating. 414-421 - Florian Schnitzhofer, Peter Schnitzhofer:
Pocket Estimator - A Commercial Solution to Provide Free Parametric Software Estimation Combining an Expert and a Learning Algorithm. 422-425 - Michael Felderer, Armin Beer:
Estimating the Return on Investment of Defect Taxonomy Supported System Testing in Industrial Projects. 426-430
Cloud Software (CS)
Cloud Technology
- Adnan Ashraf, Benjamin Byholm, Joonas Lehtinen, Ivan Porres:
Feedback Control Algorithms to Deploy and Scale Multiple Web Applications per Virtual Machine. 431-438 - Mikko Hartikainen, Arto Salminen, Jarno Kallio:
Towards Mobile Multimedia Mashup Architecture. 439-445
Cloud Software
- Luisanna Cocco, Katiuscia Mannaro, Giulio Concas:
A Model for Global Software Development with Cloud Platforms. 446-452 - Andrey Sirotkin, Kaisa Koskela-Huotari, Kaarina Karppinen, Javier Del Ser, Bronan McCabe:
Differentiation in the Cloud: Methodology for Integrating Customer Values in Experience Design. 453-459
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-11-29 00:02 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:
