Joseph E. Urban
According to our database1,
Joseph E. Urban
authored at least 82 papers
between 1977 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2018
Proceedings of the Second IEEE International Conference on Robotic Computing, 2018
Proceedings of the IEEE Frontiers in Education Conference, 2018
Specifying Security Requirements in Multi-agent Systems Using the Descartes-Agent Specification Language and AUML.
Proceedings of the Information Technology for Management: Emerging Research and Applications, 2018
Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018
2014
DOROTHY: Enhancing Bidirectional Communication between a 3D Programming Interface and Mobile Robots.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2012
Specification of Safety Critical Systems with Intelligent Software Agent Method.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012
2011
Intelligent Agent Software Development Using AUML and the Descartes Specification Language.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011
Proceedings of the Federated Conference on Computer Science and Information Systems, 2011
2010
Proceedings of the 41st ACM technical symposium on Computer science education, 2010
Intelligent Software Agent Design Issues with Extensions to the Descartes Specification Language.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010
Intertwining Implementation with the RealSpec Executable Real-Time Specification Language.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010
Agile and Incremental Development Methods for Real-Time Software Systems.
Proceedings of the 2010 International Conference on Embedded Systems & Applications, 2010
Experience with an eCos RTOS Based Compiler for the RealSpec Real-Time Specification Language.
Proceedings of the 2010 International Conference on Embedded Systems & Applications, 2010
Proceedings of the CISIS 2010, 2010
2009
Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009
2008
RealSpec: an Executable Specification Language for Modeling Resources.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008
Proceedings of the 19th IEEE/IFIP International Symposium on Rapid System Prototyping: RSP 2009, 2008
The State of Executable Real-Time Specification Languages and the Need for Advancements.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008
2007
An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language.
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007
2006
Int. J. Softw. Eng. Knowl. Eng., 2006
2005
Software Project Driven Analysis and Development of Process Activities Supporting Web Based Software Engineering Tools.
Proceedings of the ICEIS 2005, 2005
Smart Online Placement Examination.
Proceedings of the IASTED International Conference on Web Technologies, 2005
2002
Trans. SDPS, 2002
A Synthesis of Evaluation Criteria for Software Specifications and Specification Techniques.
Int. J. Softw. Eng. Knowl. Eng., 2002
Supporting Software Process Tracking Through the Internet (invited paper).
Proceedings of the Internet Technologies, 2002
Analogy Supports for Software Reuse and Knowledge Management.
Proceedings of the Intelligent Information Processing, 2002
1999
Distributed data parallelisms: specified in Descartes and programmed in SequenceL and Java.
Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999
1998
Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998
1997
Softw. Pract. Exp., 1997
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997
1996
A technique for validating Booch object-oriented designs from extensions to the Descartes specification language.
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996
Proceedings of the COMPSAC '96, 1996
Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations.
Proceedings of the COMPSAC '96, 1996
1995
Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995
The Future of Software Engineering Education.
Proceedings of the SEKE'95, 1995
Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995
1994
Int. J. Softw. Eng. Knowl. Eng., 1994
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994
Software productivity: through undergraduate Software Engineering Education and Case Tools.
Proceedings of the Impact of Case Technology on Software Processes, 1994
1993
J. Syst. Softw., 1993
Reverse Engineering.
Proceedings of the SEKE'93, 1993
Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993
Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993
Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993
1992
Int. J. Softw. Eng. Knowl. Eng., 1992
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992
Adaptation and modification of Nassi-Shneiderman charts to represent Descartes specifications visually.
Proceedings of the Third International Workshop on Rapid System Prototyping, 1992
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992
1991
Language Aspects of Envisager: An Object-Oriented Environment for the Specification of Real-Time Systems.
Comput. Lang., 1991
Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991
1990
A knowledge-driven methodology for eliciting and restructuring software requirements for distributed design.
Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990
1989
Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989
1988
1987
1986
IEEE Trans. Software Eng., 1986
Software Quality in an Enhanced Development Environment.
Proceedings of the IEEE International Conference on Communications: Integrating the World Through Communications, 1986
1985
IEEE Trans. Software Eng., 1985
1983
1982
Proceedings of the Proceedings, 1982
Proceedings of the 20th Annual Southeast Regional Conference, 1982
Proceedings of the 20th Annual Southeast Regional Conference, 1982
1980
A methodology for the objective evaluation of the user/system interfaces of the MADAM system using software engineering principles.
Proceedings of the 18th Annual Southeast Regional Conference, 1980
1977
Proceedings of the 15th annual Southeast regional conference, 1977
Design and implementation considerations for monitoring and evaluating information systems.
Proceedings of the 15th annual Southeast regional conference, 1977