Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | William C. Stratton, Deane E. Sibol, Mikael Lindvall, Patricia Costa |
The SAVE Tool and Process Applied to Ground Software Development at JHU/APL: An Experience Report on Technology Infusion. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Irfan Hamid, Elie Najm, Jérôme Hugues |
A Generative Approach to Building a Framework for Hard Real-Time Applications. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Norman F. Schneidewind |
A New Way to Predict Software Reliability with Parameter Evaluation: Shuttle Applications. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jing Li 0062, Jifeng He 0001, Huibiao Zhu, Geguang Pu |
Modeling and Verifying Web Services Choreography Using Process Algebra. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter T. Breuer, Simon Pickin 0001 |
Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Huibiao Zhu, Jifeng He 0001, Geguang Pu, Jing Li 0062 |
An Operational Approach to BPEL-like Programming. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
Web Services, BPEL, Operational Semantics, Bisimulation, Compensation, Algebraic Semantics, Fault Handling |
1 | Tiziana Margaria, Bernhard Steffen |
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide |
Abstracting Pointers for a Verifying Compiler. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Amine Chigani, James D. Arthur, Shawn A. Bohner |
Architecting Network-Centric Software Systems: A Style-Based Beginning. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Valles-Barajas |
A Formal Model for the Building of State Machines: A Lightweight Approach. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Chunying Zhao, Kang Zhang 0001 |
Transformational Approaches to Model Driven Architecture - A Review. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Samy Sidky, James D. Arthur |
Determining the Applicability of Agile Practices to Mission and Life-Critical Systems. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Neelam Soundarajan, Jason O. Hallstrom, Adem Delibas, Guoqiang Shu |
Testing Patterns. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | John D. Carter, William B. Gardner |
Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Zoë R. Stephenson, John A. McDermid |
Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Dong Kwan Kim, Shawn A. Bohner |
An AOP-based Performance Evaluation Framework for UML Models. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ali Mili 0001 |
A Refinement Based Framework for Computing Loop Behavior. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ali E. Abdallah, Etienne J. Khayat |
Formal Z Specifications of Several Flat Role-Based Access Control Models. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
Authorization, Role-Based Access Control, Formal Models, Z specification |
1 | Jim Woodcock 0001 |
First Steps in the Verified Software Grand Challenge. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Judith Bishop, R. Nigel Horspool |
Cross-Platform Development: Software that Lasts. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Margaria, Bernhard Steffen |
Service Engineering: Linking Business and IT. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi |
Towards Open-World Software: Issue and Challenges. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | |
29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA |
SEW |
2006 |
DBLP BibTeX RDF |
|
1 | Christopher Ackermann, Mikael Lindvall |
Understanding Change Requests to Predict Software Impact. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy |
The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Parízek, Frantisek Plásil, Jan Kofron |
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
cooperation of model checkers, model checking, software components, behavior protocols |
1 | D. Richard Kuhn, Vadim Okun |
Pseudo-Exhaustive Testing for Software. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
software testing, automated testing, combinatorial testing |
1 | Ingo Schnabel, Markus Pizka |
Goal-Driven Software Development. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Melissa M. Simmons, Pamela Vercellone-Smith, Phillip A. Laplante |
Understanding Open Source Software through Software Archaeology: The Case of Nethack. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala |
Formal Verification of Abstract System and Protocol Specifications. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Victor R. Basili |
The Role of Empirical Study in Software Engineering. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoqing Peng, Huibiao Zhu, Jifeng He 0001, Naiyong Jin |
An Operational Semantics of an Event-Driven System-Level Simulator. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter T. Breuer, Simon Pickin 0001, María M. Larrondo-Petrie |
Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Huibiao Zhu, Shengchao Qin, Jifeng He 0001, Jonathan P. Bowen |
Integrating Probability with Time and Shared-Variable Concurrency. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends |
Using Views to Specify a Synchronization Aspect for Object-Oriented Languages. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yves Ledru |
Using Jaza to Animate RoZ Specifications of UML Class Diagrams. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | R. D. Arthan |
A Verified Formal Model of a VC Generator. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Karin Becker, Duncan Dubugras A. Ruiz, Virginia S. Cunha, Taisa C. Novello, Franco Vieira e Souza |
SPDW: A Software Development Process Performance Data Warehousing Environment. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Mercier, Michel Lavoie, Roger Champagne |
Unified Software Method: An Engineering Approach to Software Engineering. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach, Michael Poppleton, Susan Stepney |
Retrenching the Purse: Finite Exception Logs, and Validating the Small. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Akram Idani, Yves Ledru, Didier Bert |
A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
UML, Formal concept analysis, B, Concept formation |
1 | Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan |
A Comparative Study of Monitoring Tools for Pattern-Centric Behavior. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Aijun Chen, Liping Di, Yaxing Wei, Yuqi Bai, Yang Liu 0051 |
An Optimized Grid-Based, OGC Standards-Compliant Collaborative Software System for Serving NASA Geospatial Data. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Robert W. Ferguson, Giuseppe Lami |
An Empirical Study on the Relationship between Defective Requirements and Test Failures. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tim Menzies, Julian Richardson |
Qualitative Modeling for Requirements Engineering. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | |
30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA |
SEW |
2006 |
DBLP BibTeX RDF |
|
1 | Jianli Xu |
Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | David Gries |
What Have We Not Learned about Teaching Programming? |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Zoë R. Stephenson, John A. McDermid, Jason Choy |
Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Norita B. Ahmad, Phillip A. Laplante |
Software Project Management Tools: Making a Practical Decision Using AHP. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Angelina Espinoza, Pedro Pablo Alarcón, Juan Garbajosa |
Analyzing and Systematizing Current Traceability Schemas. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Roy Sterritt, Edward Hanna, Patricia O'Hagan, Grainne Garrity |
Targeting Prediction: Engineering a Distributed Event Processor for an Autonomic Biometric System. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
security, fault tolerance, prediction, biometrics, autonomic systems, autonomous systems, reaction |
1 | Francesca Arcelli Fontana, Claudia Raibulet, Ivano Rigo, Luigi Ubezio |
An Eclipse Plug-in for the Java PathFinder Runtime Verification System. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter C. Mehlitz, John Penix |
Design for Verification with Dynamic Assertions. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jun Kong, Kang Zhang 0001, Jing Dong 0005, Guang-Lei Song |
A Generative Style-driven Framework for Software Architecture Design. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski |
Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
Swarm Technology, Verification, Formal Methods |
1 | Ugo A. Buy, Mihai Lehene, Houshang Darabi |
Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Susan K. Donohue, Joanne Bechta Dugan, Charles L. Brown |
Is My Software "Good Enough" to Release? - A Probabilistic Assessment. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
ModelPopulation, Software Validation and Verification, Bayesian Belief Networks, Software Quality Assurance |
1 | David Coppit, Jennifer M. Haddox-Schatz |
On the Use of Specification-Based Assertions as Test Oracles. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Panas, Rüdiger Lincke, Jonas Lundberg, Welf Löwe |
A Qualitative Evaluation of a Software Development and Re-Engineering Project. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon |
Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andrew J. Kornecki, Janusz Zalewski |
Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software Development. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | David Garlan, William K. Reinholtz, Bradley R. Schmerl, Nicholas D. Sherman, Tony Tseng |
Bridging the Gap between Systems Design. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Boby George, H. Lally Singh, Shawn A. Bohner, Denis Gracanin |
Requirements Capture for Cougaar Model-Driven Architecture System. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lisa M. Boden, Robert Busser, Mark R. Blackburn, Aaron Nauman |
Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mahmoud O. Elish, David C. Rine |
Indicators of Structural Stability of Object-Oriented Designs: A Case Study. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sten F. Andler, Lars Niklasson, Björn Olsson, Anne Persson, Leo J. De Vin, Benkt Wangler, Tom Ziemke, Tomas Planstedt |
Information Fusion from Databases, Sensors and Simulations: A Collaborative Research Program. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bettina Anders, Jörg Fellmann, Mikael Lindvall, Ioana Rus |
Experimenting with Software Architecture Flexibility Using an Implementation of the Tactical Separation Assisted Flight Environment. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Phillip A. Laplante, Colin J. Neill |
Uncertainty: A Meta-Property of Software. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
uncertainty, software quality |
1 | Mariângela Vanzin, Marcelo Blois Ribeiro, Rafael Prikladnicki, Ilmari Ceccato, Dante Carlos Antunes |
Global Software Processes Definition in a Distributed Environment. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lester O. Lobo, James D. Arthur |
An Objectives-Driven Process for Selecting Methods to Support Requirements Engineering Activities. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Margaria, Bernhard Steffen |
Second-Order Semantic Web. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Donzelli, Daniel Hirschbach, Victor R. Basili |
Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Norman F. Schneidewind |
Predicting Risk as a Function of Risk Factors. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Markus Pizka |
Code Normal Forms. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Swapna S. Gokhale, John R. Crigler, William H. Farr, Dolores R. Wallace |
System Availability Analysis Considering Hardware/Software Failure Severities. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Wagner 0001 |
Towards Software Quality Economics for Defect-Detection Techniques. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Moshood Omolade Saliu, Günther Ruhe |
Supporting Software Release Planning Decisions for Evolving Systems. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
ReleasePlanner®, Software Evolution, Decision Support, Risk, Effort Estimation, Release Planning |
1 | Michael S. Moore, Jeremy C. Price, Ben Abbott, John Liebetreu, Richard C. Reinhart, Thomas J. Kacpura |
Modeling and Analysis of Space Based Transceivers. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Phan Cong Vinh, Jonathan P. Bowen |
A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Pornpit Wongthongtham, Elizabeth Chang 0001, Chan Cheah, Tharam S. Dillon |
Software Engineering Sub-Ontology for Specific Software Development. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rabih Bashroush, T. John Brown, Ivor T. A. Spence, Peter Kilpatrick |
ADLARS: An Architecture Description Language for Software Product Lines. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rattikorn Hewett, Remzi Seker |
A Risk Assessment Model of Embedded Software Systems. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mark E. M. Stewart |
Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ganesh J. Pai, Joanne Bechta Dugan, Khalid Lateef |
Bayesian Networks applied to Software IV&V. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
software requirements speci.cations, independent veri.cation and validation, Use cases, software reliability engineering, probabilistic networks |
1 | Yangyang Yu, Barry W. Johnson |
The Quantitative Safety Assessment for Safety-Critical Software. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
1 | |
28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 3-4 December 2003, Greenbelt, Maryland, USA |
SEW |
2004 |
DBLP BibTeX RDF |
|
1 | Ashish Tiwari, Purnendu Sinha, Umabharathi Ramachandran |
On the Run-time Verification of Autonomy Software. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Samy Sidky, James D. Arthur |
RGML: A Markup Language for Characterizing Requirements Generation Processes. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Andrew J. Kornecki, Janusz Zalewski |
Design Tool Assessment for Safety-Critical Software Development. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sanjai Rayadurgam, Mats Per Erik Heimdahl |
Generating MC/DC Adequate Test Sequences Through Model Checking. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Christopher A. Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey |
Formal Approaches to Intelligent Swarms. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rick Kazman, Mark Klein, Robert L. Nord |
Tailorable Architecture Methods. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Valerie Wyatt, Justin S. Di Stefano, Mike Chapman, Edward Aycoth |
A Metrics Based Approach for Identifying Requirements Risks. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Doron Drusinsky, Garth Watney |
Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Janusz Zalewski |
Software Dynamics: A New Measure of Performance for Real-Time Software. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Dolores Zage, Wayne Zage |
A Stress-Point Resolution System Based on Module Signatures. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Shawn A. Bohner, Denis Gracanin |
Software Impact Analysis in a Virtual Environment. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Frantz Iwu, Ian Toyn |
Modelling and Analysing Fault Propagation in Safety-Related Systems. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Christopher P. Fuhrman, Fatime Djlive, Edgardo Palza |
Software Verification and Validation within the (Rational) Unified Process. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|