Design and implementation considerations for monitoring and evaluating information systems. - Joseph E. Urban; Wayne D. Dominick (ACM-SE, 1977)

Specifications of computer programs using Hoare tree formalism. - Joseph E. Urban; Edwin Towster (ACM-SE, 1977)

A methodology for the objective evaluation of the user/system interfaces of the MADAM system using software engineering principles. - Christie D. Michelsen; Wayne D. Dominick; Joseph E. Urban (ACM Southeast Regional Conference, 1980)

Synthesizing abstract data type specifications. - Boumediene Belkhouche; Joseph E. Urban; Gregory A. Riccardi (ACM Southeast Regional Conference, 1982)

An analysis of programming environments. - Joseph E. Urban; Lucinda Edmonds; David Holland; Barry King; Manijeh Moghis; Hugo Valencia (ACM Southeast Regional Conference, 1982)

Software Development with Executable Functional Specifications. - Joseph E. Urban (ICSE, 1982)

The Human Resource Task Area. - Charles E. Oglesby; Joseph E. Urban (Computer, 1983)

Guest Editors' Introduction Ada Environments and Tools. - Joseph E. Urban; David A. Fisher (IEEE Softw., 1985)

Utilizing an Executable Specification Language for an Information System. - Susan Darling Urban; Joseph E. Urban; Wayne D. Dominick (IEEE Trans. Software Eng., 1985)

Software Quality in an Enhanced Development Environment. - José P. Diaz-Gonzalez; Anne M. Wilson; Joseph E. Urban; E. L. Gensheimer (ICC, 1986)

Building Intelligence into Software Tools. - Joseph E. Urban (IEEE Expert, 1986)

Direct Implementation of Abstract Data Types from Abstract Specifications. - Boumediene Belkhouche; Joseph E. Urban (IEEE Trans. Software Eng., 1986)

The Effect of Abstract Data Types on Program Development. - Jeffrey Mitchell; Joseph E. Urban; Robert McDonald (Computer, 1987)

Guest Editors' Introduction: Computer Languages. - Pei Hsia; Joseph E. Urban (IEEE Trans. Software Eng., 1988)

A model for understanding complexities of developing large-scale software systems. - Patrick O. Bobbie; Joseph E. Urban (TAI, 1989)

A knowledge-driven methodology for eliciting and restructuring software requirements for distributed design. - Patrick O. Bobbie; Joseph E. Urban (TAI, 1990)

Propositional logic for validating software object interrelationships. - Patrick O. Bobbie; Joseph E. Urban (ICTAI, 1991)

Language Aspects of Envisager: An Object-Oriented Environment for the Specification of Real-Time Systems. - José P. Diaz-Gonzalez; Joseph E. Urban (Comput. Lang., 1991)

Industrial strength software engineering training programs. - Joseph E. Urban; R. Frye; A. Miller; A. G. Rao (COMPSAC, 1992)

A metalanguage based on a theory of specification. - Karl B. Zerangue; Joseph E. Urban (COMPSAC, 1992)

Adaptation and modification of Nassi-Shneiderman charts to represent Descartes specifications visually. - Amir A. Khwaja; Joseph E. Urban (RSP, 1992)

Analysis and experience with an Information System development methodology. - Manmahesh Kantipudi; Joseph E. Urban (SAC, 1992)

Study of a generic graphics package for the development of various user interfaces. - Amir A. Khwaja; Raghu Mannam; Joseph E. Urban (SAC, 1992)

Integrating software tool communication within an environment. - Peraphon Sophatsathit; Joseph E. Urban (SAC, 1992)

The use of a software specification metalanguage. - Karl B. Zerangue; Joseph E. Urban (SAC, 1992)

The Impact of undergraduate Software Engineering Education on Advancing Case Tools. - Joseph E. Urban; Patrick O. Bobbie (Int. J. Softw. Eng. Knowl. Eng., 1992)

Comparing and Assessing Programming Languages: Basis for a Qualitative Methodology. - Jarallah AlGhamdi; Joseph E. Urban (SAC, 1993)

Syntax-Directed Editing Environments: Issues and Features. - Amir A. Khwaja; Joseph E. Urban (SAC, 1993)

Integration of Domain Analysis and Analogical Approach for Software Reuse. - Chung-Horng Lung; Joseph E. Urban (SAC, 1993)

Reverse Engineering. - Frank W. Calliss; Joseph E. Urban; James H. Cross II; Václav Rajlich (SEKE, 1993)

Multiple views of an executable software specification language. - Yukuh Tung; Amir A. Khwaja; Joseph E. Urban (J. Syst. Softw., 1993)

Software productivity: through undergraduate Software Engineering Education and Case Tools. - Joseph E. Urban; Patrick O. Bobbie (The Impact of Case Technology on Software Processes, 1994)

Development of the TUG specification language to support specification reuse. - Chia-Chu Chiang; Joseph E. Urban (COMPSAC, 1994)

A method for evaluating software engineering environments. - Mathew A. Taylor; Joseph E. Urban (COMPSAC, 1994)

What Types of Research Papers Should We Be Writing? - Thomas L. Casavant; Chi-Yuan Chin; Wen-Tsuen Chen; Kang G. Shin; Earl E. Swartzlander Jr.; Joseph E. Urban (ICPADS, 1994)

Software Specification of Real-Time Systems. - Joseph E. Urban (ICPADS, 1994)

Computer Simulation Software Reuse by Generic/Specific Domain Modeling Approach. - Chung-Horng Lung; Jeffery K. Cochran; Gerald T. Mackulak; Joseph E. Urban (Int. J. Softw. Eng. Knowl. Eng., 1994)

An Expanded View of Domain Modeling for Software Analogy. - Chung-Horng Lung; Joseph E. Urban (COMPSAC, 1995)

Executable specifications for distributed software systems. - Joseph E. Urban; Hankyu Joo (FTDCS, 1995)

The Future of Software Engineering Education. - Joseph E. Urban; Daniel E. Cooke; Doris L. Carver; Roland T. Mittermeir (SEKE, 1995)

An Approach to the Classification of Domain Models in Support of Analogical Reuse. - Chung-Horng Lung; Joseph E. Urban (SSR, 1995)

Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations. - Chia-Chu Chiang; Joseph E. Urban (COMPSAC, 1996)

Panel Overview-Software Education in the Asia-Pacific Region in the 21st Century. - Joseph E. Urban (COMPSAC, 1996)

A technique for validating Booch object-oriented designs from extensions to the Descartes specification language. - Ramkumar V. Pichai; Joseph E. Urban (HASE, 1996)

Scalable Templates for Specification Reuse. - Chia-Chu Chiang; Joseph E. Urban (COMPSAC, 1997)

A Visual Syntax-Directed Editor for the Descartes Specification Language. - Amir A. Khwaja; Joseph E. Urban (Softw. Pract. Exp., 1997)

A Distributed Version of the SequenceL Language. - Daniel E. Cooke; Vladik Kreinovich; Joseph E. Urban (SRDS, 1998)

Guest Editors' Introduction. - Daniel E. Cooke; Joseph E. Urban (Int. J. Softw. Eng. Knowl. Eng., 1998)

Software Engineering on the Web. - Joseph E. Urban (BIS, 1999)

Validating Software Specifications against User Claims. - Chia-Chu Chiang; Joseph E. Urban (COMPSAC, 1999)

Distributed data parallelisms: specified in Descartes and programmed in SequenceL and Java. - Joseph E. Urban; Daniel E. Cooke (WORDS (Jan.), 1999)

Unix and Beyond: An Interview with Ken Thompson. - Daniel E. Cooke; Joseph E. Urban; Scott Hamilton; Ken Thompson (Computer, 1999)

SOORLS: A Software Reuse Approach on the Web. - Sung-Koo Lee; Joseph E. Urban (Int. J. Softw. Eng. Knowl. Eng., 1999)

Analogy Supports for Software Reuse and Knowledge Management. - Chung-Horng Lung; Gerald T. Mackulak; Joseph E. Urban (IIP, 2002)

Supporting Software Process Tracking Through the Internet (invited paper). - Joseph E. Urban; Shriram Sankaran (WITASI, 2002)

A Synthesis of Evaluation Criteria for Software Specifications and Specification Techniques. - Amir A. Khwaja; Joseph E. Urban (Int. J. Softw. Eng. Knowl. Eng., 2002)

Designing Interdisciplinary Approaches to Problem Solving into Computer Languages. - Daniel E. Cooke; Vladik Kreinovich; Joseph E. Urban (Trans. SDPS, 2002)

Smart Online Placement Examination. - Tushar Chandra; Gitanjali Gunnam; Joseph E. Urban (Web Technologies, Applications, and Services, 2005)

Software Project Driven Analysis and Development of Process Activities Supporting Web Based Software Engineering Tools. - Shriram Sankaran; Joseph E. Urban (ICEIS (3), 2005)

A Framework for the Evaluation of Real-time Specification Techniques. - Amir A. Khwaja; Joseph E. Urban (Int. J. Softw. Eng. Knowl. Eng., 2006)

An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language. - Michael A. Medina; Joseph E. Urban (ISADS, 2007)

Analogy-based domain analysis approach to software reuse. - Chung-Horng Lung; Joseph E. Urban; Gerald T. Mackulak (Requir. Eng., 2007)

The State of Executable Real-Time Specification Languages and the Need for Advancements. - Amir A. Khwaja; Joseph E. Urban (ISORC, 2008)

RealSpec: An Executable Specification Language for Prototyping Concurrent Systems. - Amir A. Khwaja; Joseph E. Urban (IEEE International Workshop on Rapid System Prototyping, 2008)

RealSpec: an Executable Specification Language for Modeling Resources. - Amir A. Khwaja; Joseph E. Urban (SEKE, 2008)

RealSpec: An Executable Specification Language for Modeling Control Systems. - Amir A. Khwaja; Joseph E. Urban (ISORC, 2009)

Panel on revitalized undergraduate computing education. - Joseph E. Urban; Jesse M. Heines; Edward A. Fox; Harriet G. Taylor (SIGCSE, 2009)

Issues and Challenges in Building a Framework for Reactive Agent Systems. - Vinitha Hannah Subburaj; Joseph E. Urban (CISIS, 2010)

Experience with an eCos RTOS Based Compiler for the RealSpec Real-Time Specification Language. - Amir A. Khwaja; Joseph E. Urban (ESA, 2010)

Agile and Incremental Development Methods for Real-Time Software Systems. - Amir A. Khwaja; Joseph E. Urban (ESA, 2010)

Intertwining Implementation with the RealSpec Executable Real-Time Specification Language. - Amir A. Khwaja; Joseph E. Urban (SEKE, 2010)

Intelligent Software Agent Design Issues with Extensions to the Descartes Specification Language. - Vinitha Hannah Subburaj; Joseph E. Urban (SEKE, 2010)

Report on the future of computing education summit. - Mark Guzdial; Jane Prey; Lucy Sanders; Heikki Topi; Joseph E. Urban (SIGCSE, 2010)

A property based specification formalism classification. - Amir A. Khwaja; Joseph E. Urban (J. Syst. Softw., 2010)

Extending the Descartes Specification Language Towards Process Modeling. - Joseph E. Urban; Vinitha Hannah Subburaj; Lavanya Ramamoorthy (FedCSIS, 2011)

Intelligent Agent Software Development Using AUML and the Descartes Specification Language. - Vinitha Hannah Subburaj; Joseph E. Urban (ISORC Workshops, 2011)

Specification of Safety Critical Systems with Intelligent Software Agent Method. - Vinitha Hannah Subburaj; Joseph E. Urban; Manan R. Shah (SEKE, 2012)

DOROTHY: Enhancing Bidirectional Communication between a 3D Programming Interface and Mobile Robots. - Emilie Featherston; Mohan Sridharan; Susan Darling Urban; Joseph E. Urban (AAAI, 2014)

Applying Formal Methods to Specify Security Requirements in Multi-Agent Systems. - Vinitha Hannah Subburaj; Joseph E. Urban (FedCSIS, 2018)

Specifying Security Requirements in Multi-agent Systems Using the Descartes-Agent Specification Language and AUML. - Vinitha Hannah Subburaj; Joseph E. Urban (AITM/ISM@FedCSIS, 2018)

Introduction to Computing: Interdisciplinary Course Design. - Vinitha Hannah Subburaj; Anitha Sarah Subburaj; Joseph E. Urban (FIE, 2018)

Descartes-Agent: Verifying Formal Specifications Using the Model Checking Technique. - Vinitha Hannah Subburaj; Joseph E. Urban (IRC, 2018)