Joseph E. Urban

Publication Activity (10 Years)

Years Active: 1977-2018
Publications (10 Years): 4

Top Topics

Formal Specification

Security Requirements

Top Venues

AITM/ISM@FedCSIS

Publications

Vinitha Hannah Subburaj, Anitha Sarah Subburaj, Joseph E. Urban
Introduction to Computing: Interdisciplinary Course Design. FIE (2018)
Vinitha Hannah Subburaj, Joseph E. Urban
Specifying Security Requirements in Multi-agent Systems Using the Descartes-Agent Specification Language and AUML. AITM/ISM@FedCSIS (2018)
Vinitha Hannah Subburaj, Joseph E. Urban
Applying Formal Methods to Specify Security Requirements in Multi-Agent Systems. FedCSIS (2018)
Vinitha Hannah Subburaj, Joseph E. Urban
Descartes-Agent: Verifying Formal Specifications Using the Model Checking Technique. IRC (2018)
Emilie Featherston, Mohan Sridharan, Susan Darling Urban, Joseph E. Urban
DOROTHY: Enhancing Bidirectional Communication between a 3D Programming Interface and Mobile Robots. AAAI (2014)
Vinitha Hannah Subburaj, Joseph E. Urban, Manan R. Shah
Specification of Safety Critical Systems with Intelligent Software Agent Method. SEKE (2012)
Vinitha Hannah Subburaj, Joseph E. Urban
Intelligent Agent Software Development Using AUML and the Descartes Specification Language. ISORC Workshops (2011)
Joseph E. Urban, Vinitha Hannah Subburaj, Lavanya Ramamoorthy
Extending the Descartes Specification Language Towards Process Modeling. FedCSIS (2011)
Mark Guzdial, Jane Prey, Lucy Sanders, Heikki Topi, Joseph E. Urban
Report on the future of computing education summit. SIGCSE (2010)
Amir A. Khwaja, Joseph E. Urban
Intertwining Implementation with the RealSpec Executable Real-Time Specification Language. SEKE (2010)
Vinitha Hannah Subburaj, Joseph E. Urban
Issues and Challenges in Building a Framework for Reactive Agent Systems. CISIS (2010)
Amir A. Khwaja, Joseph E. Urban
Agile and Incremental Development Methods for Real-Time Software Systems. ESA (2010)
Amir A. Khwaja, Joseph E. Urban
Experience with an eCos RTOS Based Compiler for the RealSpec Real-Time Specification Language. ESA (2010)
Amir A. Khwaja, Joseph E. Urban
A property based specification formalism classification. J. Syst. Softw. 83 (11) (2010)
Vinitha Hannah Subburaj, Joseph E. Urban
Intelligent Software Agent Design Issues with Extensions to the Descartes Specification Language. SEKE (2010)
Amir A. Khwaja, Joseph E. Urban
RealSpec: An Executable Specification Language for Modeling Control Systems. ISORC (2009)
Joseph E. Urban, Jesse M. Heines, Edward A. Fox, Harriet G. Taylor
Panel on revitalized undergraduate computing education. SIGCSE (2009)
Amir A. Khwaja, Joseph E. Urban
RealSpec: an Executable Specification Language for Modeling Resources. SEKE (2008)
Amir A. Khwaja, Joseph E. Urban
The State of Executable Real-Time Specification Languages and the Need for Advancements. ISORC (2008)
Amir A. Khwaja, Joseph E. Urban
RealSpec: An Executable Specification Language for Prototyping Concurrent Systems. IEEE International Workshop on Rapid System Prototyping (2008)
Chung-Horng Lung, Joseph E. Urban, Gerald T. Mackulak
Analogy-based domain analysis approach to software reuse. Requir. Eng. 12 (1) (2007)
Michael A. Medina, Joseph E. Urban
An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language. ISADS (2007)
Amir A. Khwaja, Joseph E. Urban
A Framework for the Evaluation of Real-time Specification Techniques. Int. J. Softw. Eng. Knowl. Eng. 16 (6) (2006)
Tushar Chandra, Gitanjali Gunnam, Joseph E. Urban
Smart Online Placement Examination. Web Technologies, Applications, and Services (2005)
Shriram Sankaran, Joseph E. Urban
Software Project Driven Analysis and Development of Process Activities Supporting Web Based Software Engineering Tools. ICEIS (3) (2005)
Chung-Horng Lung, Gerald T. Mackulak, Joseph E. Urban
Analogy Supports for Software Reuse and Knowledge Management. Intelligent Information Processing (2002)
Joseph E. Urban, Shriram Sankaran
Supporting Software Process Tracking Through the Internet (invited paper). WITASI (2002)
Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban
Designing Interdisciplinary Approaches to Problem Solving into Computer Languages. Trans. SDPS 6 (3) (2002)
Amir A. Khwaja, Joseph E. Urban
A Synthesis of Evaluation Criteria for Software Specifications and Specification Techniques. Int. J. Softw. Eng. Knowl. Eng. 12 (5) (2002)
Sung-Koo Lee, Joseph E. Urban
SOORLS: A Software Reuse Approach on the Web. Int. J. Softw. Eng. Knowl. Eng. 9 (3) (1999)
Joseph E. Urban
Software Engineering on the Web. BIS (1999)
Chia-Chu Chiang, Joseph E. Urban
Validating Software Specifications against User Claims. COMPSAC (1999)
Daniel E. Cooke, Joseph E. Urban, Scott Hamilton, Ken Thompson
Unix and Beyond: An Interview with Ken Thompson. Computer 32 (5) (1999)
Joseph E. Urban, Daniel E. Cooke
Distributed data parallelisms: specified in Descartes and programmed in SequenceL and Java. WORDS (Jan.) (1999)
Daniel E. Cooke, Joseph E. Urban
Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 8 (1) (1998)
Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban
A Distributed Version of the SequenceL Language. SRDS (1998)
Chia-Chu Chiang, Joseph E. Urban
Scalable Templates for Specification Reuse. COMPSAC (1997)
Amir A. Khwaja, Joseph E. Urban
A Visual Syntax-Directed Editor for the Descartes Specification Language. Softw. Pract. Exp. 27 (6) (1997)
Chia-Chu Chiang, Joseph E. Urban
Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations. COMPSAC (1996)
Ramkumar V. Pichai, Joseph E. Urban
A technique for validating Booch object-oriented designs from extensions to the Descartes specification language. HASE (1996)
Joseph E. Urban
Panel Overview-Software Education in the Asia-Pacific Region in the 21st Century. COMPSAC (1996)
Chung-Horng Lung, Joseph E. Urban
An Approach to the Classification of Domain Models in Support of Analogical Reuse. SSR (1995)
Joseph E. Urban, Hankyu Joo
Executable specifications for distributed software systems. FTDCS (1995)
Joseph E. Urban, Daniel E. Cooke, Doris L. Carver, Roland T. Mittermeir
The Future of Software Engineering Education. SEKE (1995)
Chung-Horng Lung, Joseph E. Urban
An Expanded View of Domain Modeling for Software Analogy. COMPSAC (1995)
Chung-Horng Lung, Jeffery K. Cochran, Gerald T. Mackulak, Joseph E. Urban
Computer Simulation Software Reuse by Generic/Specific Domain Modeling Approach. Int. J. Softw. Eng. Knowl. Eng. 4 (1) (1994)
Thomas L. Casavant, Chi-Yuan Chin, Wen-Tsuen Chen, Kang G. Shin, Earl E. Swartzlander Jr., Joseph E. Urban
What Types of Research Papers Should We Be Writing? ICPADS (1994)
Chia-Chu Chiang, Joseph E. Urban
Development of the TUG specification language to support specification reuse. COMPSAC (1994)
Joseph E. Urban
Software Specification of Real-Time Systems. ICPADS (1994)
Mathew A. Taylor, Joseph E. Urban
A method for evaluating software engineering environments. COMPSAC (1994)
Jarallah AlGhamdi, Joseph E. Urban
Comparing and Assessing Programming Languages: Basis for a Qualitative Methodology. SAC (1993)
Yukuh Tung, Amir A. Khwaja, Joseph E. Urban
Multiple views of an executable software specification language. J. Syst. Softw. 21 (3) (1993)
Chung-Horng Lung, Joseph E. Urban
Integration of Domain Analysis and Analogical Approach for Software Reuse. SAC (1993)
Frank W. Calliss, Joseph E. Urban, James H. Cross II, Václav Rajlich
Reverse Engineering. SEKE (1993)
Amir A. Khwaja, Joseph E. Urban
Syntax-Directed Editing Environments: Issues and Features. SAC (1993)
Joseph E. Urban, Patrick O. Bobbie
The Impact of undergraduate Software Engineering Education on Advancing Case Tools. Int. J. Softw. Eng. Knowl. Eng. 2 (2) (1992)
Joseph E. Urban, R. Frye, A. Miller, A. G. Rao
Industrial strength software engineering training programs. COMPSAC (1992)
Peraphon Sophatsathit, Joseph E. Urban
Integrating software tool communication within an environment. SAC (1992)
Amir A. Khwaja, Raghu Mannam, Joseph E. Urban
Study of a generic graphics package for the development of various user interfaces. SAC (1992)
Karl B. Zerangue, Joseph E. Urban
A metalanguage based on a theory of specification. COMPSAC (1992)
Manmahesh Kantipudi, Joseph E. Urban
Analysis and experience with an Information System development methodology. SAC (1992)
Amir A. Khwaja, Joseph E. Urban
Adaptation and modification of Nassi-Shneiderman charts to represent Descartes specifications visually. RSP (1992)
Karl B. Zerangue, Joseph E. Urban
The use of a software specification metalanguage. SAC (1992)
José P. Diaz-Gonzalez, Joseph E. Urban
Language Aspects of Envisager: An Object-Oriented Environment for the Specification of Real-Time Systems. Comput. Lang. 16 (1) (1991)
Patrick O. Bobbie, Joseph E. Urban
Propositional logic for validating software object interrelationships. ICTAI (1991)
Patrick O. Bobbie, Joseph E. Urban
A knowledge-driven methodology for eliciting and restructuring software requirements for distributed design. TAI (1990)
Patrick O. Bobbie, Joseph E. Urban
A model for understanding complexities of developing large-scale software systems. TAI (1989)
José P. Diaz-Gonzalez, Joseph E. Urban
Language aspects of ENVISAGER: an object-oriented environment for the specification of real-time systems. ICCL (1988)
Pei Hsia, Joseph E. Urban
Guest Editors' Introduction: Computer Languages. IEEE Trans. Software Eng. 14 (4) (1988)
Jeffrey Mitchell, Joseph E. Urban, Robert McDonald
The Effect of Abstract Data Types on Program Development. Computer 20 (8) (1987)
Joseph E. Urban
Building Intelligence into Software Tools. IEEE Expert 1 (4) (1986)
José P. Diaz-Gonzalez, Anne M. Wilson, Joseph E. Urban, E. L. Gensheimer
Software Quality in an Enhanced Development Environment. ICC (1986)
Boumediene Belkhouche, Joseph E. Urban
Direct Implementation of Abstract Data Types from Abstract Specifications. IEEE Trans. Software Eng. 12 (5) (1986)
Joseph E. Urban, David A. Fisher
Guest Editors' Introduction Ada Environments and Tools. IEEE Softw. 2 (2) (1985)
Susan Darling Urban, Joseph E. Urban, Wayne D. Dominick
Utilizing an Executable Specification Language for an Information System. IEEE Trans. Software Eng. 11 (7) (1985)
Susan Darling Urban, Joseph E. Urban, Wayne D. Dominick
Utilizing an Executable Specification Language for an Information System. ICDE (1984)
Charles E. Oglesby, Joseph E. Urban
The Human Resource Task Area. Computer 16 (11) (1983)
Joseph E. Urban
Software Development with Executable Functional Specifications. ICSE (1982)
Joseph E. Urban, Lucinda Edmonds, David Holland, Barry King, Manijeh Moghis, Hugo Valencia
An analysis of programming environments. ACM Southeast Regional Conference (1982)
Boumediene Belkhouche, Joseph E. Urban, Gregory A. Riccardi
Synthesizing abstract data type specifications. ACM Southeast Regional Conference (1982)
Christie D. Michelsen, Wayne D. Dominick, Joseph E. Urban
A methodology for the objective evaluation of the user/system interfaces of the MADAM system using software engineering principles. ACM Southeast Regional Conference (1980)
Joseph E. Urban, Wayne D. Dominick
Design and implementation considerations for monitoring and evaluating information systems. ACM-SE (1977)
Joseph E. Urban, Edwin Towster
Specifications of computer programs using Hoare tree formalism. ACM-SE (1977)