Tenth Asia-Pacific Software Engineering Conference, 2003.
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769520111

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modeling complex systems by a set of interacting finite-state models

Tenth Asia-Pacific Software Engineering Conference, 2003. ◽

10.1109/apsec.2003.1254392 ◽

2004 ◽

Cited By ~ 2

Author(s):

S. Kundu

Keyword(s):

Complex Systems ◽

Finite State ◽

State Models ◽

Finite State Models

Exploring the relationship between experience and group performance in software revieew

Tenth Asia-Pacific Software Engineering Conference, 2003. ◽

10.1109/apsec.2003.1254405 ◽

2004 ◽

Author(s):

Yuk Kuen Wong ◽

D. Wilson

Keyword(s):

Group Performance ◽

The Relationship

Case study:reconnaissance techniques to support feature location using RECON2

Tenth Asia-Pacific Software Engineering Conference, 2003. ◽

10.1109/apsec.2003.1254391 ◽

2004 ◽

Cited By ~ 1

Author(s):

S. Ibrahim ◽

N.B. Idris ◽

A. Deraman

Keyword(s):

Feature Location

Specification matching of state-based modular components

Tenth Asia-Pacific Software Engineering Conference, 2003. ◽

10.1109/apsec.2003.1254400 ◽

2004 ◽

Cited By ~ 3

Author(s):

D. Hemer

Keyword(s):

Specification Matching

Academia and industry meet: some experiences of formal methods in practice

Tenth Asia-Pacific Software Engineering Conference, 2003. ◽

10.1109/apsec.2003.1254357 ◽

2004 ◽

Cited By ~ 6

Author(s):

G.H. Broadfoot ◽

P.J. Broadfoot

Keyword(s):

Formal Methods

Challenging formal specifications by mutation: a CSP security example

Tenth Asia-Pacific Software Engineering Conference, 2003. ◽

10.1109/apsec.2003.1254388 ◽

2004 ◽

Cited By ~ 10

Author(s):

T. Srivatanakul ◽

J.A. Clark ◽

S. Stepney ◽

F. Polack

Keyword(s):

Formal Specifications

PAORE: package oriented requirements elicitation

Tenth Asia-Pacific Software Engineering Conference, 2003. ◽

10.1109/apsec.2003.1254354 ◽

2004 ◽

Cited By ~ 8

Author(s):

J. Kato ◽

M. Saeki ◽

A. Ohnishi ◽

M. Nagata ◽

H. Kaiya ◽

...

Keyword(s):

Requirements Elicitation

Cots characterization model in a Cots-based development environment

Tenth Asia-Pacific Software Engineering Conference, 2003. ◽

10.1109/apsec.2003.1254389 ◽

2004 ◽

Cited By ~ 4

Author(s):

S.B. Sassi ◽

L.L. Jilani ◽

H.H.B. Ghezala

Keyword(s):

Development Environment ◽

Characterization Model

Implementating exception handling policies for workflow management system

Tenth Asia-Pacific Software Engineering Conference, 2003. ◽

10.1109/apsec.2003.1254411 ◽

2004 ◽

Author(s):

Jinmiao Li ◽

Yun Mai ◽

G. Butler

Keyword(s):

Management System ◽

Workflow Management ◽

Exception Handling ◽

Workflow Management System

An analysis of backward simulation data-refinement for partial relation semantics

Tenth Asia-Pacific Software Engineering Conference, 2003. ◽

10.1109/apsec.2003.1254356 ◽

2004 ◽

Cited By ~ 4

Author(s):

M. Deutsch ◽

M.C. Henson

Keyword(s):

Data Refinement ◽

Simulation Data ◽

Partial Relation

Tenth Asia-Pacific Software Engineering Conference, 2003.Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Modeling complex systems by a set of interacting finite-state models

Exploring the relationship between experience and group performance in software revieew

Case study:reconnaissance techniques to support feature location using RECON2

Specification matching of state-based modular components

Academia and industry meet: some experiences of formal methods in practice

Challenging formal specifications by mutation: a CSP security example

PAORE: package oriented requirements elicitation

Cots characterization model in a Cots-based development environment

Implementating exception handling policies for workflow management system

An analysis of backward simulation data-refinement for partial relation semantics

Tenth Asia-Pacific Software Engineering Conference, 2003.
Latest Publications