14th IEEE International Conference on Automated Software Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769504159

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Separating concerns in direct manipulation user interfaces

14th IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.1999.802244 ◽

2003 ◽

Author(s):

R.E.K. Stirewalt

Keyword(s):

User Interfaces ◽

Direct Manipulation

Download Full-text

Development of a constraint-based airlift scheduler by program synthesis from formal specifications

14th IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.1999.802313 ◽

2003 ◽

Cited By ~ 2

Author(s):

T. Emerson ◽

M.H. Burstein

Keyword(s):

Program Synthesis ◽

Formal Specifications

Download Full-text

Towards discovery, specification, and verification of component usage

14th IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.1999.802364 ◽

2003 ◽

Cited By ~ 1

Author(s):

Chang Liu ◽

D.J. Richardson

Keyword(s):

Specification And Verification

Download Full-text

Towards adaptive web agents

14th IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.1999.802367 ◽

2003 ◽

Cited By ~ 1

Author(s):

J.W. Murdock ◽

A.K. Goel

Download Full-text

Automatically detecting mismatches during component-based and model-based development

14th IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.1999.802242 ◽

2003 ◽

Author(s):

A. Egyed ◽

C. Gacek

Keyword(s):

Model Based

Download Full-text

Automatic synthesis of control software for an industrial automation control system

14th IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.1999.802292 ◽

2003 ◽

Cited By ~ 4

Author(s):

E. Tronci

Keyword(s):

Control System ◽

Control Software ◽

Industrial Automation ◽

Automatic Synthesis ◽

Automation Control

Download Full-text

UNA based iterative test data generation and its evaluation

14th IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.1999.802270 ◽

2003 ◽

Cited By ~ 13

Author(s):

N. Gupta ◽

A.P. Mathur ◽

M.L. Soffia

Keyword(s):

Test Data ◽

Test Data Generation ◽

Data Generation

Download Full-text

An overview of Lutess a specification-based tool for testing synchronous software

14th IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.1999.802255 ◽

2003 ◽

Cited By ~ 8

Author(s):

L. du Bousquet ◽

N. Zuanon

Download Full-text

AML: an Architecture Meta-Language

14th IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.1999.802241 ◽

2003 ◽

Cited By ~ 5

Author(s):

D. Wile

Download Full-text

Component-based systems as an aid to design validation

14th IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.1999.802333 ◽

2003 ◽

Cited By ~ 4

Author(s):

P. Henderson ◽

R. Walters

Keyword(s):

Design Validation

Download Full-text

14th IEEE International Conference on Automated Software EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Separating concerns in direct manipulation user interfaces

Development of a constraint-based airlift scheduler by program synthesis from formal specifications

Towards discovery, specification, and verification of component usage

Towards adaptive web agents

Automatically detecting mismatches during component-based and model-based development

Automatic synthesis of control software for an industrial automation control system

UNA based iterative test data generation and its evaluation

An overview of Lutess a specification-based tool for testing synchronous software

AML: an Architecture Meta-Language

Component-based systems as an aid to design validation

14th IEEE International Conference on Automated Software Engineering
Latest Publications