The Community for Technology Leaders
Software Engineering: Education and Practice, International Conference on (1996)
Dunedin, NEW ZEALAND
Jan. 24, 1996 to Jan. 27, 1996
ISBN: 0-8186-7379-6
TABLE OF CONTENTS

Foreword (PDF)

pp. xi

Committees (PDF)

pp. xiii
Invited Paper
Software Engineering Education I: Courses

Simulating Real-Life Software Engineering Situations in the Classroom (Abstract)

M.J. Oudshoorn , Department of Computer Science, University of Adelaide, Adelaide, Australia
Al. Brown , Department of Computer Science, University of Adelaide, Adelaide, Australia
K.J. Maciunas , Department of Computer Science, University of Adelaide, Adelaide, Australia
pp. 20
Databases and Data Modeling I

Prescription or Description : Some observations on the conceptual modelling process (Abstract)

Clare Atkins , Massey University, Palmerston North, New Zealand
pp. 34

A Step by Step Method for Conceptual Data Analysis (Abstract)

Peter Eden , Centre for Information Systems Research, Swinburne University of Technology
pp. 42

Teaching Novice Conceptual Data Modellers to Become Experts (Abstract)

John R. Venable , Department of Computer Science, University of Waikato, Hamilton, New Zealand
pp. 50
Software Engineering Education II: Courses

Teaching Software Engineering in a Computer Science Department (Abstract)

Guszti Bartfai , Victoria University of Wellington
Gillian Dobbie , Victoria University of Wellington
pp. 58

Teaching Independent Novice Learners to Develop Relational Database Applications (Abstract)

Chris A Freyberg , Information Systems Department Massey University, Palmerston North, New Zealand
pp. 64
Databases and Data Modeling II

A front-end to deductive database systems for multiparadigm programming (Abstract)

Jia Liang Han , Dept. of Math. & Comput., Univ. of Southern Queensland, Toowoomba, Qld., Australia
pp. 78

A Language Abstraction Layer for Relational DBMS (Abstract)

Nigel Stanger , University of Otago, Dunedin, New Zealand
pp. 93
Formal Methods and Approaches I

Formal methods and software development (Abstract)

D. Andrews , Dept. of Math. & Comput. Sci., Leicester Univ., UK
pp. 106

An Investigation into the Effect of Students' Use of the CADiZ Tool for Checking Z Formal Specifications (Abstract)

Julian Webb , University of the West of England
Andrew Vince , University of the West of England
Jin Sa , University of the West of England
Stewart Green , University of the West of England
pp. 114
Software Engineering Education III: Courses

A Software Engineering Subject on System Description Techniques (Abstract)

Elizabeth Chang , La Trobe University and Intelligent Systems Lab Applied Computing Research Institute
pp. 124

The role of the individual project in teaching Knowledge Acquisition (Abstract)

Elizabeth A. Kemp , Massey University, Private Bag 11222, Palmerston North, New Zealand.
pp. 138
Estimation, Measurements, and Quality I

A framework for software engineering quality (Abstract)

F. O'Brien , Software Eng. Res. Centre, Melbourne, Vic., Australia
pp. 146

Project estimation using Screenflow Engineering (Abstract)

J. r , Auckland Univ., New Zealand
pp. 150

An Ongoing OO Software Engineering Measurement Experiment (Abstract)

Tim Menzies , Department of Software Development, Monash University
Sita Ramakrishnan , Department of Software Development, Monash University
pp. 160
Formal Methods and Approaches II

Practically Formal Methods (Abstract)

R. L. Danielson , Computer Engineering Department
R. E. Davis , Computer Engineering Department
pp. 168

Automated testing using executable formal specifications (Abstract)

N. Sanders , Dept. of Comput., Auckland Univ., New Zealand
pp. 176
Software Engineering Education IV: Curricula

An Extended Professional Development Program for Specialist Computing Teachers in Hong Kong (Abstract)

M.B. Stranks , MMSE Programme Manager, Dept. of Computer Science, City University of Hong Kong
M.C. Woodward , MMSE Programme Manager, School of Computing, Staffordshire University, UK
pp. 197

Barriers to a Collaborative, Multidisciplinary Pedagogy (Abstract)

Mark Werner , Carnegie Mellon University
pp. 203
Estimation, Measurements, and Quality II

A Modified Function Point Method for CAL Systems with Respect to Software Cost Estimation (Abstract)

Bruce Lo , Southern Cross University
Xiangzhu Gao , Southern Cross University
pp. 212

Laboratory practice with software quality assurance (Abstract)

C. Ho-Stuart , Queensland Univ. of Technol., Brisbane, Qld., Australia
R. Thomas , Queensland Univ. of Technol., Brisbane, Qld., Australia
pp. 220

A practical experiment in teaching software engineering metrics (Abstract)

R. Thomas , Sch. of Comput. Sci., Queensland Univ. of Technol., Brisbane, Qld., Australia
pp. 226
Software Programming I

Using Ada as the First Programming Language: A Retrospective (Abstract)

Douglas D. Grant , School of Computer Science and Software Engineering
R. K. Allen , School of Computer Science and Software Engineering
R. Smith , School of Computer Science and Software Engineering
pp. 234

A debugger and assertion checker for the Awk programming language (Abstract)

S. Banerjee , Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
I. Strnad , Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
G. Nabi , Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
J. Reinfelds , Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
U. Sarkans , Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
M. Auguston , Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
M. Mamnani , Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
pp. 242
Software Engineering Education V: Curricula

Software Engineering Education: from an Engineering Perspective (Abstract)

Valerie E. Veraart , Computer Science, PSET Murdoch University
Geoffrey G. Roy , Computer Science, PSET Murdoch University
pp. 256

Comparing a Computing Curriculum with the ACM/IEEE-CS Recommendations (Abstract)

E. D. Tempero , Department of Computer Science, Victoria University of Wellington
R. L. Biddle , Department of Computer Science, Victoria University of Wellington
pp. 263
Software Engineering Tools and Techniques I

Tools for Client Server Computing (Abstract)

Arthur Tatnall , RMIT and Victoria University of Technology Melbourne, Australia
Bill Davey , RMIT and Victoria University of Technology Melbourne, Australia
pp. 280
Software Programming II

After the C++ Appetizer Comes the COBOL Main Course (Abstract)

R. Godfrey , Dept. of Applied Computing and Mathematics
pp. 302

Seven Deadly Sins of Introductory Programming Language Design (Abstract)

Linda McIver , Monash University, Clayton 3168, Australia
Damian Conway , Monash University, Clayton 3168, Australia
pp. 309

Incorporating an Object-Oriented Programming Language into the First Year of a Software Engineering Education (Abstract)

John Ophel , School of Computer Science and Computer Engineering, La Trobe University, Bundoora, Victoria 3083, Australia.
pp. 317
Software Engineering Issues and Approaches I

Software engineering instructor in a practitioners' world: a job to be invented (Abstract)

Yves Mayadoux , Electricite de France, Direction des Etudes et Recherches
Veronique Narat , Electricite de France, Direction des Etudes et Recherches
pp. 324
Software Engineering Tools and Techniques II

Practising analysis and design with a professional CASE tool (Abstract)

D.M. Chamberlain , Dept. of Inf. Syst., City Univ. of Hong Kong, Hong Kong
R.E.M. Champion , Dept. of Inf. Syst., City Univ. of Hong Kong, Hong Kong
pp. 354

A group collaboration tool for software engineering projects (Abstract)

M. Purvis , Dept. of Comput. & Inf. Sci., Otago Univ., Dunedin, New Zealand
M. Purvis , Dept. of Comput. & Inf. Sci., Otago Univ., Dunedin, New Zealand
P. Jones , Dept. of Comput. & Inf. Sci., Otago Univ., Dunedin, New Zealand
pp. 362
Processes and Models in Software Engineering I

Towards a Domain Framework for Modelling Linear Space in Urban Setups (Abstract)

W. Kruetzer , University of Canterbury, New Zealand
M. Naguleswaran , University of Canterbury, New Zealand
pp. 372

Using the CMM to Evaluate Student SE Projects (Abstract)

H. Younessi , School of Computer Science and Software Engineering
Douglas D. Grant , School of Computer Science and Software Engineering
pp. 386
Software Engineering Issues and Approaches II

An interdisciplinary approach to multimedia systems education: the Otago experience (Abstract)

J. McDonald , Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand
W.B.L. Wong , Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand
M. McGuire , Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand
pp. 394

IT Project Management: developing on-going skills in the management of software development projects (Abstract)

Arthur Tatnall , Victoria University of Technology
Peter Shackleton , Victoria University of Technology
pp. 400

Experience with a Process-driven Approach to Software Engineering Education (Abstract)

S.L. Wright , Murdoch University, Perth, Western Australia
V.E. Veraart , Murdoch University, Perth, Western Australia
pp. 406
Computer-Human Interfaces

Extensions to the PUIST User Interface Specification Too (Abstract)

Rick Mugridge , University of Auckland, New Zealand
Xiaosong Li , University of Auckland, New Zealand
pp. 416
Processes and Models in Software Engineering II

Workflow support for change management and concurrency (Abstract)

I. Gorton , Sch. of Comput. Sci., Univ. of Technol., Sydney, NSW, Australia
I.T. Hawryszkiewycz , Sch. of Comput. Sci., Univ. of Technol., Sydney, NSW, Australia
pp. 442

A new method for modelling by artificial neural networks (Abstract)

H.H. He , Dept. of Electr. Eng., Guangdong Univ. of Technol., Guangzhou, China
Q.Q. Zhou , Dept. of Electr. Eng., Guangdong Univ. of Technol., Guangzhou, China
L. Lu , Dept. of Electr. Eng., Guangdong Univ. of Technol., Guangzhou, China
H.B. Laing , Dept. of Electr. Eng., Guangdong Univ. of Technol., Guangzhou, China
pp. 450
Software Engineering Tools and Techniques II

Combining the use of software tools to generate interfaces (Abstract)

Richard T. Pascoe , University of Otago, Dunedin, New Zealand
pp. 458
Estimation, Measurements, and Quality II

Looking for the human factors in software quality management (Abstract)

D. J. Barnes , Massey University
S. F. Hurley , Massey University
S. A. Thomas , Manawatu Polytechnic
pp. 474

Software forensics: old methods for a new science (Abstract)

A. Aakjaer , Dept. of Comput. & Inf. Sci., Otago Univ., Dunedin, New Zealand
S. MacDonell , Dept. of Comput. & Inf. Sci., Otago Univ., Dunedin, New Zealand
P. Sallis , Dept. of Comput. & Inf. Sci., Otago Univ., Dunedin, New Zealand
pp. 481
Section 2: Workshop Discussion Reports

Social issues in software engineering (Abstract)

R. Godfrey , Tasmania Univ., Launceston, Tas., Australia
pp. 488

Testing and maintenance in software engineering education (PDF)

G. Kennedy , Dept. of Inf. Sci., Otago Univ., Dunedin, New Zealand
pp. 494

Technology transfer to and from the industrial sector (PDF)

K.I. Mitchell , New Zealand Comput. Soc. Inc., New Zealand
pp. 495

Software process assessment and improvement (Abstract)

B. Morgan , Tasmania Univ., Hobart, Tas., Australia
G. Lowry , Tasmania Univ., Hobart, Tas., Australia
pp. 497

Transition to object orientation in software engineering education (Abstract)

B. Morgan , Tasmania Univ., Hobart, Tas., Australia
G. Lowry , Tasmania Univ., Hobart, Tas., Australia
pp. 506

Report on discussion group B3: agents in software engineering (Abstract)

S. Cranefield , Dept. of Comput. & Inf. Sci., Otago Univ., Dunedin, New Zealand
P. Gorman , Dept. of Comput. & Inf. Sci., Otago Univ., Dunedin, New Zealand
pp. 511

Computer-supported cooperative work (Abstract)

A. Houghton , Carnegie Mellon Univ., Pittsburgh, PA, USA
B. Bruegge , Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 516

Author Index (PDF)

pp. 522
117 ms
(Ver )