Understanding computers and cognition
Understanding computers and cognition
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
The consistency of syntactical treatments of knowledge
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
The temporal query language TQuel
ACM Transactions on Database Systems (TODS)
Readings in artificial intelligence and software engineering
Readings in artificial intelligence and software engineering
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
gIBIS: a hypertext tool for exploratory policy discussion
ACM Transactions on Information Systems (TOIS)
Lecture notes in computer science on Advances in object-oriented database systems
Lecture notes in computer science on Advances in object-oriented database systems
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Cactis: a self-adaptive, concurrent implementation of an object-oriented database management system
ACM Transactions on Database Systems (TODS)
Software reusability: vol. 1, concepts and models
Software reusability: vol. 1, concepts and models
Draco: a method for engineering reusable software systems
Software reusability: vol. 1, concepts and models
A software process data model for knowledge engineering in information systems
Information Systems - Knowledge engineering
Moments and points in an interval-based temporal logic
Computational Intelligence
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
How to look at deductive databases
Foundations of knowledge base management
A decision-based configuration process model
ICSE '90 Proceedings of the 12th international conference on Software engineering
A general framework for sorted deduction: fundamental results on hybrid reasoning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Group work in software projects
Proceedings of the IFIP WG 8.4 confernece on Multi-user interfaces and applications
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Maintaining knowledge about temporal intervals
Communications of the ACM
Readings in Knowledge Representation
Readings in Knowledge Representation
Information Systems Design Methodologies; A Comparative Review: Proceedings of the IFIP WG 8.1 Working Conference on Comparative Review of Information Systems Design Methodologies, Noordwijkerhout, the Netherlands, 10-14 May 1982
COL: A Logic-Based Language for Complex Objects
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Requirements modeling: a knowledge representation approach to software requirements definition
Requirements modeling: a knowledge representation approach to software requirements definition
Teamwork Support in a Knowledge-Based Information Systems Environment
IEEE Transactions on Software Engineering
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
A conceptual modelling approach to authoring-in-the-large for hypertext documents
COCS '91 Proceedings of the conference on Organizational computing systems
DAIDA: an environment for evolving information systems
ACM Transactions on Information Systems (TOIS)
Editorial: Knowledge Representation and Reasoning in Software Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Representing and using nonfunctional requirements: a process-oriented approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Supporting Systems Development by Capturing Deliberations During Requirements Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Organizing software information: a concept-based approach
ACM SIGOIS Bulletin - Special issue on information system design support tools
Update control in deductive object bases (dissertation)
ACM SIGART Bulletin
The missing link in requirements engineering
ACM SIGSOFT Software Engineering Notes
PARDES: a data-driven oriented active database model
ACM SIGMOD Record
An actor dependency model of organizational work: with application to business process reengineering
COCS '93 Proceedings of the conference on Organizational computing systems
Storage management for knowledge bases
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Quantitative evaluation of a transaction facility for knowledge base management system
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Information systems research at RWTH Aachen
ACM SIGMOD Record
Templar: a knowledge-based language for software specifications using temporal logic
ACM Transactions on Information Systems (TOIS)
Query processing for knowledge bases using join indices
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Goal driven business modelling: supporting decision making within information systems development
COCS '95 Proceedings of conference on Organizational computing systems
Models for supporting the redesign of organizational work
COCS '95 Proceedings of conference on Organizational computing systems
Simulation and analysis of business processes using GOLOG
COCS '95 Proceedings of conference on Organizational computing systems
A general explanation component for conceptual modeling in CASE environments
ACM Transactions on Information Systems (TOIS)
The use of description logics in KBSE systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Knowledge-based support for the user-interface design process
ACM SIGCHI Bulletin
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Understanding “why” in software process modelling, analysis, and design
ICSE '94 Proceedings of the 16th international conference on Software engineering
A method for monolingual thesauri merging
Proceedings of the 20th annual international ACM SIGIR conference on Research and development in information retrieval
The Domain Theory for Requirements Engineering
IEEE Transactions on Software Engineering
IBM Systems Journal
Managing performance requirements for information systems
Proceedings of the 1st international workshop on Software and performance
An Extensible System for Source Code Analysis
IEEE Transactions on Software Engineering
Conceptual schema analysis: techniques and applications
ACM Transactions on Database Systems (TODS)
Query optimization for repository-based applications
Proceedings of the 1999 ACM symposium on Applied computing
Querying temporal constraint networks in PTIME
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Managing Requirements Inconsistency with Development Goal Monitors
IEEE Transactions on Software Engineering
View maintenance and change notification for application program views
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Finding linking opportunities through relationship-based analysis
HYPERTEXT '00 Proceedings of the eleventh ACM on Hypertext and hypermedia
Software engineering for security: a roadmap
Proceedings of the Conference on The Future of Software Engineering
An Aristotelian understanding of object-oriented programming
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Management of Performance Requirements for Information Systems
IEEE Transactions on Software Engineering
Toward Reference Models for Requirements Traceability
IEEE Transactions on Software Engineering
View Management Support in Advanced Knowledge Base Servers
Journal of Intelligent Information Systems
A vision for management of complex models
ACM SIGMOD Record
Information systems as social structures
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Advances in software engineering
Towards environment-retargetable parser generators
Advances in software engineering
RQL: a declarative query language for RDF
Proceedings of the 11th international conference on World Wide Web
Tool support for engineering adaptability into software architecture
Proceedings of the International Workshop on Principles of Software Evolution
A knowledge-based COTS-aware requirements engineering approach
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Reconciling requirements: a method for managing interference, inconsistency and conflict
Annals of Software Engineering
A practical approach to combining requirements definition and object-oriented analysis
Annals of Software Engineering
Querying Temporal Constraint Networks: A Unifying Approach
Applied Intelligence
Representing Software Engineering Knowledge
Automated Software Engineering
CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements
Automated Software Engineering
Development of new telecommunications services using an expert system
BT Technology Journal
Controlled Vocabularies in OODBs: Modeling Issues and Implementation
Distributed and Parallel Databases
The software information base: a server for reuse
The VLDB Journal — The International Journal on Very Large Data Bases
Strategies for Integrating CASE Environments
IEEE Software
Temporal and Real-Time Databases: A Survey
IEEE Transactions on Knowledge and Data Engineering
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Toward Web-Based Application Management Systems
IEEE Transactions on Knowledge and Data Engineering
Materialization and Its Metaclass Implementation
IEEE Transactions on Knowledge and Data Engineering
Knowbel: A Hybrid Tool for Building Expert Systems
IEEE Expert: Intelligent Systems and Their Applications
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
AI Models for Business Process Reengineering
IEEE Expert: Intelligent Systems and Their Applications
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
Agent-Oriented Software Development
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Database Application Development as an Object Modeling Activity
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Querying in Highly Mobile Distributed Environments
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Materialization: A Powerful and Ubiquitous Abstraction Pattern
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Incremental Maintenance of Externally Materialized Views
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Contexts and Views in Object-Oriented Languages
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
A Uniform Approach to Inter-model Transformations
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Configuring Business Objects from Legacy Systems
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Design and Implementation of a UML-Based Design Repository
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Representation of Generic Relationship Types in Conceptual Modeling
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Metadata and Cooperative Knowledge Management
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
SIS - TMS: A Thesaurus Management System for Distributed Digital Collections
ECDL '98 Proceedings of the Second European Conference on Research and Advanced Technology for Digital Libraries
Declarative Specification of Z39.50 Wrappers Using Description Logics
ECDL '99 Proceedings of the Third European Conference on Research and Advanced Technology for Digital Libraries
Benchmarking RDF Schemas for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Contextualization as an Abstraction Mechanism for Conceptual Modelling
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Metamodeling for Web-Based Teachware Management
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
A Semantic Approach to XML-based Data Integration
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
A Metamodel for Part - Whole Relationships for Reasoning on Missing Parts and Reconstruction
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Configurable Business Objects for Building Evolving Enterprise Models and Applications
Business Process Management, Models, Techniques, and Empirical Studies
Reuse of Measurement Plans Based on Process and Quality Models
LSO '01 Proceedings of the Third International Workshop on Advances in Learning Software Organizations
A Goal-Based Organizational Perspective on Multi-agent Architectures
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Agent-Oriented Modelling: Software versus the World
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Definition and Application of Metaclasses
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Relationship Reification: A Temporal View
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Building knowledge base management systems
The VLDB Journal — The International Journal on Very Large Data Bases
A semantically advanced querying methodology for medical knowledge and decision support
Knowledge media in healthcare
An approach to building quality into software architecture
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Using an integrated toolset for program understanding
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Similarity-based retrieval for diverse bookshelf software repository users
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
A technique for automatically organizing software libraries for software reuse
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Towards an integrated toolset for program understanding
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
SA3: a tool for supporting adaptable software architecture generation for embedded systems
Computer Standards & Interfaces - Special issue: Adaptable software architectures
A knowledge-based system approach for scientific data analysis and the notion of metadata
MSS '95 Proceedings of the 14th IEEE Symposium on Mass Storage Systems
A computational mechanism for parallel problem decomposition during requirements engineering
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
From Early to Late Formal Requirements: A Process-Control Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Querying the Semantic Web with RQL
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Context in problem solving: a survey
The Knowledge Engineering Review
A role model and its metaclass implementation
Information Systems
Adaptable architecture generation for embedded systems
Journal of Systems and Software - Special issue: Computer systems
Management of Web Data Models Based on Graph Transformation
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Specification and querying of security constraints in the EFSOC framework
Proceedings of the 2nd international conference on Service oriented computing
Inheritance processing and conflicts in structural generalization hierarchies
ACM Computing Surveys (CSUR)
Data Mining for Case-Based Reasoning in High-Dimensional Biological Domains
IEEE Transactions on Knowledge and Data Engineering
From requirements to multi-agent architecture using organisational concepts
SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
EFSOC: A Layered Framework for Developing Secure Interactions between Web-Services
Distributed and Parallel Databases
Integrating visual goal models into the Rational Unified Process
Journal of Visual Languages and Computing
Data & Knowledge Engineering - Special issue: ER 2003
A model for capturing and representing the engineering design process
Expert Systems with Applications: An International Journal
Ownership as a conceptual modeling construct
Data & Knowledge Engineering
Intensional associations between data and metadata
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
How knowledge representation meets software engineering (and often databases)
Automated Software Engineering
Can programming be liberated from the two-level style: multi-level programming with deepjava
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Object oriented knowledge representation framework for requirements engineering
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Configuring features with stakeholder goals
Proceedings of the 2008 ACM symposium on Applied computing
The CIDOC conceptual reference model: a new standard for knowledge sharing
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
A journey to highly dynamic, self-adaptive service-based applications
Automated Software Engineering
Analyzing Agent-Oriented Service Models based on SRMO
SOCCER '08 Proceedings of the 2008 International Workshop on Service-Oriented Computing Consequences for Engineering Requirements
Journal of Systems and Software
Bridging the gap between OWL and relational databases
Web Semantics: Science, Services and Agents on the World Wide Web
Mapping Requirement Models to Mathematical Models in Control System Development
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence
Conceptual Modeling: Foundations and Applications
Conceptual Modeling: Past, Present and the Continuum of the Future
Conceptual Modeling: Foundations and Applications
Heterogeneity in Model Management: A Meta Modeling Approach
Conceptual Modeling: Foundations and Applications
Conceptual Modeling: Foundations and Applications
Abstract ERIA: a web language for conceptual metadata integration and abstraction in the large
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Inducing Metaassociations and Induced Relationships
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
A conceptual model of personalized virtual learning environments
Expert Systems with Applications: An International Journal
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Knowledge and Information Systems
Using an O-Telos peer to provide reasoning capabilities in an RDF-based P2P-environment
AP2PC'02 Proceedings of the 1st international conference on Agents and peer-to-peer computing
Derivation rules in object-oriented conceptual modeling languages
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Towards more extensible metaCASE tools
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
GeRoMe: a generic role based metamodel for model management
Journal on data semantics VIII
Defining reference models for modelling qualities: how requirements engineering techniques can help
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
Requirements traceability in agent oriented development
Software engineering for large-scale multi-agent systems
Combining description logics, description graphs, and rules
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
A survey of customization support in agent-based business process simulation tools
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Multi-level domain modeling with m-objects and m-relationships
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Metamodelling with datalog and classes: conceptbase at the age of 21
ICOODB'09 Proceedings of the Second international conference on Object databases
Enhancing the semantics of UML association redefinition
Data & Knowledge Engineering
The model role level: a vision
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Managing multi-jurisdictional requirements in the cloud: towards a computational legal landscape
Proceedings of the 3rd ACM workshop on Cloud computing security workshop
PRONTO: An ontology for comprehensive and consistent representation of product information
Engineering Applications of Artificial Intelligence
RUL: a declarative update language for RDF
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Pre-conceptual schema: a conceptual-graph-like knowledge representation for requirements elicitation
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Pattern-Based cross media social network analysis for technology enhanced learning in europe
EC-TEL'06 Proceedings of the First European conference on Technology Enhanced Learning: innovative Approaches for Learning and Knowledge Sharing
Generic relationships in information modeling
Journal on Data Semantics IV
An ensemble of case-based classifiers for high-dimensional biological domains
ICCBR'05 Proceedings of the 6th international conference on Case-Based Reasoning Research and Development
Concepts for comparing modeling tool architectures
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
SNet reloaded: roles, monitoring and agent evolution
AOIS'04 Proceedings of the 6th international conference on Agent-Oriented Information Systems II
GeRoMe: a generic role based metamodel for model management
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Modelling learning subjects as relationships
IHI'04 Proceedings of the 2004 international conference on Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets
On the Semantics of a Semantic Network
Fundamenta Informaticae
LOGIC BASED PROGRAMMED STRUCTURE REWRITING SYSTEMS
Fundamenta Informaticae
Proceedings of the Fifth International Conference on Security of Information and Networks
Dependency management for the preservation of digital information
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
Regulatory requirements traceability and analysis using semi-formal specifications
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
From types to type requirements: genericity for model-driven engineering
Software and Systems Modeling (SoSyM)
An argumentative approach of conceptual modelling and model validation through theory building
DESRIST'13 Proceedings of the 8th international conference on Design Science at the Intersection of Physical and Virtual Design
Querying incomplete geospatial information in RDF
SSTD'13 Proceedings of the 13th international conference on Advances in Spatial and Temporal Databases
Structuring variability in the context of embedded systems during software engineering
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
KBRE: a framework for knowledge-based requirements engineering
Software Quality Control
Hi-index | 0.00 |
We describe Telos, a language intended to support the development of information systems. The design principles for the language are based on the premise that information system development is knowledge intensive and that the primary responsibility of any language intended for the task is to be able to formally represent the relevent knowledge. Accordingly, the proposed language is founded on concepts from knowledge representations. Indeed, the language is appropriate for representing knowledge about a variety of worlds related to a particular information system, such as the subject world (application domain), the usage world (user models, environments), the system world (software requirements, design), and the development world (teams, metodologies).We introduce the features of the language through examples, focusing on those provided for desribing metaconcepts that can then be used to describe knowledge relevant to a particular information system. Telos' fetures include an object-centered framework which supports aggregation, generalization, and classification; a novel treatment of attributes; an explicit representation of time; and facilities for specifying integrity constraints and deductive rules. We review actual applications of the language through further examples, and we sketch a formalization of the language.