Proceedings 12th IEEE International Conference Automated Software Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818679611

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated configuration of distributed applications from reusable software architectures

Proceedings 12th IEEE International Conference Automated Software Engineering ◽

10.1109/ase.1997.632839 ◽

2002 ◽

Cited By ~ 3

Author(s):

H. Gomaa ◽

G.A. Farrukh

Keyword(s):

Distributed Applications ◽

Software Architectures ◽

Reusable Software

Download Full-text

Research directions for automated software verification: using trusted hardware

Proceedings 12th IEEE International Conference Automated Software Engineering ◽

10.1109/ase.1997.632848 ◽

2002 ◽

Cited By ~ 2

Author(s):

P. Devanbu ◽

S. Stubblebine

Keyword(s):

Software Verification ◽

Research Directions ◽

Trusted Hardware ◽

Automated Software ◽

Automated Software Verification

Download Full-text

Modular flow analysis for concurrent software

Proceedings 12th IEEE International Conference Automated Software Engineering ◽

10.1109/ase.1997.632847 ◽

2002 ◽

Cited By ~ 1

Author(s):

M.B. Dwyer

Keyword(s):

Flow Analysis ◽

Concurrent Software

Download Full-text

A contribution to program comprehension by program analysis: application to numerical programs

Proceedings 12th IEEE International Conference Automated Software Engineering ◽

10.1109/ase.1997.632833 ◽

2002 ◽

Cited By ~ 1

Author(s):

Y. Ait-Ameur

Keyword(s):

Program Analysis ◽

Program Comprehension ◽

Analysis Application

Download Full-text

Modeling software processes by using process and object ontologies

Proceedings 12th IEEE International Conference Automated Software Engineering ◽

10.1109/ase.1997.632864 ◽

2002 ◽

Author(s):

T. Yamaguchi

Keyword(s):

Modeling Software ◽

Software Processes

Download Full-text

Specification and verification of the Co/sub 4/ distributed knowledge system using LOTOS

Proceedings 12th IEEE International Conference Automated Software Engineering ◽

10.1109/ase.1997.632825 ◽

2002 ◽

Cited By ~ 2

Author(s):

C. Pecheur

Keyword(s):

Knowledge System ◽

Distributed Knowledge ◽

Specification And Verification

Download Full-text

Retrieving software components that minimize adaptation effort

Proceedings 12th IEEE International Conference Automated Software Engineering ◽

10.1109/ase.1997.632846 ◽

2002 ◽

Cited By ~ 9

Author(s):

L.L. Jilani ◽

J. Desharnais ◽

M. Frappier ◽

R. Mili ◽

A. Mili

Keyword(s):

Software Components

Download Full-text

Processing natural language requirements

Proceedings 12th IEEE International Conference Automated Software Engineering ◽

10.1109/ase.1997.632822 ◽

2002 ◽

Cited By ~ 49

Author(s):

V. Ambriola ◽

V. Gervasi

Keyword(s):

Natural Language ◽

Natural Language Requirements

Download Full-text

TESS: automated support for the evolution of persistent types

Proceedings 12th IEEE International Conference Automated Software Engineering ◽

10.1109/ase.1997.632837 ◽

2002 ◽

Cited By ~ 2

Author(s):

B.S. Lerner

Keyword(s):

Automated Support

Download Full-text

Augmenting abstract syntax trees for program understanding

Proceedings 12th IEEE International Conference Automated Software Engineering ◽

10.1109/ase.1997.632832 ◽

2002 ◽

Cited By ~ 15

Author(s):

C.A. Welty

Keyword(s):

Abstract Syntax ◽

Program Understanding ◽

Abstract Syntax Trees ◽

Syntax Trees

Download Full-text

Proceedings 12th IEEE International Conference Automated Software EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Automated configuration of distributed applications from reusable software architectures

Research directions for automated software verification: using trusted hardware

Modular flow analysis for concurrent software

A contribution to program comprehension by program analysis: application to numerical programs

Modeling software processes by using process and object ontologies

Specification and verification of the Co/sub 4/ distributed knowledge system using LOTOS

Retrieving software components that minimize adaptation effort

Processing natural language requirements

TESS: automated support for the evolution of persistent types

Augmenting abstract syntax trees for program understanding

Proceedings 12th IEEE International Conference Automated Software Engineering
Latest Publications