John Mylopoulos, Alex Borgida, Matthias Jarke, Manolis Koubarakis  Home/Search
Context Related
Links: ACM DBLP | di.uoa.gr/~manolis/public...telos.ps.gz toronto.edu/~mkolp...osACMTOIS_tex.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.uoa.gr/~manolis/journals (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes a language that is intended to support software engineers in the development of information systems throughout the software lifecycle. This language is not a programming language. Following the example of a number of other software engineering projects, our work is based on the premise that information system development is knowledge-intensive and that the primary responsibility of any language intended to support this task is to be able to formally represent the relevant... (Update)
Cited by: More
GeRoMe: A Generic Role Based Metamodel for Model Management - Kensche, Quix, Chatti, Jarke (2005) (Correct)
Contextualization as an Independent Abstraction Mechanism.. - Conceptual Modeling.. (Correct)
Using BPEL Process Descriptions for Building up.. - Schmitz, Lakemeyer.. (2004) (Correct)
Active bibliography (related documents): More All
0.7: Reasoning About Time and Change: a Knowledge Base Management.. - Koubarakis (1990) (Correct)
0.6: Specification Management with CADo - Jarke, Rose (1992) (Correct)
0.5: Deductive Integrity Maintenance in an Object-Oriented Setting - Jeusfeld, Krüger (1990) (Correct)
Similar documents based on text: More All
0.3: Querying Temporal Constraint Networks in PTIME - Koubarakis, al. (1999) (Correct)
0.3: Theories Underlying Requirements Engineering: An.. - Jarke, Bubenko.. (1992) (Correct)
0.3: Building Knowledge Base Management Systems: A Progress .. - Mylopoulos, Chaudhri, .. (1994) (Correct)
Related documents from co-citation: More All
14: The Software Information Base: A Server for Reuse - Constantopoulos, Jarke et al. - 1995
14: Representing and Using Nonfunctional Requirements: A Process-Oriented Approach - Mylopoulos, Chung et al. - 1992
13: Exploiting Reusable Specifications through Analogy (context) - Maiden, Sutcliffe - 1992
BibTeX entry: (Update)
J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis. Telos: Representing knowledge about information systems. In ACM Trans. on Information Systems. vol. 8(4), 1990. http://citeseer.ist.psu.edu/mylopoulos90telos.html More
@article{ mylopoulos90telos,
author = "John Mylopoulos and Alexander Borgida and Matthias Jarke and Manolis Koubarakis",
title = "Telos: Representing Knowledge About Information Systems",
journal = "Information Systems",
volume = "8",
number = "4",
pages = "325-362",
year = "1990",
url = "citeseer.ist.psu.edu/mylopoulos90telos.html" }
Citations (may not include all citations):1044 Maintaining Knowledge about Temporal Intervals (context) - Allen - 1983 ACM DBLP
637 The entity-relationship model-Towards a unified view of data (context) - Chen - 1976
295 Cambridge University Press (context) - Toulmin - 1958
284 Constraint Propagation Algorithms for Temporal Reasoning: a .. (context) - Vilain, Kautz et al. - 1989
132 Towards a logical reconstruction of relational database theo.. (context) - Reiter - 1984 DBLP
128 Understanding Computers and Cognition (context) - Winograd, Flores - 1987
107 Readings in Knowledge Representation (context) - Brachman, Levesque - 1985 ACM
99 Logic and Databases: A Deductive Approach (context) - Gallaire, Minker et al. - 1984 ACM DBLP
99 Logic: A Higher-Order Language for Reasoning about Objects (context) - Kifer, Lausen - 1989
96 Telos: A Language for Representing Knowledge About Informati.. (context) - Mylopoulos, Borgida et al. - 1990
73 Semantic Database Modelling: Survey (context) - Hull, King - 1987
71 COL: a Logic-based Language for Complex Objects (context) - Abiteboul, Grumbach - 1988 ACM DBLP
69 A Common-Sense Theory of Time (context) - Allen, Hayes - 1985
66 Objects with Roles (context) - Pernici - 1989 ACM
48 Structured Analysis for Requirements Definition (context) - Ross, Schoman - 1977 DBLP
47 Moments and Points In an Interval-Based Temporal Logic (context) - Allen, Hayes - 1989
39 Draco: A Method for Engineering Reusable Software Systems - Neighbors - 1989 ACM
37 Software Reusability (context) - Biggerstaff, Perlis - 1989 ACM
31 Concurrent Implementation of an Object-Oriented Database Man.. (context) - Hudson, King et al. - 1989
19 Information Systems Design Methodologies: A Comparative Revi.. (context) - Olle, Sol - 1982
16 Requirements Modelling: A Knowledge Representation Approach .. (context) - Greenspan - 1984
14 Declarative approach to information systems requirements (context) - Hagelstein - 1988
14 From Information System Requirements to Designs: A Mapping F.. (context) - Chung, Katalagarianos et al. - 1989 ACM DBLP
12 Advances in Object-Oriented Database Systems (context) - Dittrich - 1988 ACM
11 The Consistency of Syntactical Treatments of Knowledge (context) - eres, Levesque - 1986 ACM DBLP
11 A software process data model for knowledge engineering in i.. (context) - Jarke, Jeusfeld et al. - 1990 ACM DBLP
10 A General Framework for Sorted Deduction: Fundamental Result.. (context) - Frisch - 1989 DBLP
10 A Language Facility for Designing Interactive Data-intensive.. (context) - Mylopoulos, Bernstein et al. - 1980
9 KRYPTON: Integrating Terminology and Assertion (context) - Brachman, Fikes et al. - 1983 DBLP
8 Co-AUTHOR: a hypermedia group authoring environment (context) - Hahn, Jarke et al. - 1989
8 A hypertext tool for exploratory policy discussion (context) - Conklin, Begeman - 1988
8 Principles of Good Software Specification and Their Implicat.. (context) - Balzer, Goldman - 1979
7 a Logic For Knowledge Representation (context) - Attardi, Simi - 1981
7 CML: A knowledge representation language with application to.. (context) - Stanley - 1986
6 On Concepts and Strategies for Requirements and Information .. (context) - Bubenko - 1980
6 Software Process Modeling as a Strategy for KBMS Implementat.. (context) - Jarke, Jeusfeld et al. - 1989 DBLP
6 Knowledge Representation Languages and Predicate Calculus: H.. (context) - Rich - 1982 DBLP
6 ACM Transcactions on Database Systems (context) - Snodgrass - 1987
6 Telos: Features and Formalization (context) - Koubarakis, Mylopoulos et al. - 1989
5 Amalgamating Language and Meta-Language (context) - Bowen, Kowalski - 1982
4 Information Systems Development as Knowledge Engineering: th.. (context) - Jarke, Mylopoulos et al.
3 Artificial Intelligence and Software Engineering (context) - Rich, Waters - 1986 ACM DBLP
3 A Decision-Based Configuration Process Model (context) - Rose, Jarke - 1990 ACM DBLP
3 Group Work in Software Projects (context) - Hahn, Jarke - 1990 ACM
3 The design of knowledge-based systems for managing illstruct.. (context) - Srinkath, Jarke - 1989
2 The Knowledge Level of a KBMS (context) - Brachman, Levesque - 1986 DBLP
2 How to Look at Deductive Databases (context) - Gallaire, Nicolas - 1989 ACM DBLP
1 Knowledge Representation as the Basis to Requirements Specif.. (context) - Borgida, Greenspan et al. - 1985
1 Nixdorf Software Engineering GmbH (context) - Profrock, Ader et al. - 1989
1 Requirements Modeling and System Specification In a Logic-Ba.. (context) - Haidan, Meyer - 1990
1 The representation of programs in the procedural semantic ne.. (context) - Kramer - 1980
1 A Global KBMS for Database Software Evolution: ConceptBase (context) - Eherer, Jarke et al. - 1989
1 LOKI: A Logic Oriented Approach to Data and Knowledge Bases .. (context) - Binot, Demoen et al. - 1988
1 Dynamic Metasystems for Information Systems Development (context) - Konsysnki, Kotteman - 1984
1 Implementation of Telos: Problems and Solutions (context) - Topaloglou, Koubarakis - 1989
1 A Knoweldge-Based Software Information System (context) - Devanbu - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.di.uoa.gr/~manolis/journals.html):
From Local to Global Consistency in Temporal Constraint Networks - Koubarakis (1995) (Correct)
The Complexity of Query Evaluation in Indefinite Temporal.. - Koubarakis (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC