ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Proceedings 12th IEEE International Conference Automated Software Engineering
Latest Publications
TOTAL DOCUMENTS
49
(FIVE YEARS 0)
H-INDEX
9
(FIVE YEARS 0)
Published By IEEE
0818679611
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
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
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
Precise specification and automatic application of design patterns
Proceedings 12th IEEE International Conference Automated Software Engineering
◽
10.1109/ase.1997.632834
◽
2002
◽
Cited By ~ 26
Author(s):
A.H. Eden
◽
A. Yehudai
◽
J. Gil
Keyword(s):
Design Patterns
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
From formal specifications to natural language: a case study
Proceedings 12th IEEE International Conference Automated Software Engineering
◽
10.1109/ase.1997.632859
◽
2002
◽
Cited By ~ 2
Author(s):
J.M. Punshon
◽
J.P. Tremblay
◽
P.G. Sorenson
◽
P.S. Findeisen
Keyword(s):
Natural Language
◽
Formal Specifications
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close