July 9, Monday, Keynote

A View on Software Specification Research and Education Advancement

Joseph E. Urban
National Science Foundation
Arizona State University, U.S.A.


The impact of software engineering research has been the steady improvement of approaches to software development and maintenance. Software requirements analysis, specification, and design methodologies have been formulated to aid in the development of reliable software. This talk will cover advancing software methodologies through research in the front-end aspects of software development. Advancement of these formalisms is necessary for improving software productivity, reliability, and development team dynamics. For integration with existing approaches, the incorporation of components with improved software development techniques and tools is needed for use with new programming languages. Exploring computer languages that are to be effective in the early stages of development is essential for major improvements in software systems. A more effective software engineering workforce will be addressed through upper level undergraduate and graduate education.

Biographical Sketch

Joseph E. Urban currently serves as a program director in the U.S. National Science Foundation on an Intergovernmental Personnel Act mobility assignment within the Division of Computing and Communication Foundations of the Directorate for Computer & Information Science & Engineering. He is a professor of computer science at Arizona State University. He has worked at the University of Miami, the University of Louisiana at Lafayette, and part-time at the University of South Carolina while with the U. S. Army Signal Center. He has published over one hundred conference and journal papers. He has supervised the development of eight software specification languages. His research areas include software engineering, executable specification languages, prototyping software systems, web based software tools, engineering education, computer languages, data engineering, and distributed computing. He earned a B.S. degree from the Florida Institute of Technology, an M.S. degree from the University of Iowa, and a Ph.D. degree from the University of Louisiana at Lafayette, all in Computer Science. He has received the Computer Society's Meritorious and Distinguished Service Awards, a Distinguished Professor Award while at the University of Louisiana at Lafayette, and an Association for Computing Machinery Doctoral Forum Award for one of the four best Ph.D. dissertations produced during the 1977-1978 academic year.