Abstract is missing.
- Quality and Reuse in Industrial Software EngineeringGreg Butler. 3-12 [doi]
- Quality assurance certification: adoption by Australian software developers and its association with capability maturityAileen Cater-Steel, Edmond P. Fitzgerald. 13-22 [doi]
- Criticality Models using SDL Metrics SetEuyseok Hong, Chi Su Wu. 23-30 [doi]
- Measuring Class Coupling and Cohesion: A Formal Metamodel ApproachSimon Moser, Vojislav B. Misic. 31 [doi]
- Possum: An Animator for the SUM Specification LanguageDaniel Hazel, Paul A. Strooper, Owen Traynor. 42-51 [doi]
- A Formal Operational Semantics for SOFLChris Ho-Stuart, Shaoying Liu. 52-61 [doi]
- Multi-Plan Attribute GrammarsWuu Yang. 62-71 [doi]
- Denotational Semantics for JSDWink Lok Yeung. 72 [doi]
- A distributed constraint-based search architecture for bus timetabling and duty assignmentHon Wai Chun. 82-88 [doi]
- Discovery of Cases for Case-Based Reasoning in EngineeringHaihong Dai. 89-96 [doi]
- Reducing Uncertainties in Data MiningYuhe Li, Haihong Dai. 97-105 [doi]
- HKBCN - A Hybrid Intelligent System for Knowledge RevisingXinyu Wu, John G. Hughes. 106 [doi]
- A methodology for object-oriented constraint programmingHon Wai Chun. 116-122 [doi]
- The Development of an Object-Oriented, Discrete-Event Simulation Language Using JavaPeter Martin. 123-130 [doi]
- Towards Constructing a Class Evolution ModelTakako Nakatani, Tetsuo Tamai, Atsushi Tomoeda, Harumi Matsuda. 131 [doi]
- Modular reasoning in Object-ZAlena Griffiths. 140-149 [doi]
- Finite Symbolic Reachability Graphs for High-Level Petri NetsNabil Hameurlain, Christophe Sibertin-Blanc. 150-159 [doi]
- A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented ProgramsSridhar Iyer, S. Ramesh. 160 [doi]
- Mapping Ada Source Code into an Abstract Program SpacePaul A. Bailes, Paul Burnim, Murray Chapman. 171-180 [doi]
- Client location tracking with k-step prediction and cache policy in ubiquitous information service networkHung-Chin Jang, Yao-Nan Lien, Jyh-Shyan Huang. 181-190 [doi]
- An Architecture and a Framework for IP ApplicationsMasami Noro, Kunio Goto. 191 [doi]
- Using Extended Event Traces to Describe Communication in Software ArchitecturesManfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt. 203-212 [doi]
- Design by Contract for PythonReinhold Plösch. 213-219 [doi]
- A Reverse Engineering Method and Experiences for Industrial COBOL SystemIkuyo Nagaoka, Katsuaki Sanou, Daisuke Ikeo, Michio Tsuda, Shin ichi Akiba. 220-228 [doi]
- Software Engineering Research: A Methodological AnalysisFranck Xia. 229 [doi]
- Petri nets based proofs of Ada 95 solution for preference controlKamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre. 238-248 [doi]
- About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT SpecificationsAdel Benzina, Mario Paludetto, Jérôme Delatour. 249-258 [doi]
- Integrating safety analysis and requirements engineeringGerald Kotonya, Ian Sommerville. 259-271 [doi]
- Detecting Common Mode Failures in N-Version Software Using Weakest Precondition AnalysisGwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan Hyung Yoo. 272 [doi]
- Software Development as a Workflow ProcessDaniel K. C. Chan, Karl R. P. H. Leung. 282-291 [doi]
- An Approach to Software Process Management Based on Formal Process Modeling and AnalysisSang-Yoon Min, Ik-Joo Han, Wei-Jin Park, Doo-Hwan Bae. 292-301 [doi]
- Genericity in method constructionVéronique Plihon, Colette Rolland. 302-311 [doi]
- Legacy Systems Migration : A Method and its Tool-Kit FrameworkBing Wu, Deirdre Lawless, Jesus Bisbal, Jane Grimson, Vincent Wade, Donie O Sullivan, Ray Richardson. 312 [doi]
- Object-oriented Web application architectures and development strategiesEun Sook Cho, Soo Dong Kim, Sung Yul Rhew, Sang Duck Lee, Chang Gap Kim. 322-331 [doi]
- Scenario reuse: a technique for complementing scenario-based requirements engineering approachesWing Lam. 332-341 [doi]
- A Design Framework for System Re-EngineeringXiaodong Liu, Zhiqiang Chen, Hongji Yang, Hussein Zedan, William C. Chu. 342 [doi]
- Cognitive Deficiencies in Software Library DesignSteven Atkinson. 354-363 [doi]
- A Theory of Interactions and Scenes for User Centered Systems Specification and VerificationAlberto Faro, Daniela Giordano. 364-373 [doi]
- Specifying the UQ* user-interface with Object-ZAndrew Hussey, David A. Carrington. 374 [doi]
- Compacting regression-suites on-the-flyErez Buchnik, Shmuel Ur. 385-394 [doi]
- Slicing Object-Oriented ProgramsJiun-Liang Chen, Feng-Jian Wang, Yung-Lin Chen. 395-404 [doi]
- On the Criteria of Allocating Test Cases under UncertaintyTsong Yueh Chen, Yuen-Tak Yu. 405-413 [doi]
- Translating Object-Z Specifications to Object-Oriented Test OraclesJason McDonald, Leesa Murray, Paul A. Strooper. 414 [doi]
- DOOD: Distributed Object-Oriented Software Development EnvironmentTae Hoon Kim, Woo-Chang Shin, Geun-Duk Park, Tae-Heun Lee, Taegyun Kim, Yeong-Gil Shin, Chi Su Wu. 427-434 [doi]
- MetaBuilder: a Generic CASE Tool BuilderMaokai Gong, Louise Scott, Ray Offen. 435-444 [doi]
- JB-OODBT: An Object-Oriented Database Toolkit for JB/CASEXu Xue Biao. 445-454 [doi]
- Conditional Evaluation in Simple Multi-Visit Attribute-Grammar EvaluatorsWuu Yang. 455 [doi]
- A Formal Model of Concurrency for Distributed Object-Oriented SystemsManuel Barrio-Solórzano, Pablo de la Fuente. 466-474 [doi]
- TPAL: A Timed-Probabilistic Model for Concurrent ProcessesAntonio Bueno, Valentín Valero Ruiz, Fernando Cuartero. 475-484 [doi]
- A Test-case Generation Method for Concurrent Programs Including Task-typesTetsuro Katayama, Zengo Furukawa, Kazuo Ushijima. 485-494 [doi]
- Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server SystemNoriki Ogura, Keizo Saisho, Akira Fukuda. 495 [doi]
- A Z Specification of Use Cases: A Preliminary ReportGreg Butler, Peter Grogono, Ferhat Khendek. 505-506 [doi]
- LOODS: a new learning-based object-oriented system development environmentDeyu Qi. 507-508 [doi]
- Integration of Application Systems by Modelling Information Shared Among ApplicationsParames Ghosh, George Feuerlicht. 509-510 [doi]
- A visual programming environment for Z specificationsStephen Wang-Cheung Lam, Keith C. C. Chan, Hareton K. N. Leung, Lawrence Chung. 511-512 [doi]
- Software Metrics and Application Domain ComplexityWei Li, Harry S. Delugach. 513-514 [doi]
- An Approach to Software Testability MeasurementJin-Cherng Lin, Szu-Wen Lin, Louis Huang. 515-516 [doi]
- Not Whether Java but How JavaChris S. Wallace, Peter Martin. 517-518 [doi]
- Conceptual Issues of an Object-Centered Process ModelMakoto Matsushita, Makoto Oshita, Hajimu Iida, Katsuro Inoue. 519-520 [doi]
- Software Requirements Definition for Specification DatabaseAtsushi Ohnishi. 521-520 [doi]
- Component-Based Software Development-A New Paradigm in Software Engineering?Wolfgang Pree. 523-524 [doi]
- Exploiting the advantages of object oriented programming in the implementation of a database design environmentNigel Stanger, Richard Pascoe. 525-526 [doi]
- Software Assisted Handover of Mobile Clients in Heterogeneous Wireless Computing EnvironmentsEdmond Sung, Arkady B. Zaslavsky. 527-528 [doi]
- An Overview of Legacy System MigrationJesus Bisbal, Deirdre Lawless, Bing Wu, Jane Grimson, Vincent Wade, Ray Richardson, Donie O Sullivan. 529 [doi]
- Tutorial: organizing, managing and optimizing software testingHans Schaefer. 532-533 [doi]
- Design Patterns-Essentials, Experience, Java Case StudyWolfgang Pree, Hermann Sikora. 534-535 [doi]
- OPEN-MeNtOR: a third generation OO methodology-advanced tasks and techniquesPaul A. Swatman. 536-537 [doi]
- Design and Implementation of Coordination and Workflow Management TechnologyFrank von Martial. 538 [doi]