Joseph E. Urban

85 papers A* 3A 4B 13C 14Misc 9Journal 20Unranked 21

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