Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769509150

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analysis of the impact of reading technique and inspector capability on individual inspection performance

Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 ◽

10.1109/apsec.2000.896692 ◽

2002 ◽

Cited By ~ 11

Author(s):

S. Biffl

Keyword(s):

Reading Technique ◽

The Impact ◽

Inspection Performance

Checking compositions of UML sequence diagrams for timing inconsistency

Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 ◽

10.1109/apsec.2000.896694 ◽

2002 ◽

Author(s):

Xuandong Li ◽

J. Lilius

Keyword(s):

Sequence Diagrams

An education support system of information system design and implementation and lessons learned from its application

Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 ◽

10.1109/apsec.2000.896724 ◽

2002 ◽

Cited By ~ 1

Author(s):

A. Hazeyama ◽

K. Osada ◽

Y. Miyadera ◽

S. Yokoyama

Keyword(s):

Information System ◽

System Design ◽

Support System ◽

Lessons Learned ◽

Information System Design ◽

Design And Implementation ◽

Education Support

Extending Statecharts with ad lib and multi-thread features

Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 ◽

10.1109/apsec.2000.896716 ◽

2002 ◽

Author(s):

K.R.P.H. Leung

An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study

Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 ◽

10.1109/apsec.2000.896705 ◽

2002 ◽

Cited By ~ 10

Author(s):

S.-K. Kim ◽

D. Carrington

Keyword(s):

Control Case ◽

Light Control ◽

Integrated Framework

Fuzzy concepts and formal methods: some illustrative examples

Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 ◽

10.1109/apsec.2000.896704 ◽

2002 ◽

Cited By ~ 4

Author(s):

C. Matthews ◽

P.A. Swatman

Keyword(s):

Formal Methods

Unifying theories of healthiness condition

Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 ◽

10.1109/apsec.2000.896685 ◽

2002 ◽

Author(s):

He Jifeng ◽

C.A.R. Hoare

Service-based software: the future for flexible software

Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 ◽

10.1109/apsec.2000.896702 ◽

2002 ◽

Cited By ~ 72

Author(s):

K. Bennett ◽

P. Layzell ◽

D. Budgen ◽

P. Brereton ◽

L. Macaulay ◽

...

Keyword(s):

The Future

A study on static analysis in network of synchronizing FSMs

Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 ◽

10.1109/apsec.2000.896738 ◽

2002 ◽

Author(s):

J. Chen

Keyword(s):

Static Analysis

Visualising the influence of data structure choice on the performance of a distributed database system

Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 ◽

10.1109/apsec.2000.896736 ◽

2002 ◽

Author(s):

C. Churcher ◽

A. McKinnon ◽

R. Jarquin

Keyword(s):

Data Structure ◽

Distributed Database ◽

Database System ◽

Distributed Database System ◽

Structure Choice

Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Analysis of the impact of reading technique and inspector capability on individual inspection performance

Checking compositions of UML sequence diagrams for timing inconsistency

An education support system of information system design and implementation and lessons learned from its application

Extending Statecharts with ad lib and multi-thread features

An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study

Fuzzy concepts and formal methods: some illustrative examples

Unifying theories of healthiness condition

Service-based software: the future for flexible software

A study on static analysis in network of synchronizing FSMs

Visualising the influence of data structure choice on the performance of a distributed database system

Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000
Latest Publications