Search results for "SEW"

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

Publications at "SEW"( http://dblp.L3S.de/Venues/SEW )