kirancodes.me
To Proof Maintenance & Beyond!
Venues / ICSE /

ICSE 1996

61 papers

  1. A Case Study in Applying a Systematic Method for COTS Selection · Jyrki Kontio
  2. A Demand-Driven Analyzer for Data Flow Testing at the Integration Level · Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa
  3. A Flexible Architecture for Building Data Flow Analyzers · Matthew B. Dwyer, Lori A. Clarke
  4. A Generic, Peer-to-Peer Repository for Distributed Configuration Management · André van der Hoek, Dennis Heimbigner, Alexander L. Wolf
  5. A New Approach to Consistency Control in Software Engineering · Georg Heidenreich, Mark Minas, Detlef Kips
  6. A Reliability Model Combining Representative and Directed Testing · Brian Mitchell, Steven J. Zeil
  7. A Scalable, Automated Process for Year 2000 System Correction · Johnson M. Hart, Antonio Pizzarello
  8. A Software Engineering Experiment in Software Component Generation · Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis + 4 more
  9. A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards · Aki Watanabe, Ken Sakamura
  10. A Standard Software Application Development: SAP R/3 (Abstract) · Hasso Plattner
  11. A Systematic Survey of CMM Experience and Results · James D. Herbsleb, Dennis R. Goldenson
  12. A Telecommunication Development: Siemens' Digital Switching System, EWSD (Abstract) · Hans-Eugen Binder
  13. An Analytic Framework for Specifying and Analyzing Imprecise Requirements · Xiaoqing Frank Liu, John Yen
  14. An Empirical Study of Static Call Graph Extractors · Gail C. Murphy, David Notkin, Erica S.-C. Lan
  15. An Evaluation of Software Test Environment Architectures · Nancy S. Eickelmann, Debra J. Richardson
  16. An Exact Array Reference Analysis for Data Flow Testing · István Forgács
  17. An Object-Oriented Implementation of B-ISDN Signalling - Part 2: Extendability Stands the Test · Alexander W. van der Vekens
  18. An Operating System Development: Windows 3 (Abstract) · Chip Anderson
  19. Analytical and Empirical Evaluation of Software Reuse Metrics · Premkumar T. Devanbu, Sakke Karstu, Walcélio L. Melo, William Thomas
  20. Assertion-Oriented Automated Test Data Generation · Bogdan Korel, Ali M. Al-Yami
  21. Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing · Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun
  22. Beyond Structured Programming · Si Pan, R. Geoff Dromey
  23. Checking Subsystem Safety Properties in Compositional Reachability Analysis · Shing-Chi Cheung, Jeff Kramer
  24. Configuration Management with Logical Structures · Yi-Jing Lin, Steven P. Reiss
  25. Cooperating Evolving Components: A Rigorous Approach to Evolving Large Software Systems · Robert Mark Greenwood, Brian Warboys, Jin Sa
  26. DYNAMITE: Dynamic Task Nets for Software Process Management · Peter Heimann, Gregor Joeris, Carl-Arndt Krapp, Bernhard Westfechtel
  27. Designing and Implementing COO: Design Process, Architectural Style, Lessons Learned · Claude Godart, Gérôme Canals, François Charoy, Pascal Molli, Hala Skaf
  28. Domain-Oriented Design Environments (Extended Abstract) · Gerhard Fischer
  29. Effort Estimation Using Analogy · Martin J. Shepperd, Chris Schofield, Barbara A. Kitchenham
  30. Engineering an "Open" Client/Server-Platform for a Distributed Austrian Alpine Road-Pricing System in 240 Days: Case Study and Experience Report · Stefan Biffl, Thomas Grechenig, Stephan Oberpfalzer
  31. Executable Object Modeling with Statecharts · David Harel, Eran Gery
  32. Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse · Kevin J. Sullivan, John C. Knight
  33. Experiences of Software Quality Management Using Metrics through the Life-Cycle · Hideto Ogasawara, Atsushi Yamada, Michiko Kojo
  34. Forcing Behavioral Subtyping through Specification Inheritance · Krishna Kishore Dhara, Gary T. Leavens
  35. GRIDS - GRaph-based, Integrated Development of Software: Integrating Different Perspectives of Software Engineering · Andreas Zamperoni
  36. How to Identify Binary Relations for Domain Models · Hermann Kaindl
  37. Independent On-Line Monitoring of Evolving Systems · Naftaly H. Minsky
  38. Industrial Experience with Design Patterns · Kent L. Beck, James Coplien, Ron Crocker, Lutz Dominick, Gerard Meszaros, Frances Paulisch + 1 more
  39. Large, Multimedia Programming - Concepts and Challenges (Abstract) · Simon J. Gibbs, Christian Breiteneder
  40. Linguistic Support for the Evolutionary Design of Software Architectures · T. C. Nicholas Graham, Tore Urnes
  41. Machine Support for Software Development (Abstract) · Douglas R. Smith
  42. Monitoring Compliance of a Software System with Its High-Level Design Models · Mohlalefi Sefika, Aamod Sane, Roy H. Campbell
  43. Multilanguage Interoperability in Distributed Systems · Mark J. Maybee, Dennis Heimbigner, Leon J. Osterweil
  44. OPSIS: A View Mechanism for Software Processes Which Supports Their Evolution and Reuse · Denis Avrilionis, Pierre-Yves Cunin, Christer Fernström
  45. Prototypes as Assets, not Toys: Why and How to Extract Knowledge from Prototypes · Kurt Schneider
  46. Reducing and Estimating the Cost of Test Coverage Criteria · Martina Marré, Antonia Bertolino
  47. Requirements for a Layered Software Architecture Supporting Cooperative Multi-User Interaction · Flavio De Paoli, Andrea Sosio
  48. Scene: Using Scenario Diagrams and Active Text for Illustrating Object-Oriented Programs · Kai Koskimies, Hanspeter Mössenböck
  49. Simplifying Data Integration: The Design of the Desert Software Development Environment · Steven P. Reiss
  50. Slicing Object-Oriented Software · Loren Larsen, Mary Jean Harrold
  51. Supporting the Construction and Evolution of Component Repositories · Scott Henninger
  52. System Acquisition Based on Software Product Assessment · Jean Mayrand, François Coallier
  53. System Dynamics Modeling of an Inspection-Based Process · Raymond J. Madachy
  54. The Design of Whole-Program Analysis Tools · Darren C. Atkinson, William G. Griswold
  55. The Program Understanding Problem: Analysis and a Heuristic Approach · Steven G. Woods, Qiang Yang
  56. The Role of Experimentation in Software Engineering: Past, Current, and Future · Victor R. Basili
  57. The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract) · C. A. R. Hoare
  58. The Role of Software Development Methodologies: Past, Present, and Future · Tom DeMarco
  59. Understanding and Predicting the Process of Software Maintenance Release · Victor R. Basili, Lionel C. Briand, Steven E. Condon, Yong-Mi Kim, Walcélio L. Melo, Jon D. Valett
  60. User Interface Prototyping - Concepts, Tools, and Experience · Dirk Bäumer, Walter R. Bischofberger, Horst Lichter, Heinz Züllighoven
  61. Using KIDS as a Tool Support for VDM · Yves Ledru