SEW - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 224

2012

Model-Driven Development of Secure Service ApplicationsMarian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif. sew 2012: 62-71 [doi]

35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey, editors, IEEE Computer Society, 2012. [doi]

Automating the Transformation from BPMN Models to CSP+T SpecificationsManuel I. Capel, Luis Eduardo Mendoza. sew 2012: 100-109 [doi]

A Patterns Based Reverse Engineering Approach for Java Source CodeRui Couto, Antonio Nestor Ribeiro, José Creissac Campos. sew 2012: 140-147 [doi]

An Evaluation of Service Integration Approaches of Business Process Management SystemsMarkus Doedt, Bernhard Steffen. sew 2012: 158-167 [doi]

A Comment Analysis Approach for Program ComprehensionJose Luis Freitas, Daniela Carneiro da Cruz, Pedro Rangel Henriques. sew 2012: 11-20 [doi]

Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and CertificationBarbara Gallina, Irfan Sljivo, Omar Jaradat. sew 2012: 148-157 [doi]

A Timed CSP Model for the Time-Triggered Language GiottoYanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira. sew 2012: 110-119 [doi]

Exploiting Ecore's Reflexivity for Bootstrapping Domain-Specific Code-GeneratorsSven Jörges, Bernhard Steffen. sew 2012: 72-81 [doi]

Viewpoint-Based Risk Assessment and PrioritizationHareton K. N. Leung. sew 2012: 193-197 [doi]

An Approach to Requirement Analysis for Periodic Control SystemsJianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu. sew 2012: 130-139 [doi]

Planning as Model Checking TasksYi Li, Jing Sun 0002, Jin Song Dong, Yang Liu, Jun Sun 0001. sew 2012: 177-186 [doi]

Automotive System Development Using Reference ArchitecturesKenneth Lind, Rogardt Heldal. sew 2012: 42-51 [doi]

An Empirical Study of License Violations in Open Source ProjectsArunesh Mathur, Harshal Choudhary, Priyank Vashist, William Thies, Santhi Thilagam. sew 2012: 168-176 [doi]

Multi-agent Self-Organising Service Composition - Demonstrating the Restrictions of Centralised ApproachPetros Papadopoulos, Huaglory Tianfield, David Moffat, Peter Barrie. sew 2012: 198-202 [doi]

Analysing Tactics in Architectural PatternsAlejandro Sanchez, Ademar Aguiar, Luis S. Barbosa, Daniel Riesco. sew 2012: 32-41 [doi]

Incremental Development of Multi-agent Systems in Object-ZGraeme Smith, Kirsten Winter. sew 2012: 120-129 [doi]

Dogfooding the Formal Semantics of mCRL2Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote. sew 2012: 90-99 [doi]

Partial Slices in Program TestingAnupama Surendran, Philip Samuel. sew 2012: 82-89 [doi]

A Comparative Analysis of Software Reliability Growth Models using Defects Data of Closed and Open Source SoftwareNajeeb Ullah, Maurizio Morisio, Antonio Vetro. sew 2012: 187-192 [doi]

Investigating Automatic Static Analysis Results to Identify Quality Problems: An Inductive StudyAntonio Vetro, Nico Zazworka, Forrest Shull, Carolyn B. Seaman, Michele A. Shaw. sew 2012: 21-31 [doi]

Analyzing Measurements of the R Statistical Open Source SoftwareSophia Voulgaropoulou, Georgios Spanos, Lefteris Angelis. sew 2012: 1-10 [doi]

Self-Definition for Software DevelopmentBarry Wilks, Paul Bailes. sew 2012: 52-61 [doi]

2011

Towards a Framework for Weapon Control SystemsKevin P. Adams, Denis Gracanin. sew 2011: 117-121 [doi]

Architectural Models of Ambient-PRISMA in Channel Ambient CalculusNour Ali, Emilio Tuosto. sew 2011: 1-10 [doi]

Toward Intelligent Software Defect Detection - Learning Software Defects by ExampleMarkland J. Benson. sew 2011: 138-142 [doi]

Applying the Test Template Framework to Aerospace SoftwareMaximiliano Cristiá, Pablo Albertengo, Claudia S. Frydman, Brian Plüss, Pablo Rodríguez Monetti. sew 2011: 128-137 [doi]

Implementing Software Effort Estimation in a Medium-sized CompanyJoão Carlos Cunha, Sérgio Cruz, Marco Costa, Ana Rita Rodrigues, Marco Vieira. sew 2011: 92-96 [doi]

Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented PerspectiveMarkus Doedt, Bernhard Steffen. sew 2011: 57-66 [doi]

Metrics and Antipatterns for Software Quality EvaluationFrancesca Arcelli Fontana, Stefano Maggioni. sew 2011: 48-56 [doi]

Using Modeling and Simulation to Define Information Requirements for Incident Response for Chemical FacilitiesStephen C. Fortier, Gregory L. Shaw. sew 2011: 143-150 [doi]

Software Maintenance through Supervisory ControlBenoit Gaudin, Alessandra Bagnato. sew 2011: 97-105 [doi]

A Change of Perspective Yields Formal AnalysisRadu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci. sew 2011: 69-76 [doi]

An Approach to Synchronize UML-Based Design Components for Model-Driven Protocol DevelopmentPrabhu Shankar Kaliappan, Hartmut König. sew 2011: 27-35 [doi]

Energy Efficiency with Runtime Models for Energy-aware Embedded SystemsZdravko Karakehayov, Emil Vassev. sew 2011: 106-111 [doi]

Availability Assessment of Embedded Systems with Security VulnerabilitiesAndrew J. Kornecki, Janusz Zalewski, Wendy F. Stevenson. sew 2011: 42-47 [doi]

Special Session on "Simplification through Change of Perspective"Tiziana Margaria, Bernhard Steffen. sew 2011: 67-68 [doi]

34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011James L. Rash, Christopher Rouff, editors, IEEE Computer Society, 2011. [doi]

Language for Use Case SpecificationDusan Savic, Ilija Antovic, Sinisa Vlajic, Vojislav Stanojevic, Milos Milic. sew 2011: 19-26 [doi]

Constraint-oriented Variability ModelingIna Schaefer, Anna-Lena Lamprecht, Tiziana Margaria. sew 2011: 77-83 [doi]

Simplified Validation of Emergent Systems through Automata Learning-Based TestingBernhard Steffen, Johannes Neubauer. sew 2011: 84-91 [doi]

Variability and Rigour in Service Computing EngineeringMaurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, José Luiz Fiadeiro. sew 2011: 122-127 [doi]

An ASSL Approach to Handling Uncertainty in Self-adaptive SystemsEmil Vassev, Mike Hinchey, Dharini Balasubramaniam, Simon Dobson. sew 2011: 11-18 [doi]

Integrating GQM and Data Warehousing for the Definition of Software Reuse MetricsMarco Vieira, Henrique Madeira, Sérgio Cruz, Marco Costa, João Carlos Cunha. sew 2011: 112-116 [doi]

Offline Validation of FirewallsStephan Windmüller. sew 2011: 36-41 [doi]

2009

Automatic Classification of Software Change Request Using Multi-label Machine Learning MethodsSyed Nadeem Ahsan, Javed Ferzund, Franz Wotawa. sew 2009: 79-86 [doi]

A Knowledge Representation and Data Provenance Model to Self-Tuning Database SystemsAna Carolina Almeida, Sérgio Lifschitz, Karin Breitman. sew 2009: 144-150 [doi]

An Adaptative Framework Architecture for RFID ApplicationsLeonardo A. Amaral, Fabiano Hessel, Eduardo A. Bezerra, Jerônimo C. Corrêa, Oliver B. Longhi, Thiago F. O. Dias. sew 2009: 15-24 [doi]

Model-Based Engineering of Software: Three Productivity PerspectivesShawn A. Bohner, Sriram Mohan. sew 2009: 35-44 [doi]

Using Business Processes in System Requirements DefinitionElaine A. Carvalho, Tatiana Escovedo, Rubens N. Melo. sew 2009: 125-130 [doi]

AgentCross: A Platform for the Development of Crosscutting Concerns in Multi-agent SystemsJoão Alberto Neves dos Santos Filho, Ricardo Choren Noya, Karin Koogan Breitman. sew 2009: 25-32 [doi]

JaBUTiService: A Web Service for Structural Testing of Java ProgramsMarcelo Medeiros Eler, André Takeshi Endo, Paulo Cesar Masiero, Márcio Eduardo Delamaro, José Carlos Maldonado, Auri Marcelo Rizzo Vincenzi, Marcos Lordello Chaim, Delano M. Beder. sew 2009: 69-76 [doi]

Decentralized Reasoning in Ambient IntelligenceJosé Viterbo Filho, Markus Endler. sew 2009: 115-124 [doi]

A Realistic Model of Real-Time Systems for Efficient SchedulingChristian Fotsing, Annie Geniet, Guy Vidal-Naquet. sew 2009: 3-12 [doi]

Towards an Alloy Formal Model for Flexible Advanced Transactional Model DevelopmentBarbara Gallina, Nicolas Guelfi, Pierre Kelsen. sew 2009: 94-103 [doi]

Data Warehousing in an Industrial Software Development EnvironmentMethanias Colaço Júnior, Manoel Gomes de Mendonça Neto, Francisco Rodrigues. sew 2009: 131-135 [doi]

A Study Case about a Software Project Management Success MetricsRogério T. O. Lacerda, Leonardo Ensslin, Sandra R. Ensslin. sew 2009: 45-54 [doi]

Towards Specification and Refinement of Contracts with Environment ChangesQin Li, Huibiao Zhu. sew 2009: 61-68 [doi]

Evaluating MaSE Methodology in the Requirements IdentificationR. C. S. Sousa, A. L. F. da Cunha, R. F. A. Martins, Vera Maria Benjamim Werneck, Luiz Marcio Cysneiros. sew 2009: 136-143 [doi]

Autonomous and Autonomic Systems: Paradigm for Engineering Effective Software-Based Systems?Roy Sterritt. sew 2009: 57 [doi]

Complexity Reduction in Developing Autonomic Systems with ASSLEmil Vassev, Mike Hinchey. sew 2009: 87-93 [doi]

33rd Annual IEEE Software Engineering Workshop, SEW 2009, Skövde, Sweden, 13-14 October, 2009Vera Werneck, Karin Breitman, editors, IEEE Computer Society, 2009. [doi]

Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable LanguageHuibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders. sew 2009: 104-114 [doi]

2008

Improving the Precision of Fowler's Definitions of Bad SmellsMin Zhang 0008, Nathan Baddoo, Paul Wernick, Tracy Hall. sew 2008: 161-166 [doi]

32nd Annual IEEE Software Engineering Workshop, SEW 2008, Kassandra, Greece, October 15-16, 2008IEEE Computer Society, 2008. [doi]

An Extended MDA Architecture for Ensuring Semantics-Preserving TransformationsPaulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior. sew 2008: 33-42 [doi]

Issues on Estimating Software Metrics in a Large Software OperationRodrigo C. Barros, Duncan Dubugras A. Ruiz, Nelson N. Tenório Jr., Márcio P. Basgalupp, Karin Becker. sew 2008: 152-160 [doi]

InSeRt An Intent-Based Service Request API for Service Exposure in Next Generation NetworksNiklas Blum, Simon Dutkowski, Thomas Magedanz. sew 2008: 21-30 [doi]

A Distributed Whiteboard Infrastructure for Information Fusion SimulationsMarcus Brohede, Sten F. Andler. sew 2008: 134-140 [doi]

Querying Software Interdependence GraphsLuiz Marcio Cysneiros, Karin Koogan Breitman, Claudia López, Hernán Astudillo. sew 2008: 108-112 [doi]

Variability Analysis: From Requirements Engineering Towards Interaction DesignBruno Santana da Silva, Simone Diniz Junqueira Barbosa. sew 2008: 97-107 [doi]

A Software Architecture for an Engineering Collaborative Problem Solving EnvironmentP. Ismael H. dos Santos, Alberto Barbosa Raposo, Marcelo Gattass. sew 2008: 43-51 [doi]

A Proposal for Defining a Set of Basic Items for Project-Specific Traceability MethodologiesAngelina Espinoza, Juan Garbajosa. sew 2008: 175-184 [doi]

SPLACID: An SPL-Oriented, ACTA-Based, Language for Reusing (Varying) ACID PropertiesBarbara Gallina, Nicolas Guelfi. sew 2008: 115-124 [doi]

Composition and Customization of Web Services Using Wrappers: A Formal Approach Based on CSPAli Nasrat Haidar, Ali E. Abdallah. sew 2008: 187-194 [doi]

A Quasi-experiment for Effort and Defect Estimation Using Least Square Linear Regression and Function PointsNelson N. Tenório Jr., Marcelo Blois Ribeiro, Duncan D. Ruiz. sew 2008: 143-151 [doi]

Categorizing and Assembling Web Services in a Composition FrameworkRajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho. sew 2008: 10-20 [doi]

TBP: Code-Oriented Component Behavior SpecificationJan Kofron, Tomás Poch, Ondrej Sery. sew 2008: 75-83 [doi]

Making Components Fit: SPINingJan Kofron, Tomás Poch, Ondrej Sery. sew 2008: 65-74 [doi]

User-centric Services and Service Composition, a SurveyNassim Laga, Emmanuel Bertin, Noël Crespi. sew 2008: 3-9 [doi]

Database Mediation Using Multi-agent SystemsLuiz André P. Paes Leme, Marco A. Casanova, Karin Koogan Breitman, Antonio L. Furtado. sew 2008: 125-133 [doi]

Using Structural Testing to Identify Unintended Join Points Selected by Pointcuts in Aspect-Oriented ProgramsOtávio Augusto Lazzarini Lemos, Paulo Cesar Masiero. sew 2008: 84-93 [doi]

On the Relation between External Software Quality and Static Code AnalysisReinhold Plösch, Harald Gruber, A. Hentschel, Gustav Pomberger, Stefan Schiffer 0001. sew 2008: 169-174 [doi]

CEFAM: Comprehensive Evaluation Framework for Agile MethodologiesMasoumeh Taromirad, Raman Ramsin. sew 2008: 195-204 [doi]

A Middleware Architecture for Context-Aware and Location-Based Mobile ApplicationsJosé Viterbo, Vagner Sacramento, Ricardo Couto Antunes da Rocha, Gustavo Baptista, Marcelo Andrade da Gama Malcher, Markus Endler. sew 2008: 52-61 [doi]

2007

31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USAIEEE Computer Society, 2007.

Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C ProjectsPeter T. Breuer, Simon Pickin. sew 2007: 246-255 [doi]

Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based ProgrammingJ. Carter, William B. Gardner. sew 2007: 41-52 [doi]

Architecting Network-Centric Software Systems: A Style-Based BeginningAmine Chigani, James D. Arthur, Shawn A. Bohner. sew 2007: 290-299 [doi]

A Framework for Flexible and Executable Usability Patterns StandardsScott Henninger. sew 2007: 23-34 [doi]

A Software Safety Risk Taxonomy for Use in Retrospective Safety CasesJanice Hill. sew 2007: 179-186 [doi]

An AOP-based Performance Evaluation Framework for UML ModelsDong Kwan Kim, Shawn A. Bohner. sew 2007: 227-235 [doi]

Abstracting Pointers for a Verifying CompilerGregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide. sew 2007: 204-213 [doi]

A Layered Java Application Framework for Supplying Mathematical Computing Power to the Distributed EnvironmentWeidong Liao, Benjamin J. Koonse. sew 2007: 279-283 [doi]

An Alternative Method Employing Uses Cases for Early Effort EstimationGabriela Robiolo, Ricardo Orosco. sew 2007: 89-98 [doi]

A New Way to Predict Software Reliability with Parameter Evaluation: Shuttle ApplicationsNorman F. Schneidewind. sew 2007: 167-178 [doi]

Determining the Applicability of Agile Practices to Mission and Life-Critical SystemsAhmed Samy Sidky, James D. Arthur. sew 2007: 3-12 [doi]

Testing PatternsNeelam Soundarajan, Jason O. Hallstrom, Adem Delibas, Guoqiang Shu. sew 2007: 109-120 [doi]

The SAVE Tool and Process Applied to Ground Software Development at JHU/APL: An Experience Report on Technology InfusionWilliam C. Stratton, Deane E. Sibol, Mikael Lindvall, Patricia Costa. sew 2007: 187-193 [doi]

A Formal Model for the Building of State Machines: A Lightweight ApproachFernando Valles-Barajas. sew 2007: 194-203 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

SEW (sew)

Viewing Publication 1 - 100 from 224

2012

2011

2009

2008

2007

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

SEW (sew)

Viewing Publication 1 - 100 from 224

2012

2011

2009

2008

2007

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1