Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93
Latest Publications

TOTAL DOCUMENTS

59

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818644400

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Recording software design processes for maintaining the software

Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 ◽

10.1109/cmpsac.1993.404211 ◽

2002 ◽

Author(s):

M. Hamada ◽

H. Adachi

Keyword(s):

Software Design ◽

Design Processes

Download Full-text

Software engineering in the commercial sector present and future: A United Kingdom perspective

Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 ◽

10.1109/cmpsac.1993.404218 ◽

2002 ◽

Author(s):

J.B. Thompson ◽

S.C. Stobart

Keyword(s):

United Kingdom ◽

Software Engineering ◽

Commercial Sector

Download Full-text

Z meets Haskell: A case study

Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 ◽

10.1109/cmpsac.1993.404235 ◽

2002 ◽

Author(s):

L.B. Sherrell ◽

D.L. Carver

Download Full-text

Object prototyping: Concept and specification language

Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 ◽

10.1109/cmpsac.1993.404190 ◽

2002 ◽

Author(s):

H.-J. Lee ◽

W.-T. Tsai

Keyword(s):

Specification Language

Download Full-text

Integrating abstraction flexibility with diverse program perspectives

Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 ◽

10.1109/cmpsac.1993.404193 ◽

2002 ◽

Author(s):

J.I. Khan ◽

I. Miyamoto

Download Full-text

Use of a specification construction and animation tool to teach formal methods

Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 ◽

10.1109/cmpsac.1993.404236 ◽

2002 ◽

Author(s):

I. Morrey ◽

J. Siddiqi ◽

G. Buckberry ◽

R. Hibberd

Keyword(s):

Download Full-text

Using computational learning theory to analyze the testing complexity of program segments

Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 ◽

10.1109/cmpsac.1993.404242 ◽

2002 ◽

Author(s):

K. Romanik ◽

J.S. Vitter

Keyword(s):

Learning Theory ◽

Computational Learning Theory ◽

Computational Learning

Download Full-text

Two-level processor scheduling for multiprogrammed NUMA multiprocessors

Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 ◽

10.1109/cmpsac.1993.404239 ◽

2002 ◽

Author(s):

A. Fukuda ◽

R. Fujiki ◽

H.-A. Kai

Keyword(s):

Processor Scheduling

Download Full-text

Process-centered project management system by stepwise particularizing software process

Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 ◽

10.1109/cmpsac.1993.404213 ◽

2002 ◽

Author(s):

K. Genji ◽

M. Ishiwaka ◽

T. Ogihara ◽

K. Inoue

Keyword(s):

Project Management ◽

Management System ◽

Software Process ◽

Project Management System

Download Full-text

A temporal model for transparent monitoring of shared-memory multiprocessors

Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 ◽

10.1109/cmpsac.1993.404245 ◽

2002 ◽

Author(s):

D.F. Robinson ◽

B.H.C. Cheng

Keyword(s):

Shared Memory ◽

Shared Memory Multiprocessors ◽

Download Full-text