Joseph E. Urban

Proceedings of the Second IEEE International Conference on Robotic Computing, 2018

Introduction to Computing: Interdisciplinary Course Design.

[BibT_eX]

[DOI]

Anitha Sarah Subburaj

Proceedings of the IEEE Frontiers in Education Conference, 2018

Specifying Security Requirements in Multi-agent Systems Using the Descartes-Agent Specification Language and AUML.

[BibT_eX]

[DOI]

Proceedings of the Information Technology for Management: Emerging Research and Applications, 2018

Applying Formal Methods to Specify Security Requirements in Multi-Agent Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2012

Specification of Safety Critical Systems with Intelligent Software Agent Method.

[BibT_eX]

Manan R. Shah

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.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

Extending the Descartes Specification Language Towards Process Modeling.

[BibT_eX]

[DOI]

Lavanya Ramamoorthy

Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

2010

A property based specification formalism classification.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

Report on the future of computing education summit.

[BibT_eX]

[DOI]

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

Intelligent Software Agent Design Issues with Extensions to the Descartes Specification Language.

[BibT_eX]

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.

[BibT_eX]

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.

[BibT_eX]

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.

[BibT_eX]

Proceedings of the 2010 International Conference on Embedded Systems & Applications, 2010

Issues and Challenges in Building a Framework for Reactive Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the CISIS 2010, 2010

2009

Panel on revitalized undergraduate computing education.

[BibT_eX]

[DOI]

Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

RealSpec: An Executable Specification Language for Modeling Control Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

RealSpec: An Executable Specification Language for Prototyping Concurrent Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

2007

Analogy-based domain analysis approach to software reuse.

[BibT_eX]

[DOI]

Gerald T. Mackulak

Requir. Eng., 2007

An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language.

[BibT_eX]

[DOI]

Michael A. Medina

Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

2006

A Framework for the Evaluation of Real-time Specification Techniques.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2006

2005

Software Project Driven Analysis and Development of Process Activities Supporting Web Based Software Engineering Tools.

[BibT_eX]

Shriram Sankaran

Proceedings of the ICEIS 2005, 2005

Smart Online Placement Examination.

[BibT_eX]

Tushar Chandra

Gitanjali Gunnam

Proceedings of the IASTED International Conference on Web Technologies, 2005

2002

Designing Interdisciplinary Approaches to Problem Solving into Computer Languages.

[BibT_eX]

[DOI]

Vladik Kreinovich

Trans. SDPS, 2002

A Synthesis of Evaluation Criteria for Software Specifications and Specification Techniques.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2002

Supporting Software Process Tracking Through the Internet (invited paper).

[BibT_eX]

Shriram Sankaran

Proceedings of the Internet Technologies, 2002

Analogy Supports for Software Reuse and Knowledge Management.

[BibT_eX]

Gerald T. Mackulak

Proceedings of the Intelligent Information Processing, 2002

1999

SOORLS: A Software Reuse Approach on the Web.

[BibT_eX]

[DOI]

Sung-Koo Lee

Int. J. Softw. Eng. Knowl. Eng., 1999

Unix and Beyond: An Interview with Ken Thompson.

[BibT_eX]

[DOI]

Computer, 1999

Distributed data parallelisms: specified in Descartes and programmed in SequenceL and Java.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Validating Software Specifications against User Claims.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

Software Engineering on the Web.

[BibT_eX]

[DOI]

Proceedings of the BIS '99, 1999

1998

Guest Editors' Introduction.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1998

A Distributed Version of the SequenceL Language.

[BibT_eX]

[DOI]

Vladik Kreinovich

Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

1997

A Visual Syntax-Directed Editor for the Descartes Specification Language.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1997

Scalable Templates for Specification Reuse.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ramkumar V. Pichai

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

Panel Overview-Software Education in the Asia-Pacific Region in the 21st Century.

[BibT_eX]

[DOI]

Proceedings of the COMPSAC '96, 1996

Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations.

[BibT_eX]

[DOI]

Proceedings of the COMPSAC '96, 1996

1995

An Approach to the Classification of Domain Models in Support of Analogical Reuse.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995

The Future of Software Engineering Education.

[BibT_eX]

Proceedings of the SEKE'95, 1995

Executable specifications for distributed software systems.

[BibT_eX]

[DOI]

Hankyu Joo

Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

An Expanded View of Domain Modeling for Software Analogy.

[BibT_eX]

[DOI]

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994

Computer Simulation Software Reuse by Generic/Specific Domain Modeling Approach.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1994

Software Specification of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

What Types of Research Papers Should We Be Writing?

[BibT_eX]

[DOI]

Earl E. Swartzlander Jr.

Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

A method for evaluating software engineering environments.

[BibT_eX]

[DOI]

Mathew A. Taylor

Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

Development of the TUG specification language to support specification reuse.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

Software productivity: through undergraduate Software Engineering Education and Case Tools.

[BibT_eX]

[DOI]

Proceedings of the Impact of Case Technology on Software Processes, 1994

1993

Multiple views of an executable software specification language.

[BibT_eX]

[DOI]

Yukuh Tung

J. Syst. Softw., 1993

Reverse Engineering.

[BibT_eX]

Proceedings of the SEKE'93, 1993

Integration of Domain Analysis and Analogical Approach for Software Reuse.

[BibT_eX]

[DOI]

Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993

Syntax-Directed Editing Environments: Issues and Features.

[BibT_eX]

[DOI]

Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993

Comparing and Assessing Programming Languages: Basis for a Qualitative Methodology.

[BibT_eX]

[DOI]

Jarallah AlGhamdi

Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993

1992

The Impact of undergraduate Software Engineering Education on Advancing Case Tools.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1992

The use of a software specification metalanguage.

[BibT_eX]

[DOI]

Karl B. Zerangue

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

Integrating software tool communication within an environment.

[BibT_eX]

[DOI]

Peraphon Sophatsathit

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

Study of a generic graphics package for the development of various user interfaces.

[BibT_eX]

[DOI]

Raghu Mannam

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

Analysis and experience with an Information System development methodology.

[BibT_eX]

[DOI]

Manmahesh Kantipudi

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.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Rapid System Prototyping, 1992

A metalanguage based on a theory of specification.

[BibT_eX]

[DOI]

Karl B. Zerangue

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

Industrial strength software engineering training programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

José P. Diaz-Gonzalez

Comput. Lang., 1991

Propositional logic for validating software object interrelationships.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

1989

A model for understanding complexities of developing large-scale software systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989

1988

Guest Editors' Introduction: Computer Languages.

[BibT_eX]

[DOI]

Pei Hsia

IEEE Trans. Software Eng., 1988

1987

The Effect of Abstract Data Types on Program Development.

[BibT_eX]

[DOI]

Jeffrey Mitchell

Robert McDonald

Computer, 1987

1986

Direct Implementation of Abstract Data Types from Abstract Specifications.

[BibT_eX]

[DOI]

Boumediene Belkhouche

IEEE Trans. Software Eng., 1986

Building Intelligence into Software Tools.

[BibT_eX]

[DOI]

IEEE Expert, 1986

Software Quality in an Enhanced Development Environment.

[BibT_eX]

José P. Diaz-Gonzalez

Anne M. Wilson

E. L. Gensheimer

Proceedings of the IEEE International Conference on Communications: Integrating the World Through Communications, 1986

1985

Utilizing an Executable Specification Language for an Information System.

[BibT_eX]

[DOI]

Susan Darling Urban

Wayne D. Dominick

IEEE Trans. Software Eng., 1985

Guest Editors' Introduction Ada Environments and Tools.

[BibT_eX]

[DOI]

David A. Fisher

IEEE Softw., 1985

1983

The Human Resource Task Area.

[BibT_eX]

[DOI]

Charles E. Oglesby

Computer, 1983

1982

Software Development with Executable Functional Specifications.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1982

An analysis of programming environments.

[BibT_eX]

[DOI]

Proceedings of the 20th Annual Southeast Regional Conference, 1982

Synthesizing abstract data type specifications.

[BibT_eX]

[DOI]

Boumediene Belkhouche

Gregory A. Riccardi

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.

[BibT_eX]

[DOI]

Christie D. Michelsen

Wayne D. Dominick

Proceedings of the 18th Annual Southeast Regional Conference, 1980

1977

Specifications of computer programs using Hoare tree formalism.

[BibT_eX]

[DOI]

Edwin Towster

Proceedings of the 15th annual Southeast regional conference, 1977

Design and implementation considerations for monitoring and evaluating information systems.

[BibT_eX]

[DOI]