default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoseph E. Urban
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
[c63]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: 93-111- [c62]Vinitha Hannah Subburaj, Joseph E. Urban:
Applying Formal Methods to Specify Security Requirements in Multi-Agent Systems. FedCSIS 2018: 707-714 - [c61]Vinitha Hannah Subburaj, Anitha Sarah Subburaj, Joseph E. Urban:
Introduction to Computing: Interdisciplinary Course Design. FIE 2018: 1-5 - [c60]Vinitha Hannah Subburaj, Joseph E. Urban:
Descartes-Agent: Verifying Formal Specifications Using the Model Checking Technique. IRC 2018: 392-398 - 2014
- [c59]Emilie Featherston, Mohan Sridharan, Susan Darling Urban, Joseph E. Urban:
DOROTHY: Enhancing Bidirectional Communication between a 3D Programming Interface and Mobile Robots. AAAI 2014: 3031-3036 - 2012
- [c58]Vinitha Hannah Subburaj, Joseph E. Urban, Manan R. Shah:
Specification of Safety Critical Systems with Intelligent Software Agent Method. SEKE 2012: 578-581 - 2011
- [c57]Joseph E. Urban, Vinitha Hannah Subburaj, Lavanya Ramamoorthy:
Extending the Descartes Specification Language Towards Process Modeling. FedCSIS 2011: 337-340 - [c56]Vinitha Hannah Subburaj, Joseph E. Urban:
Intelligent Agent Software Development Using AUML and the Descartes Specification Language. ISORC Workshops 2011: 297-305 - 2010
- [j20]Amir A. Khwaja, Joseph E. Urban:
A property based specification formalism classification. J. Syst. Softw. 83(11): 2344-2362 (2010) - [c55]Vinitha Hannah Subburaj, Joseph E. Urban:
Issues and Challenges in Building a Framework for Reactive Agent Systems. CISIS 2010: 600-605 - [c54]Amir A. Khwaja, Joseph E. Urban:
Experience with an eCos RTOS Based Compiler for the RealSpec Real-Time Specification Language. ESA 2010: 66-71 - [c53]Amir A. Khwaja, Joseph E. Urban:
Agile and Incremental Development Methods for Real-Time Software Systems. ESA 2010: 178-184 - [c52]Amir A. Khwaja, Joseph E. Urban:
Intertwining Implementation with the RealSpec Executable Real-Time Specification Language. SEKE 2010: 649-652 - [c51]Vinitha Hannah Subburaj, Joseph E. Urban:
Intelligent Software Agent Design Issues with Extensions to the Descartes Specification Language. SEKE 2010: 668-671 - [c50]Mark Guzdial, Jane Prey, Lucy Sanders, Heikki Topi, Joseph E. Urban:
Report on the future of computing education summit. SIGCSE 2010: 259-260
2000 – 2009
- 2009
- [c49]Amir A. Khwaja, Joseph E. Urban:
RealSpec: An Executable Specification Language for Modeling Control Systems. ISORC 2009: 219-227 - [c48]Joseph E. Urban, Jesse M. Heines, Edward A. Fox, Harriet G. Taylor:
Panel on revitalized undergraduate computing education. SIGCSE 2009: 69-70 - 2008
- [c47]Amir A. Khwaja, Joseph E. Urban:
The State of Executable Real-Time Specification Languages and the Need for Advancements. ISORC 2008: 577-583 - [c46]Amir A. Khwaja, Joseph E. Urban:
RealSpec: An Executable Specification Language for Prototyping Concurrent Systems. IEEE International Workshop on Rapid System Prototyping 2008: 3-9 - [c45]Amir A. Khwaja, Joseph E. Urban:
RealSpec: an Executable Specification Language for Modeling Resources. SEKE 2008: 97-102 - 2007
- [j19]Chung-Horng Lung, Joseph E. Urban, Gerald T. Mackulak:
Analogy-based domain analysis approach to software reuse. Requir. Eng. 12(1): 1-22 (2007) - [c44]Michael A. Medina, Joseph E. Urban:
An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language. ISADS 2007: 363-367 - 2006
- [j18]Amir A. Khwaja, Joseph E. Urban:
A Framework for the Evaluation of Real-time Specification Techniques. Int. J. Softw. Eng. Knowl. Eng. 16(6): 987 (2006) - 2005
- [c43]Tushar Chandra, Gitanjali Gunnam, Joseph E. Urban:
Smart Online Placement Examination. Web Technologies, Applications, and Services 2005: 204-208 - [c42]Shriram Sankaran, Joseph E. Urban:
Software Project Driven Analysis and Development of Process Activities Supporting Web Based Software Engineering Tools. ICEIS (3) 2005: 478-481 - 2002
- [j17]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): 581-599 (2002) - [j16]Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban:
Designing Interdisciplinary Approaches to Problem Solving into Computer Languages. Trans. SDPS 6(3): 29-43 (2002) - [c41]Chung-Horng Lung, Gerald T. Mackulak, Joseph E. Urban:
Analogy Supports for Software Reuse and Knowledge Management. Intelligent Information Processing 2002: 275-279 - [c40]Joseph E. Urban, Shriram Sankaran:
Supporting Software Process Tracking Through the Internet (invited paper). WITASI 2002: 243-254
1990 – 1999
- 1999
- [j15]Daniel E. Cooke, Joseph E. Urban, Scott Hamilton, Ken Thompson:
Unix and Beyond: An Interview with Ken Thompson. Computer 32(5): 58-64 (1999) - [j14]Sung-Koo Lee, Joseph E. Urban:
SOORLS: A Software Reuse Approach on the Web. Int. J. Softw. Eng. Knowl. Eng. 9(3): 279-296 (1999) - [c39]Joseph E. Urban:
Software Engineering on the Web. BIS 1999: 113-122 - [c38]Chia-Chu Chiang, Joseph E. Urban:
Validating Software Specifications against User Claims. COMPSAC 1999: 104-109 - [c37]Joseph E. Urban, Daniel E. Cooke:
Distributed data parallelisms: specified in Descartes and programmed in SequenceL and Java. WORDS (Jan.) 1999: 102-109 - 1998
- [j13]Daniel E. Cooke, Joseph E. Urban:
Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 8(1): 1-2 (1998) - [c36]Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban:
A Distributed Version of the SequenceL Language. SRDS 1998: 295-301 - 1997
- [j12]Amir A. Khwaja, Joseph E. Urban:
A Visual Syntax-Directed Editor for the Descartes Specification Language. Softw. Pract. Exp. 27(6): 651-676 (1997) - [c35]Chia-Chu Chiang, Joseph E. Urban:
Scalable Templates for Specification Reuse. COMPSAC 1997: 396-401 - 1996
- [c34]Chia-Chu Chiang, Joseph E. Urban:
Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations. COMPSAC 1996: 240-245 - [c33]Joseph E. Urban:
Panel Overview-Software Education in the Asia-Pacific Region in the 21st Century. COMPSAC 1996: 530 - [c32]Ramkumar V. Pichai, Joseph E. Urban:
A technique for validating Booch object-oriented designs from extensions to the Descartes specification language. HASE 1996: 40-49 - 1995
- [c31]Chung-Horng Lung, Joseph E. Urban:
An Expanded View of Domain Modeling for Software Analogy. COMPSAC 1995: 77-82 - [c30]Joseph E. Urban, Hankyu Joo:
Executable specifications for distributed software systems. FTDCS 1995: 257-265 - [c29]Joseph E. Urban, Daniel E. Cooke, Doris L. Carver, Roland T. Mittermeir:
The Future of Software Engineering Education. SEKE 1995: 63 - [c28]Chung-Horng Lung, Joseph E. Urban:
An Approach to the Classification of Domain Models in Support of Analogical Reuse. SSR 1995: 169-178 - 1994
- [j11]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): 81-102 (1994) - [c27]Chia-Chu Chiang, Joseph E. Urban:
Development of the TUG specification language to support specification reuse. COMPSAC 1994: 17-22 - [c26]Mathew A. Taylor, Joseph E. Urban:
A method for evaluating software engineering environments. COMPSAC 1994: 445-450 - [c25]Joseph E. Urban:
Software Specification of Real-Time Systems. ICPADS 1994: 12-13 - [c24]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: 22-23 - [p1]Joseph E. Urban, Patrick O. Bobbie:
Software productivity: through undergraduate Software Engineering Education and Case Tools. The Impact of Case Technology on Software Processes 1994: 327-347 - [e1]Hal Berghel, Terry Hlengl, Joseph E. Urban:
Proceedings of the 1994 ACM Symposium on Applied Computing, SAC'94, Phoenix, AZ, USA, March 6-8, 1994. ACM 1994, ISBN 0-89791-647-6 [contents] - 1993
- [j10]Yukuh Tung, Amir A. Khwaja, Joseph E. Urban:
Multiple views of an executable software specification language. J. Syst. Softw. 21(3): 305-319 (1993) - [c23]Chung-Horng Lung, Joseph E. Urban:
Integration of Domain Analysis and Analogical Approach for Software Reuse. SAC 1993: 48-53 - [c22]Jarallah AlGhamdi, Joseph E. Urban:
Comparing and Assessing Programming Languages: Basis for a Qualitative Methodology. SAC 1993: 222-229 - [c21]Amir A. Khwaja, Joseph E. Urban:
Syntax-Directed Editing Environments: Issues and Features. SAC 1993: 230-237 - [c20]Frank W. Calliss, Joseph E. Urban, James H. Cross II, Václav Rajlich:
Reverse Engineering. SEKE 1993: 544-545 - 1992
- [j9]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): 263-276 (1992) - [c19]Joseph E. Urban, R. Frye, A. Miller, A. G. Rao:
Industrial strength software engineering training programs. COMPSAC 1992: 155-161 - [c18]Karl B. Zerangue, Joseph E. Urban:
A metalanguage based on a theory of specification. COMPSAC 1992: 218-223 - [c17]Amir A. Khwaja, Joseph E. Urban:
Adaptation and modification of Nassi-Shneiderman charts to represent Descartes specifications visually. RSP 1992: 188-201 - [c16]Amir A. Khwaja, Raghu Mannam, Joseph E. Urban:
Study of a generic graphics package for the development of various user interfaces. SAC 1992: 438-443 - [c15]Karl B. Zerangue, Joseph E. Urban:
The use of a software specification metalanguage. SAC 1992: 896-903 - [c14]Peraphon Sophatsathit, Joseph E. Urban:
Integrating software tool communication within an environment. SAC 1992: 1070-1075 - [c13]Manmahesh Kantipudi, Joseph E. Urban:
Analysis and experience with an Information System development methodology. SAC 1992: 1173-1179 - 1991
- [j8]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): 19-37 (1991) - [c12]Patrick O. Bobbie, Joseph E. Urban:
Propositional logic for validating software object interrelationships. ICTAI 1991: 48-55 - 1990
- [c11]Patrick O. Bobbie, Joseph E. Urban:
A knowledge-driven methodology for eliciting and restructuring software requirements for distributed design. TAI 1990: 584-592
1980 – 1989
- 1989
- [c10]Patrick O. Bobbie, Joseph E. Urban:
A model for understanding complexities of developing large-scale software systems. TAI 1989: 19-26 - 1988
- [j7]Pei Hsia, Joseph E. Urban:
Guest Editors' Introduction: Computer Languages. IEEE Trans. Software Eng. 14(4): 442-443 (1988) - [c9]José P. Diaz-Gonzalez, Joseph E. Urban:
Language aspects of ENVISAGER: an object-oriented environment for the specification of real-time systems. ICCL 1988: 214-225 - 1987
- [j6]Jeffrey Mitchell, Joseph E. Urban, Robert McDonald:
The Effect of Abstract Data Types on Program Development. Computer 20(8): 85-88 (1987) - 1986
- [j5]Joseph E. Urban:
Building Intelligence into Software Tools. IEEE Expert 1(4): 21 (1986) - [j4]Boumediene Belkhouche, Joseph E. Urban:
Direct Implementation of Abstract Data Types from Abstract Specifications. IEEE Trans. Software Eng. 12(5): 649-661 (1986) - [c8]José P. Diaz-Gonzalez, Anne M. Wilson, Joseph E. Urban, E. L. Gensheimer:
Software Quality in an Enhanced Development Environment. ICC 1986: 1180-1184 - 1985
- [j3]Joseph E. Urban, David A. Fisher:
Guest Editors' Introduction Ada Environments and Tools. IEEE Softw. 2(2): 6-7 (1985) - [j2]Susan Darling Urban, Joseph E. Urban, Wayne D. Dominick:
Utilizing an Executable Specification Language for an Information System. IEEE Trans. Software Eng. 11(7): 598-605 (1985) - 1984
- [c7]Susan Darling Urban, Joseph E. Urban, Wayne D. Dominick:
Utilizing an Executable Specification Language for an Information System. ICDE 1984: 348-355 - 1983
- [j1]Charles E. Oglesby, Joseph E. Urban:
The Human Resource Task Area. Computer 16(11): 65-70 (1983) - 1982
- [c6]Boumediene Belkhouche, Joseph E. Urban, Gregory A. Riccardi:
Synthesizing abstract data type specifications. ACM Southeast Regional Conference 1982: 176-181 - [c5]Joseph E. Urban, Lucinda Edmonds, David Holland, Barry King, Manijeh Moghis, Hugo Valencia:
An analysis of programming environments. ACM Southeast Regional Conference 1982: 182-188 - [c4]Joseph E. Urban:
Software Development with Executable Functional Specifications. ICSE 1982: 418-419 - 1980
- [c3]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: 103-109
1970 – 1979
- 1977
- [c2]Joseph E. Urban, Wayne D. Dominick:
Design and implementation considerations for monitoring and evaluating information systems. ACM-SE 1977: 356-369 - [c1]Joseph E. Urban, Edwin Towster:
Specifications of computer programs using Hoare tree formalism. ACM-SE 1977: 414-425
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 12:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
