Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

081868271x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A tool-suite for reachability analysis of concurrent object-oriented programs

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1997.640173 ◽

2002 ◽

Cited By ~ 1

Author(s):

S. Iyer ◽

S. Ramesh

Keyword(s):

Object Oriented ◽

Reachability Analysis

Detecting common mode failures in N-version software using weakest precondition analysis

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1997.640184 ◽

2002 ◽

Author(s):

Gwang Sik Yoon ◽

Sung Deok Cha ◽

Yong Rae Kwon ◽

Chan Hyoung Yoo

Keyword(s):

Common Mode ◽

Weakest Precondition

Using extended event traces to describe communication in software architectures

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1997.640177 ◽

2002 ◽

Cited By ~ 6

Author(s):

M. Broy ◽

C. Hofmann ◽

I. Kruger ◽

M. Schmidt

Keyword(s):

Software Architectures

Client location tracking with k-step prediction and cache policy in ubiquitous information service network

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1997.640175 ◽

2002 ◽

Author(s):

Jang Hung-Chin ◽

Lien Yao-Nan ◽

Huang Jyh-Shyan

Keyword(s):

Information Service ◽

Location Tracking ◽

Service Network

Mapping Ada source code into an abstract program space

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1997.640174 ◽

2002 ◽

Author(s):

P.A. Bailes ◽

P. Burnim ◽

M. Chapman

Keyword(s):

Source Code

Petri nets based proofs of Ada 95 solution for preference control

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1997.640181 ◽

2002 ◽

Cited By ~ 1

Author(s):

K. Barkaoui ◽

C. Kaiser ◽

J.F. Pradat-Peyre

Keyword(s):

Petri Nets ◽

Ada 95

About the suitability of Petri nets for describing, validating and evaluating SA-RT specifications

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1997.640182 ◽

2002 ◽

Author(s):

A. Benzina ◽

M. Paludetto ◽

J. Delatour

Keyword(s):

Petri Nets

Software development as a workflow process

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1997.640185 ◽

2002 ◽

Cited By ~ 10

Author(s):

D.K.C. Chan ◽

K.R.P.H. Leung

Keyword(s):

Software Development

Design by contract for Python

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1997.640178 ◽

2002 ◽

Cited By ~ 12

Author(s):

R. Plosch

Keyword(s):

Design By Contract

Conceptual issues of an object-centered process model

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1997.640214 ◽

2002 ◽

Author(s):

M. Matsushita ◽

M. Oshita ◽

H. Iida ◽

K. Inoue

Keyword(s):

Process Model

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering ConferenceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

A tool-suite for reachability analysis of concurrent object-oriented programs

Detecting common mode failures in N-version software using weakest precondition analysis

Using extended event traces to describe communication in software architectures

Client location tracking with k-step prediction and cache policy in ubiquitous information service network

Mapping Ada source code into an abstract program space

Petri nets based proofs of Ada 95 solution for preference control

About the suitability of Petri nets for describing, validating and evaluating SA-RT specifications

Software development as a workflow process

Design by contract for Python

Conceptual issues of an object-centered process model

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference
Latest Publications