Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769507107

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal construction of the Mathematically Analyzed Separation Kernel

Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.2000.873658 ◽

2000 ◽

Cited By ~ 14

Author(s):

W. Martin ◽

P. White ◽

F.S. Taylor ◽

A. Goldberg

Keyword(s):

Separation Kernel ◽

Formal Construction

Download Full-text

Issues for the automatic generation of safety critical software

Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.2000.873677 ◽

2000 ◽

Cited By ~ 5

Author(s):

C. O'Halloran

Keyword(s):

Automatic Generation ◽

Safety Critical

Download Full-text

Circular coinductive rewriting

Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.2000.873657 ◽

2000 ◽

Cited By ~ 29

Author(s):

J. Goguen ◽

K. Lin ◽

C. Rosu

Download Full-text

Specialization patterns

Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.2000.873664 ◽

2000 ◽

Cited By ~ 5

Author(s):

U.P. Schultz ◽

J.I. Lawall ◽

C. Consel

Download Full-text

An experiment in scientific program understanding

Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.2000.873678 ◽

2000 ◽

Cited By ~ 2

Author(s):

M.E.M. Stewart

Keyword(s):

Scientific Program ◽

Program Understanding

Download Full-text

Management of change in structured verification

Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.2000.873647 ◽

2000 ◽

Cited By ~ 15

Author(s):

D. Hutter

Keyword(s):

Management Of Change

Download Full-text

Automated security checking and patching using TestTalk

Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.2000.873673 ◽

2000 ◽

Cited By ~ 1

Author(s):

C. Liu ◽

D.J. Richardson

Download Full-text

Finding comparatively important concepts between texts

Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.2000.873650 ◽

2000 ◽

Cited By ~ 7

Author(s):

R. Lecoeuche

Download Full-text

A DSL approach to improve productivity and safety in device drivers development

Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.2000.873655 ◽

2000 ◽

Cited By ~ 6

Author(s):

L. Reveillere ◽

F. Merillon ◽

C. Consel ◽

R. Marlet ◽

G. Muller

Keyword(s):

Device Drivers

Download Full-text

Translating use cases to sequence diagrams

Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.2000.873681 ◽

2000 ◽

Cited By ~ 3

Author(s):

Liwu Li

Keyword(s):

Use Cases ◽

Sequence Diagrams

Download Full-text

Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Formal construction of the Mathematically Analyzed Separation Kernel

Issues for the automatic generation of safety critical software

Circular coinductive rewriting

Specialization patterns

An experiment in scientific program understanding

Management of change in structured verification

Automated security checking and patching using TestTalk

Finding comparatively important concepts between texts

A DSL approach to improve productivity and safety in device drivers development

Translating use cases to sequence diagrams

Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering
Latest Publications