• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 10,879
Next 10 →

Ontologies: Principles, methods and applications

by Mike Uschold, Michael Gruninger - KNOWLEDGE ENGINEERING REVIEW , 1996
"... This paper is intended to serve as a comprehensive introduction to the emerging field concerned with the design and use of ontologies. We observe that disparate backgrounds, languages, tools, and techniques are a major barrier to effective communication among people, organisations, and/or software s ..."
Abstract - Cited by 582 (3 self) - Add to MetaCart
This paper is intended to serve as a comprehensive introduction to the emerging field concerned with the design and use of ontologies. We observe that disparate backgrounds, languages, tools, and techniques are a major barrier to effective communication among people, organisations, and/or software

Model Checking Programs

by Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA , 2003
"... The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers, proof checkers and model checkers. In this pape ..."
Abstract - Cited by 592 (63 self) - Add to MetaCart
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers, proof checkers and model checkers

The TSIMMIS Approach to Mediation: Data Models and Languages

by Hector Garcia-Molina, Yannis Papakonstantinou, Dallan Quass, Yehoshua Sagiv, Jeffrey Ullman, Vasilis Vassalos, Jennifer Widom, et al. - JOURNAL OF INTELLIGENT INFORMATION SYSTEMS , 1997
"... TSIMMIS -- The Stanford-IBM Manager of Multiple Information Sources -- is a system for integrating information. It o ers a data model and a common query language that are designed to support the combining of information from many different sources. It also o ers tools for generating automatically th ..."
Abstract - Cited by 417 (9 self) - Add to MetaCart
TSIMMIS -- The Stanford-IBM Manager of Multiple Information Sources -- is a system for integrating information. It o ers a data model and a common query language that are designed to support the combining of information from many different sources. It also o ers tools for generating automatically

Higher-Order Abstract Syntax

by Frank Pfenning, Conal Elliott
"... We describe motivation, design, use, and implementation of higher-order abstract syntax as a central representation for programs, formulas, rules, and other syntactic objects in program manipulation and other formal systems where matching and substitution or syntax incorporates name binding informat ..."
Abstract - Cited by 357 (17 self) - Add to MetaCart
information in a uniform and language generic way. Thus it acts as a powerful link integrating diverse tools in such formal environments. We have implemented higherorder abstract syntax, a supporting matching and unification algorithm, and some clients in Common

Viewpoints: A Framework for Integrating Multiple Perspectives in System Development

by Finkelsetin Kramer Nuseibeh, A. Finkelsetin, A. Finkelstein, J. Kramer, J. Kramer, B. Nuseibeh, B. Nuseibeh, L. Finkelstein, L. Finkelstein, M. Goedicke, M. Goedicke - International Journal of Software Engineering and Knowledge Engineering , 1992
"... This paper outlines a framework which supports the use of multiple perspectives in system development, and provides a means for developing and applying systems design methods. The framework uses "viewpoints" to partition the system specification, the development method and the formal repre ..."
Abstract - Cited by 232 (46 self) - Add to MetaCart
This paper outlines a framework which supports the use of multiple perspectives in system development, and provides a means for developing and applying systems design methods. The framework uses "viewpoints" to partition the system specification, the development method and the formal

System-level design: Orthogonalization of concerns and platform-based design

by Kurt Keutzer, Sharad Malik, A. Richard Newton, Jan M. Rabaey, A. Sangiovanni-Vincentelli - IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS , 2000
"... System-level design issues become critical as implementation technology evolves toward increasingly complex integrated circuits and the time-to-market pressure continues relentlessly. To cope with these issues, new methodologies that emphasize re-use at all levels of abstraction are a “must”, and th ..."
Abstract - Cited by 272 (10 self) - Add to MetaCart
System-level design issues become critical as implementation technology evolves toward increasingly complex integrated circuits and the time-to-market pressure continues relentlessly. To cope with these issues, new methodologies that emphasize re-use at all levels of abstraction are a “must

A Pattern Approach to Interaction Design

by Jan O. Borchers , 2000
"... To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, however, usually miss a common terminology to exchange ideas, opinions, and values. This paper presents an approach that use ..."
Abstract - Cited by 259 (13 self) - Add to MetaCart
that uses pattern languages to capture this knowledge in software development, HCI, and the application domain. A formal, domain-independent definition of design patterns allows for computer support without sacrificing readability, and pattern use is integrated into the usability engineering lifecycle

Seven More Myths of Formal Methods

by Jonathan P. Bowen, Michael G Hinchey - IEEE SOFTWARE , 1995
"... In 1990, Anthony Hall published a seminal article that listed and dispelled seven myths about the nature and application of formal methods. Today - five years and many successful applications later - formal methods remain one of the most contentious areas of software-engineering practice. Despite 25 ..."
Abstract - Cited by 137 (18 self) - Add to MetaCart
process; formal methods lack tools; formal methods replace traditional engineering design methods; formal methods only apply to software; formal methods are unnecessary; formal methods are not supported; and formal-methods people always use formal methods.

Component Tools: Application and Integration of Formal Methods

by Ekkart Kindler, Vladimir Rubin, Robert Wagner
"... Abstract. The field of formal methods provides all kinds of powerful techniques for the specification, design, verification, validation, and start-up of systems. Unfortunately, the different techniques have different un-derlying formalisms and notations, they use different concepts and meth-ods, and ..."
Abstract - Add to MetaCart
, an engineer can use these components for designing, verifying, and validating a system with support from formal methods and their tools under a uniform visual user interface – without even knowing the details of the underlying formal methods. In this paper, we outline the basic idea, the concepts

Specification of Graph Translators with Triple Graph Grammars

by Andy Schürr - in Proc. of the 20th Int. Workshop on Graph-Theoretic Concepts in Computer Science (WG `94), Herrsching (D , 1995
"... . Data integration is a key issue for any integrated set of software tools where each tool has its own data structures (at least on the conceptual level), but where we have many interdependencies between these private data structures. A typical CASE environment, for instance, offers tools for the ma ..."
Abstract - Cited by 232 (9 self) - Add to MetaCart
for the manipulation of requirements and software design documents and provides more or less sophisticated assistance for keeping these documents in a consistent state. Up to now almost all of these data consistency observing or preserving integration tools are hand-crafted due to the lack of generic implementation
Next 10 →
Results 1 - 10 of 10,879
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University