ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
14th IEEE International Conference on Automated Software Engineering
Latest Publications
TOTAL DOCUMENTS
51
(FIVE YEARS 0)
H-INDEX
8
(FIVE YEARS 0)
Published By IEEE
0769504159
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
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
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
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
Industrial applications of software synthesis via category theory
14th IEEE International Conference on Automated Software Engineering
◽
10.1109/ase.1999.802090
◽
2003
◽
Cited By ~ 3
Author(s):
K. Williamson
◽
M. Healy
Keyword(s):
Category Theory
◽
Industrial Applications
◽
Software Synthesis
Download Full-text
Enhancing annotation visibility for software inspection
14th IEEE International Conference on Automated Software Engineering
◽
10.1109/ase.1999.802288
◽
2003
◽
Author(s):
M.V. Stein
◽
M.P.E. Heimdahl
◽
J.T. Riedl
Keyword(s):
Software Inspection
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
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
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close