Cited By
View all- Le Métayer DNicolas VRidoux O(2000)Verification by Testing for Recursive Program SchemesLogic-Based Program Synthesis and Transformation10.1007/10720327_15(255-272)Online publication date: 2000
Program analysis for software engineering: new applications, new requirements, new tools
Abstract
In order to play a bigger role in software engineering tools, static analysis techniques must take into account the specific needs of this application area, in particular in terms of interaction with the user and scalability. This new perspective requires a reexamination of the field of static program analysis both internally and in connection with related areas like theorem proving and debugging.
Index Terms
- Program analysis for software engineering: new applications, new requirements, new tools
Recommendations
An introductory software engineering course for software engineering program
CSEET '11: Proceedings of the 2011 24th IEEE-CS Conference on Software Engineering Education and TrainingOne important issue in undergraduate software engineering curriculum is how to help students establish the concept of software engineering at the beginning of software engineering undergraduate program and to provide a reasonable basis of knowledge and ...
A Software Engineering Ontology as Software Engineering Knowledge Representation
ICCIT '08: Proceedings of the 2008 Third International Conference on Convergence and Hybrid Information Technology - Volume 02This paper aims to present software engineering ontology as software engineering knowledge representation for a multi-site software development. It will not only facilitate the capturing of software engineering knowledge but also enhance the sharing of ...
Development of software engineering: co-operative efforts from academia, government and industry
ICSE '06: Proceedings of the 28th international conference on Software engineeringIn the past 40 years, software engineering has emerged as an important sub-field of computer science. The quality and productivity of software have been improved and the cost and risk of software development been decreased due to the contributions made ...
Comments
Information & Contributors
Information
Published In
Copyright © 1997 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 January 1997
Published in SIGPLAN Volume 32, Issue 1
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 248Total Downloads
- Downloads (Last 12 months)58
- Downloads (Last 6 weeks)7
Reflects downloads up to 03 Oct 2024
Other Metrics
Citations
Cited By
View all- Le Métayer DNicolas VRidoux O(2000)Verification by Testing for Recursive Program SchemesLogic-Based Program Synthesis and Transformation10.1007/10720327_15(255-272)Online publication date: 2000
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in