The Community for Technology Leaders
Israeli Conference on Computer-Based Systems and Software Engineering (1996)
Herzliya, ISRAEL
June 10, 1996 to June 12, 1996
ISBN: 0-8186-7536-5
TABLE OF CONTENTS

Foreword (PDF)

pp. vii
Session 1: Keynote Address
Session 2 - The Software Process

Combining function points software estimation model with ADISSA methodology for systems analysis and design (Abstract)

P. Shoval , Dept. of Ind. Eng. & Manage., Ben-Gurion Univ. of the Negev, Beer-Sheva, Israel
O. Feldman , Dept. of Ind. Eng. & Manage., Ben-Gurion Univ. of the Negev, Beer-Sheva, Israel
pp. 3

Improvement and ISO9001 certification in BVR (Abstract)

I. Sovinski , BVR, Givataim, Israel
pp. 9

Modelling an industrial software process using a commercially available tool (Abstract)

D. Martin , Broadcom Eireann Res., Dublin, Ireland
J. Hallstrand , Broadcom Eireann Res., Dublin, Ireland
H. Malm , Broadcom Eireann Res., Dublin, Ireland
P. Jauhiainen , Broadcom Eireann Res., Dublin, Ireland
R. Nilsson , Broadcom Eireann Res., Dublin, Ireland
pp. 14
Session 3 - Architecture and Parallelism

Hardware timing verification using KRONOS (Abstract)

O. Maler , SPECTRE, Montbonnot, France
S. Yovine , SPECTRE, Montbonnot, France
pp. 23

A C++/Linda model for distributed objects (Abstract)

R. Drucker , Dept. of Math. & Comput. Sci., Bar-Ilan Univ., Ramat-Gan, Israel
A. Frank , Dept. of Math. & Comput. Sci., Bar-Ilan Univ., Ramat-Gan, Israel
pp. 30

Performance of PVM with the MOSIX preemptive process migration scheme (Abstract)

O. Laden , Inst. of Comput. Sci., Hebrew Univ., Jerusalem, Israel
I. Gilderman , Inst. of Comput. Sci., Hebrew Univ., Jerusalem, Israel
A. Braverman , Inst. of Comput. Sci., Hebrew Univ., Jerusalem, Israel
A. Barak , Inst. of Comput. Sci., Hebrew Univ., Jerusalem, Israel
pp. 38

ePASS-a software-based POWER simulator (Abstract)

S. Weiss , Dept. of Electr. Eng., Tel Aviv Univ., Israel
A. Goldstein , Dept. of Electr. Eng., Tel Aviv Univ., Israel
pp. 46
Session 4 - Programming Languages

Creating transient hypertextual access structures for C programs (Abstract)

J. Koskinen , Dept. of Comput. Sci. & Inf. Syst., Jyvaskyla Univ., Finland
pp. 56
Session 5 - Novel Developments

Automatic jazz accompaniment computation: an open advice-based approach (Abstract)

S. Irish , Ben-Gurion Univ. of the Negev, Beer-Sheva, Israel
M. Balaban , Ben-Gurion Univ. of the Negev, Beer-Sheva, Israel
pp. 67

Computer science apprenticeship (Abstract)

M. Guzdial , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
J. Stasko , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
A. Shabo , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 77

A System for Document Reuse (Abstract)

J. Gil , Fac. of Comput. Sci., Technion-Israel Inst. of Technol., Haifa, Israel
D. Barta , Fac. of Comput. Sci., Technion-Israel Inst. of Technol., Haifa, Israel
pp. 83
Session 6 - Design and Analysis

Systematic derivation of operational requirements using the ECSAM method (Abstract)

J.Z. Lavi , CBSE Assoc., Ramat Gan, Israel
J. Kudish , CBSE Assoc., Ramat Gan, Israel
pp. 96

Tool and method reciprocity: a case study in requirements management (Abstract)

M. Winokur , Israel Aircraft Ind., Ben-Gurion, Israel
J. Kudish , Israel Aircraft Ind., Ben-Gurion, Israel
R. Gallant , Israel Aircraft Ind., Ben-Gurion, Israel
pp. 109

Testing concurrent programs: a formal evaluation of coverage criteria (Abstract)

Y. Lichtenstein , Res. Lab., IBM Israel Sci. & Technol. Center, Haifa, Israel
Y. Malka , Res. Lab., IBM Israel Sci. & Technol. Center, Haifa, Israel
E. Farchi , Res. Lab., IBM Israel Sci. & Technol. Center, Haifa, Israel
M. Factor , Res. Lab., IBM Israel Sci. & Technol. Center, Haifa, Israel
pp. 119
Invited Speaker
Session 7 - Databases, Workflows, and the Internet

GEO-WASA-combining GIS technology with workflow management (Abstract)

G. Vossen , Dept. de Ciencia da Comput., Univ. Estadual de Campinas, Sao Paulo, Brazil
C.B. Medeiros , Dept. de Ciencia da Comput., Univ. Estadual de Campinas, Sao Paulo, Brazil
M. Weske , Dept. de Ciencia da Comput., Univ. Estadual de Campinas, Sao Paulo, Brazil
pp. 129

Integrating groupware activities into workflow management systems (Abstract)

G.E. Kaiser , Dept. of Mater. Eng., Technion-Israel Inst. of Technol., Haifa, Israel
I.Z. Ben-Shaul , Dept. of Mater. Eng., Technion-Israel Inst. of Technol., Haifa, Israel
pp. 140

Author Index (PDF)

pp. 151
105 ms
(Ver 3.3 (11022016))