Abstract is missing.
- Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software ArchitecturesDines Bjørner. 2-11 [doi]
- Communication, Collaboration, and Cooperation in Software Development-How Should We Support Group Work in Software Development?Motoshi Saeki. 12 [doi]
- Dynamic Data Flow Analysis for C++Tsong Yueh Chen, Chi Keen Low. 22-28 [doi]
- Event Interactions Graph for Test-case Generation of Concurrent ProgramsTetsuro Katayama, Zengo Furukawa, Kazuo Ushijima. 29-37 [doi]
- A Criticism on the Capture-and-Recapture Method for Software Reliability AssuranceSadahiro Isoda. 38 [doi]
- From Scenarios to Timed Automata: Building Specifications from Users RequirementsStéphane S. Somé, Rachida Dssouli, Jean G. Vaucher. 48-57 [doi]
- Expressing Inter-Perspective Relationships: A Logical ApproachLaurent Perrussel. 58-63 [doi]
- Building the Structure of Specification Documents from Utterances of Requirements Elicitation MeetingsNobuyuki Miura, Haruhiko Kaiya, Motoshi Saeki. 64 [doi]
- Two Dimensional Concurrent Program DebuggingLu Xu, Michal Young. 76-85 [doi]
- Reasoning about Concurrent ObjectsHeinz W. Schmidt, Jian Chen. 86-95 [doi]
- An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis InformationHyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim. 96 [doi]
- Class Exerciser: A Basic CASE Tool for Object-Oriented DevelopmentChien-Min Wang, Y. S. Kuo. 108-116 [doi]
- A Reorganization Framework of the Object-Oriented Class HierarchySuk-hyung Hwang, Yoshihiro Tsujino, Nobuki Tokura. 117-126 [doi]
- Complexity Measures for Object-Oriented Program Based on the EntropyKapsu Kim, Yeongi Shin, Chisu Wu. 127-136 [doi]
- A Survey of Experiences amongst Object-Oriented PractitionersJohn W. Daly, James Miller, Andrew Brooks, Marc Roper, Murray Wood. 137 [doi]
- Software Engineering Education - Adding Process to Projects Theory, Practice and ExperienceVal E. Veraart, S. L. Wright. 148-157 [doi]
- Management of Distributed Concurrent Development for Large-Scale Software SystemsMikio Aoyama. 158-167 [doi]
- Development of Distributed Applications with Separation of ConcernsAntónio Rito Silva, Pedro Sousa, José Alves Marques. 168 [doi]
- A Hierarchical Framework for Designing Reliable Distributed SystemsWilson C. H. Cheng, Xiaohua Jia. 180-188 [doi]
- Evolutional Agents: Field Oriented Programming Language, FlageFumihiro Kumeno, Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden. 189-198 [doi]
- Architectural Abstractions for Real-Time SoftwareFlavio De Paoli, Francesco Tisato. 199-208 [doi]
- Toward Software Metrics for Distributed SoftwareWoei-Jiunn Tsaur, Shi-Jinn Horng. 209 [doi]
- On the Analysis of Subdomain Testing StrategiesTsong Yueh Chen, Hing Leung, Yuen-Tak Yu. 218-224 [doi]
- An Enhanced Zero-One Optimal Path Set Selection MethodChyan-Goei Chung, Jen-Gaw Lee. 225 [doi]
- Testing of Object-Oriented Programs Based on Finite State MachinesHyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha. 234 [doi]
- Test Suite Generation Methods for Concurrent Systems Based on Colored Petri NetsHarumi Watanabe, Tomohiro Kudoh. 242 [doi]
- An Integrated Support Environment for Distributed Software Development based on Unified Program RepresentationsYoshiaki Kasahara, Yoshinari Nomura, Masayuki Kamachi, Jingde Cheng, Kazuo Ushijima. 254-263 [doi]
- Software Environment Support for Integrated Formal Program Specification and DevelopmentJohn C. Grundy, John G. Hosking. 264-273 [doi]
- Modelling Systems that Integrate Programming Language and Environment MechanismsKeith J. Ransom, Chris D. Marlin. 274-281 [doi]
- Providing Configuration Management Support in Software Engineering EnvironmentsJun Han. 282 [doi]
- Animating Z: Interactivity, Transparency and EquivalenceMark Utting. 294-303 [doi]
- Living with Free Type and Class UnionJin Song Dong. 304-312 [doi]
- Systematic Development of the Human InterfaceDavid J. Duke, Philip J. Barnard, Jon May, David A. Duce. 313 [doi]
- An Approach to Reverse Quality Assurance with Data-Oriented Program AnalysisYoshio Kataoka, Masayuki Hirayama, Jiro Okayasu, Tetsuji Fukaya. 324-332 [doi]
- Teaching Software Quality and Leadership: Experiences and SuccessesJudy Bamberger, James Hook. 333-344 [doi]
- An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan InspectionSun Sup So, Yongseop Lim, Sung Deok Cha, Yong Rae Kwon. 345 [doi]
- Deriving Programs by Combining and Adapting Refinement ScriptsLindsay Groves. 354-363 [doi]
- Knowledge Acquisition and Integration on Specification Change-A Method for Systematic ReuseSaeko Matsuura, Shinichi Honiden. 364-373 [doi]
- Relationship Between Query Interface and Profiles in Reuse Support SystemHyuksoo Han. 374 [doi]
- Prototyping the Structured Specification as Logic ProgramsKarl R. P. H. Leung, Daniel K. C. Chan. 380-389 [doi]
- A Maintenance Support System based on High-Level Control-Flow and Data DependencyAkihiko Matsuo, Sanya Uehara, Minako Kimura. 390-398 [doi]
- Flexible Module Operation Scheme in Formal Specification ProcessHisayuki Horai. 399 [doi]
- An Environment for the Reverse Engineering of Executable ProgramsCristina Cifuentes. 410-419 [doi]
- CARD: An Environment for Software Requirements DefinitionAtsushi Ohnishi. 420-429 [doi]
- Design and Implementation of a Method Base Management System for a Situational CASE EnvironmentFrank Harmsen, Sjaak Brinkkemper. 430-438 [doi]
- A Simple Configuration Management System for CASE RepositoryLee Taeheun, Chisu Wu. 439 [doi]
- Re-engineering 4GL-based Information System ApplicationsJohn V. Harrison, Paul A. Bailes, Anthony Berglas, Ian Peake. 448-457 [doi]
- An Integrated Approach to IS modelingDavid Leadbetter. 458-467 [doi]
- Integration of Software Process Management and Development History RecordingStefan Dißmann, Volker Gruhn, Dirk Ohrndorf. 468 [doi]
- Soft Typing of General First-Order LanguagesH. Becht, John Staples. 480-488 [doi]
- Reasoning about Object-Z SpecificationsGraeme Smith. 489-497 [doi]
- Limitations of Formal Methods and an Approach to ImprovementShaoying Liu, Rolf Adams. 498 [doi]
- Software Process Improvement ParadigmsLin Zucconi. 510 [doi]
- Software Process Improvement Paradigms for IT Industry: Why the Bottom-Up Approach Fits BestLin Zucconi. 511 [doi]
- The Ericsson s Approach to Software ImprovementsBarbara Imbor-Maciag. 512 [doi]
- Are Formal Methods Relevant?Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart. 513 [doi]
- Is Software Engineering Really Engineering?Graham C. Low, D. Ross Jeffery, Ray Offen, Judy Bamberger. 518 [doi]
- Is Software Engineering Really Engineering?Graham Low. 519 [doi]
- Is Software Engineering Really Engineering?Ray Offen. 520 [doi]
- Software Engineering Research ValidationD. Ross Jeffery. 522 [doi]