Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira 0001 |
A Timed CSP Model for the Time-Triggered Language Giotto. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Barry Wilks, Paul A. Bailes |
Self-Definition for Software Development. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote |
Dogfooding the Formal Semantics of mCRL2. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hareton K. N. Leung |
Viewpoint-Based Risk Assessment and Prioritization. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sophia Voulgaropoulou, Georgios Spanos, Lefteris Angelis |
Analyzing Measurements of the R Statistical Open Source Software. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Najeeb Ullah, Maurizio Morisio, Antonio Vetrò |
A Comparative Analysis of Software Reliability Growth Models using Defects Data of Closed and Open Source Software. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Arunesh Mathur, Harshal Choudhary, Priyank Vashist, William Thies, P. Santhi Thilagam |
An Empirical Study of License Violations in Open Source Projects. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Vetrò, Nico Zazworka, Forrest Shull, Carolyn B. Seaman, Michele A. Shaw |
Investigating Automatic Static Analysis Results to Identify Quality Problems: An Inductive Study. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Markus Doedt, Bernhard Steffen |
An Evaluation of Service Integration Approaches of Business Process Management Systems. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Manuel I. Capel, Luis Eduardo Mendoza |
Automating the Transformation from BPMN Models to CSP+T Specifications. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jose Luis Freitas, Daniela Carneiro da Cruz, Pedro Rangel Henriques |
A Comment Analysis Approach for Program Comprehension. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Sanchez, Ademar Aguiar, Luís Soares Barbosa, Daniel Riesco |
Analysing Tactics in Architectural Patterns. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anupama Surendran, Philip Samuel |
Partial Slices in Program Testing. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jianwen Li, Geguang Pu, Zheng Wang 0005, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu 0006 |
An Approach to Requirement Analysis for Periodic Control Systems. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Petros Papadopoulos, Huaglory Tianfield, David C. Moffat, Peter Barrie |
Multi-agent Self-Organising Service Composition - Demonstrating the Restrictions of Centralised Approach. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith 0001, Kirsten Winter |
Incremental Development of Multi-agent Systems in Object-Z. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sven Jörges, Bernhard Steffen |
Exploiting Ecore's Reflexivity for Bootstrapping Domain-Specific Code-Generators. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif |
Model-Driven Development of Secure Service Applications. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yi Li 0008, Jing Sun 0002, Jin Song Dong, Yang Liu 0003, Jun Sun 0001 |
Planning as Model Checking Tasks. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey (eds.) |
35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012 |
SEW |
2012 |
DBLP BibTeX RDF |
|
1 | Barbara Gallina, Irfan Sljivo, Omar Jaradat |
Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth Lind, Rogardt Heldal |
Automotive System Development Using Reference Architectures. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rui Couto, António Nestor Ribeiro, José Creissac Campos |
A Patterns Based Reverse Engineering Approach for Java Source Code. |
SEW |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Emil Vassev, Mike Hinchey, Dharini Balasubramaniam, Simon Dobson |
An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | João Carlos Cunha, Sérgio Cruz, Marco Costa 0001, Ana Rita Rodrigues, Marco Vieira |
Implementing Software Effort Estimation in a Medium-sized Company. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | James L. Rash, Christopher A. Rouff (eds.) |
34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011 |
SEW |
2011 |
DBLP BibTeX RDF |
|
1 | Stephen C. Fortier, Gregory L. Shaw |
Using Modeling and Simulation to Define Information Requirements for Incident Response for Chemical Facilities. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maximiliano Cristiá, Pablo Albertengo, Claudia S. Frydman, Brian Plüss, Pablo Rodríguez Monetti |
Applying the Test Template Framework to Aerospace Software. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ina Schaefer, Anna-Lena Lamprecht, Tiziana Margaria |
Constraint-oriented Variability Modeling. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, José Luiz Fiadeiro |
Variability and Rigour in Service Computing Engineering. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kevin P. Adams, Denis Gracanin |
Towards a Framework for Weapon Control Systems. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Markus Doedt, Bernhard Steffen |
Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Prabhu Shankar Kaliappan, Hartmut König |
An Approach to Synchronize UML-Based Design Components for Model-Driven Protocol Development. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nour Ali, Emilio Tuosto |
Architectural Models of Ambient-PRISMA in Channel Ambient Calculus. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dusan Savic, Ilija Antovic, Sinisa Vlajic, Vojislav Stanojevic, Milos Milic |
Language for Use Case Specification. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Windmüller |
Offline Validation of Firewalls. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrew J. Kornecki, Janusz Zalewski, Wendy F. Stevenson |
Availability Assessment of Embedded Systems with Security Vulnerabilities. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zdravko Karakehayov, Emil Vassev |
Energy Efficiency with Runtime Models for Energy-aware Embedded Systems. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Margaria, Bernhard Steffen |
Special Session on "Simplification through Change of Perspective". |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marco Vieira, Henrique Madeira, Sérgio Cruz, Marco Costa 0001, João Carlos Cunha |
Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Benoit Gaudin, Alessandra Bagnato |
Software Maintenance through Supervisory Control. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Arcelli Fontana, Stefano Maggioni |
Metrics and Antipatterns for Software Quality Evaluation. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci |
A Change of Perspective Yields Formal Analysis. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Markland J. Benson |
Toward Intelligent Software Defect Detection - Learning Software Defects by Example. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Steffen, Johannes Neubauer |
Simplified Validation of Emergent Systems through Automata Learning-Based Testing. |
SEW |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shawn A. Bohner, Sriram Mohan |
Model-Based Engineering of Software: Three Productivity Perspectives. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
Agent-Based Software Systems, Model-Based Software Development, Model-Driven Architecture, Model-Driven Development, Model-Based Software Engineering |
1 | José Viterbo Filho, Markus Endler |
Decentralized Reasoning in Ambient Intelligence. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
Distributed Reasoning, Ambient Intelligence, Rule-based Reasoning |
1 | Ana Carolina Almeida, Sérgio Lifschitz, Karin K. Breitman |
A Knowledge Representation and Data Provenance Model to Self-Tuning Database Systems. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
self-tuning database, ontologies, transparency |
1 | Emil Vassev, Mike Hinchey |
Complexity Reduction in Developing Autonomic Systems with ASSL. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
implementation platform, design abstractions, Multi-agent systems, aspects |
1 | Elaine Alves de Carvalho, Tatiana Escovedo, Rubens N. Melo |
Using Business Processes in System Requirements Definition. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Gallina, Nicolas Guelfi, Pierre Kelsen |
Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
Relaxed ACID properties, ACTA framework, Alloy language, dependability, Software Product Line, reusability, formal semantics, ACID properties |
1 | Christian Fotsing, Annie Geniet, Guy Vidal-Naquet |
A Realistic Model of Real-Time Systems for Efficient Scheduling. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
Modular and Adaptative Software, Middleware RFID, EPCglobal and EPC Network, Information Service, Framework Architecture |
1 | 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. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vera Werneck, Karin K. Breitman (eds.) |
33rd Annual IEEE Software Engineering Workshop, SEW 2009, Skövde, Sweden, 13-14 October, 2009 |
SEW |
2009 |
DBLP BibTeX RDF |
|
1 | Methanias Colaço Júnior, Manoel Gomes de Mendonça Neto, Francisco Rodrigues |
Data Warehousing in an Industrial Software Development Environment. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
Software Data Warehouse, Software Engineering Intelligence, Mining Software Repositories |
1 | Roy Sterritt |
Autonomous and Autonomic Systems: Paradigm for Engineering Effective Software-Based Systems? |
SEW |
2009 |
DBLP DOI BibTeX RDF |
Wireless Autonomic Systems, Space Exploration Systems, Biometrics, Autonomic Communications |
1 | Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa |
Automatic Classification of Software Change Request Using Multi-label Machine Learning Methods. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
bug triage, machine learning, information retrieval, software maintenance, multi-label |
1 | Huibiao Zhu, Fan Yang, Jifeng He 0001, Jonathan P. Bowen, Jeff W. Sanders |
Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
PTSC, Operational Semantics, Algebraic Semantics, Semantic Linking |
1 | Qin Li 0002, Huibiao Zhu |
Towards Specification and Refinement of Contracts with Environment Changes. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rogério T. O. Lacerda, Leonardo Ensslin, Sandra Rolim Ensslin |
A Study Case about a Software Project Management Success Metrics. |
SEW |
2009 |
DBLP DOI BibTeX RDF |
Technology planning, Project Management, Management information systems, Software Management, Multicriteria, Decision Aiding |
1 | Masoumeh Taromirad, Raman Ramsin |
CEFAM: Comprehensive Evaluation Framework for Agile Methodologies. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Blum, Simon Dutkowski, Thomas Magedanz |
InSeRt An Intent-Based Service Request API for Service Exposure in Next Generation Networks. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Otávio Augusto Lazzarini Lemos, Paulo César Masiero |
Using Structural Testing to Identify Unintended Join Points Selected by Pointcuts in Aspect-Oriented Programs. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho |
Categorizing and Assembling Web Services in a Composition Framework. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Gallina, Nicolas Guelfi |
SPLACID: An SPL-Oriented, ACTA-Based, Language for Reusing (Varying) ACID Properties. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nassim Laga, Emmanuel Bertin, Noël Crespi |
User-centric Services and Service Composition, a Survey. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Angelina Espinoza, Juan Garbajosa |
A Proposal for Defining a Set of Basic Items for Project-Specific Traceability Methodologies. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ali Nasrat Haidar, Ali E. Abdallah |
Composition and Customization of Web Services Using Wrappers: A Formal Approach Based on CSP. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kofron, Tomás Poch, Ondrej Sery |
Making Components Fit: SPINing. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | José Viterbo, Vagner J. do Sacramento Rodrigues, Ricardo Couto Antunes da Rocha, Gustavo Baptista, Marcelo Andrade da Gama Malcher, Markus Endler |
A Middleware Architecture for Context-Aware and Location-Based Mobile Applications. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marcus Brohede, Sten F. Andler |
A Distributed Whiteboard Infrastructure for Information Fusion Simulations. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kofron, Tomás Poch, Ondrej Sery |
TBP: Code-Oriented Component Behavior Specification. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Min Zhang 0008, Nathan Baddoo, Paul Wernick, Tracy Hall |
Improving the Precision of Fowler's Definitions of Bad Smells. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Plösch, Harald Gruber, Alexander Hentschel, Gustav Pomberger, Stefan Schiffer 0001 |
On the Relation between External Software Quality and Static Code Analysis. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo C. Barros, Duncan Dubugras A. Ruiz, Nelson N. Tenório Jr., Márcio P. Basgalupp, Karin Becker |
Issues on Estimating Software Metrics in a Large Software Operation. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | |
32nd Annual IEEE Software Engineering Workshop, SEW 2008, Kassandra, Greece, October 15-16, 2008 |
SEW |
2008 |
DBLP BibTeX RDF |
|
1 | Bruno Santana da Silva, Simone Diniz Junqueira Barbosa |
Variability Analysis: From Requirements Engineering Towards Interaction Design. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior |
An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ismael H. F. dos Santos, Alberto Barbosa Raposo, Marcelo Gattass |
A Software Architecture for an Engineering Collaborative Problem Solving Environment. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luiz Marcio Cysneiros, Karin Koogan Breitman, Claudia A. López, Hernán Astudillo |
Querying Software Interdependence Graphs. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luiz André P. Paes Leme, Marco A. Casanova, Karin Koogan Breitman, António L. Furtado 0001 |
Database Mediation Using Multi-agent Systems. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nelson N. Tenório Jr., Marcelo Blois Ribeiro, Duncan D. Ruiz |
A Quasi-experiment for Effort and Defect Estimation Using Least Square Linear Regression and Function Points. |
SEW |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Weidong Liao, Benjamin J. Koonse |
A Layered Java Application Framework for Supplying Mathematical Computing Power to the Distributed Environment. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
JSP Tag Libraries, Java, AJAX, MVC, Mathematical Computation |
1 | Jingjun Zhang, Hui Li, Furong Li |
Research on Aspect Connectors for Software Architecture Adaptation. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jingjun Zhang, Furong Li, Yang Zhang |
Aspect-Oriented Requirements Modeling. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
UML, AOP, Requirements Engineering, Mismatch |
1 | Ana Sofia C. Marçal, Felipe Santana Furtado Soares, Arnaldo Dias Belchior |
Mapping CMMI Project Management Process Areas to SCRUM Practices. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Qin Li 0002, Huibiao Zhu, Jifeng He 0001 |
An Inconsistency Free Formalization of B/S Architecture. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Scott Henninger |
A Framework for Flexible and Executable Usability Patterns Standards. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shukri Wakid, Roy Sterritt |
Virtualization the Enabler for the Autonomic Business Grid. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
virtualization, autonomic systems, autonomous systems, business grids |
1 | Johann Duscher, Amine El Malki |
A Reference Net Based Formalization of Concurrent Cognitive Decision Making. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
cognitive decision making, multi-agent systems, model-checking, verification, concurrency, specification, reference net, object petri net |
1 | Reinhold Plösch, Harald Gruber, Alexander Hentschel, Christian Körner, Gustav Pomberger, Stefan Schiffer 0001, Matthias Saft, Stephan Storck |
The EMISQ Method - Expert Based Evaluation of Internal Software Quality. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jing Li 0062, Huibiao Zhu, Geguang Pu, Jifeng He 0001 |
Looking into Compensable Transactions. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | |
31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA |
SEW |
2007 |
DBLP BibTeX RDF |
|
1 | Janice Hill |
A Software Safety Risk Taxonomy for Use in Retrospective Safety Cases. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gabriela Robiolo, Ricardo Orosco |
An Alternative Method Employing Uses Cases for Early Effort Estimation. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen |
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Emil Vassev, Joey Paquet |
ASSL - Autonomic System Specification Language. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|