Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th APSEC / 4th ICSC 1997: Clear Water Bay, Hong Kong
- 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong. IEEE Computer Society 1997, ISBN 0-8186-8271-X
Metrics and Quality Assurance
- Greg Butler:
Quality and Reuse in Industrial Software Engineering. 3-12 - Aileen Cater-Steel, Edmond P. Fitzgerald:
Quality assurance certification: adoption by Australian software developers and its association with capability maturity. 13-22 - Euyseok Hong, Chisu Wu:
Criticality Models using SDL Metrics Set. 23-30 - Simon Moser, Vojislav B. Misic:
Measuring Class Coupling and Cohesion: A Formal Metamodel Approach. 31-
Formal Methods
- Daniel Hazel, Paul A. Strooper, Owen Traynor:
Possum: An Animator for the SUM Specification Language. 42-51 - Chris Ho-Stuart, Shaoying Liu:
A Formal Operational Semantics for SOFL. 52-61 - Wuu Yang:
Multi-Plan Attribute Grammars. 62-71 - Wing Lok Yeung:
Denotational Semantics for JSD. 72-
Knowledge and Logic Based Systems
- Hon Wai Chun
:
A distributed constraint-based search architecture for bus timetabling and duty assignment. 82-88 - Haihong Dai:
Discovery of Cases for Case-Based Reasoning in Engineering. 89-96 - Yuhe Li, Haihong Dai:
Reducing Uncertainties in Data Mining. 97-105 - Xinyu Wu, John G. Hughes:
HKBCN - A Hybrid Intelligent System for Knowledge Revising. 106-
Object-Oriented Techniques
- Hon Wai Chun:
A methodology for object-oriented constraint programming. 116-122 - Peter Martin:
The Development of an Object-Oriented, Discrete-Event Simulation Language Using Java. 123-130 - Takako Nakatani, Tetsuo Tamai, Atsushi Tomoeda, Harumi Matsuda:
Towards Constructing a Class Evolution Model. 131-
Validation and Verification I
- Alena Griffiths:
Modular reasoning in Object-Z. 140-149 - Nabil Hameurlain, Christophe Sibertin-Blanc:
Finite Symbolic Reachability Graphs for High-Level Petri Nets. 150-159 - Sridhar Iyer, S. Ramesh:
A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs. 160-
Distributed and Mobile Systems
- Paul A. Bailes, Paul Burnim, Murray Chapman:
Mapping Ada Source Code into an Abstract Program Space. 171-180 - Hung-Chin Jang, Yao-Nan Lien, Jyh-Shyan Huang:
Client location tracking with k-step prediction and cache policy in ubiquitous information service network. 181-190 - Masami Noro, Kunio Goto:
An Architecture and a Framework for IP Applications. 191-
Software Design Methodology I
- Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt:
Using Extended Event Traces to Describe Communication in Software Architectures. 203-212 - Reinhold Plösch:
Design by Contract for Python. 213-219 - Ikuyo Nagaoka, Katsuaki Sanou, Daisuke Ikeo, Michio Tsuda, Shin'ichi Akiba:
A Reverse Engineering Method and Experiences for Industrial COBOL System. 220-228 - Franck Xia:
Software Engineering Research: A Methodological Analysis. 229-
Validation and Verification I
- Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre:
Petri nets based proofs of Ada 95 solution for preference control. 238-248 - Adel Benzina, Mario Paludetto, Jérôme Delatour:
About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications. 249-258 - Gerald Kotonya, Ian Sommerville:
Integrating safety analysis and requirements engineering. 259-271 - Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan Hyung Yoo:
Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis. 272-
Software Process
- Daniel Kim Chung Chan, Karl R. P. H. Leung:
Software Development as a Workflow Process. 282-291 - Sang-Yoon Min, Ik-Joo Han, Wei-Jin Park, Doo-Hwan Bae:
An Approach to Software Process Management Based on Formal Process Modeling and Analysis. 292-301 - Véronique Plihon, Colette Rolland:
Genericity in method construction. 302-311 - Bing Wu, Deirdre Lawless, Jesus Bisbal, Jane Grimson, Vincent Wade, Donie O'Sullivan, Ray Richardson:
Legacy Systems Migration : A Method and its Tool-Kit Framework. 312-
Software Design Methodology II
- Eun Sook Cho, Soo Dong Kim, Sung Yul Rhew, Sang Duck Lee, Chang Gap Kim:
Object-oriented Web application architectures and development strategies. 322-331 - Wing Lam:
Scenario reuse: a technique for complementing scenario-based requirements engineering approaches. 332-341 - Xiaodong Liu, Zhiqiang Chen, Hongji Yang, Hussein Zedan, William C. Chu:
A Design Framework for System Re-Engineering. 342-
User Interaction
- Steven Atkinson:
Cognitive Deficiencies in Software Library Design. 354-363 - Alberto Faro, Daniela Giordano:
A Theory of Interactions and Scenes for User Centered Systems Specification and Verification. 364-373 - Andrew Hussey, David A. Carrington:
Specifying the UQ* user-interface with Object-Z. 374-
Testing
- Erez Buchnik, Shmuel Ur:
Compacting regression-suites on-the-fly. 385-394 - Jiun-Liang Chen, Feng-Jian Wang, Yung-Lin Chen:
Slicing Object-Oriented Programs. 395-404 - Tsong Yueh Chen, Yuen-Tak Yu:
On the Criteria of Allocating Test Cases under Uncertainty. 405-413 - Jason McDonald, Leesa Murray, Paul A. Strooper:
Translating Object-Z Specifications to Object-Oriented Test Oracles. 414-
Software Development Environment
- Tae-Hoon Kim, Woochang Shin, Geunduk Park, Tae-Heun Lee, Taegyun Kim, Yeong-Gil Shin, Chisu Wu:
DOOD: Distributed Object-Oriented Software Development Environment. 427-434 - Maokai Gong, Louise Scott, Ray Offen:
MetaBuilder: a Generic CASE Tool Builder. 435-444 - Xu Xue Biao:
JB-OODBT: An Object-Oriented Database Toolkit for JB/CASE. 445-454 - Wuu Yang:
Conditional Evaluation in Simple Multi-Visit Attribute-Grammar Evaluators. 455-
Concurrency
- Manuel Barrio-Solórzano, Pablo de la Fuente:
A Formal Model of Concurrency for Distributed Object-Oriented Systems. 466-474 - Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero:
TPAL: A Timed-Probabilistic Model for Concurrent Processes. 475-484 - Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima:
A Test-case Generation Method for Concurrent Programs Including Task-types. 485-494 - Noriki Ogura, Keizo Saisho, Akira Fukuda:
Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System. 495-
Concise Papers
- Greg Butler, Peter Grogono, Ferhat Khendek:
A Z Specification of Use Cases: A Preliminary Report. 505-506 - Deyu Qi:
LOODS: a new learning-based object-oriented system development environment. 507-508 - Parames Ghosh, George Feuerlicht:
Integration of Application Systems by Modelling Information Shared Among Applications. 509-510 - Stephen Wang-Cheung Lam, Keith C. C. Chan, Hareton K. N. Leung, Lawrence Chung:
A visual programming environment for Z specifications. 511-512 - Wei Li, Harry S. Delugach:
Software Metrics and Application Domain Complexity. 513-514 - Jin-Cherng Lin, Szu-Wen Lin, Louis Huang:
An Approach to Software Testability Measurement. 515-516 - Chris Wallace, Peter Martin:
Not Whether Java but How Java. 517-518 - Makoto Matsushita, Makoto Oshita, Hajimu Iida, Katsuro Inoue:
Conceptual Issues of an Object-Centered Process Model. 519-520 - Atsushi Ohnishi:
Software Requirements Definition for Specification Database. 521-520 - Wolfgang Pree:
Component-Based Software Development-A New Paradigm in Software Engineering? 523-524 - Nigel Stanger, Richard Pascoe:
Exploiting the advantages of object oriented programming in the implementation of a database design environment. 525-526 - Edmond Sung, Arkady B. Zaslavsky:
Software Assisted Handover of Mobile Clients in Heterogeneous Wireless Computing Environments. 527-528 - Jesus Bisbal, Deirdre Lawless, Bing Wu, Jane Grimson, Vincent Wade, Ray Richardson, Donie O'Sullivan:
An Overview of Legacy System Migration. 529-
Tutorial Summaries
- Hans Schaefer:
Tutorial: organizing, managing and optimizing software testing. 532-533 - Wolfgang Pree, Hermann Sikora:
Design Patterns-Essentials, Experience, Java Case Study. 534-535 - Paul A. Swatman:
OPEN-MeNtOR: a third generation OO methodology-advanced tasks and techniques. 536-537 - Frank von Martial:
Design and Implementation of Coordination and Workflow Management Technology. 538-
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
