Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
Research on Knowledge-Based Software Environments at Kestrel Institute
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Understanding computers and cognition
Understanding computers and cognition
Systematic software development using VDM
Systematic software development using VDM
Data model issues for object-oriented applications
ACM Transactions on Information Systems (TOIS)
The temporal query language TQuel
ACM Transactions on Database Systems (TODS)
A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
DAMOKLES—a database system for software engineering environments
An international workshop on Advanced programming environments
Report on a knowledge-based software assistant
Readings in artificial intelligence and software engineering
Software management constraints and action triggering in the Adele program database
Proc. of the 1st European Software Engineering Conference on ESEC '87
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Database system support for software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Artificial intelligence and software engineering
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Models of software development environments
ICSE '88 Proceedings of the 10th international conference on Software engineering
Recording the reasons for design decisions
ICSE '88 Proceedings of the 10th international conference on Software engineering
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
gIBIS: a hypertext tool for exploratory policy discussion
ACM Transactions on Information Systems (TOIS)
Rules are objects too: A knowledge model for an active, object-oriented databasesystem
Lecture notes in computer science on Advances in object-oriented database systems
The synthesizer generator reference manual (3rd ed.)
The synthesizer generator reference manual (3rd ed.)
An introduction to Z and formal specifications
Software Engineering Journal - Special Section on Z
Cactis: a self-adaptive, concurrent implementation of an object-oriented database management system
ACM Transactions on Database Systems (TODS)
Automatic verification of database transaction safety
ACM Transactions on Database Systems (TODS)
Reusability framework, assessment, and directions
Software reusability: vol. 1, concepts and models
Object management in a CASE environment
ICSE '89 Proceedings of the 11th international conference on Software engineering
A software process data model for knowledge engineering in information systems
Information Systems - Knowledge engineering
Database application development as an object modeling activity
Proceedings of the sixteenth international conference on Very large databases
The software development environment as a knowledge base management system
Foundations of knowledge base management
Support for data-intensive applications: conceptual design and software development
Proceedings of the second international workshop on Database programming languages
Prism = methodology + process-oriented environment
ICSE '90 Proceedings of the 12th international conference on Software engineering
A decision-based configuration process model
ICSE '90 Proceedings of the 12th international conference on Software engineering
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Representation and utilization of non-functional requirements for information system design
CAiSE '91 Proceedings of the third international conference on Advanced information systems engineering
From information system requirements to designs: a mapping framework
Information Systems
Group work in software projects
Proceedings of the IFIP WG 8.4 confernece on Multi-user interfaces and applications
Implementation of information system design specifications: a performance perspective
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
A decision-based configuration process environment
Software Engineering Journal - Special issue on software process and its support
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
A data modeling methodology for the design and implementation of information systems
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
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
Some high level language constructs for data of type relation
ACM Transactions on Database Systems (TODS)
The Integrated Dictionary/Directory System
ACM Computing Surveys (CSUR)
Structured Analysis
Database Support for Knowledge-Based Engineering Environments
IEEE Expert: Intelligent Systems and Their Applications
Dialogue and process design for interactive information systems using Taxis
Proceedings of the SIGOA conference on Office information systems
Theory of Relational Databases
Theory of Relational Databases
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
An extensible data model for hyperdocuments
ECHT '92 Proceedings of the ACM conference on Hypertext
An actor dependency model of organizational work: with application to business process reengineering
COCS '93 Proceedings of the conference on Organizational computing systems
Information systems research at RWTH Aachen
ACM SIGMOD Record
Models for supporting the redesign of organizational work
COCS '95 Proceedings of conference on Organizational computing systems
Dealing with non-functional requirements: three experimental studies of a process-oriented approach
Proceedings of the 17th international conference on Software engineering
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
The Domain Theory for Requirements Engineering
IEEE Transactions on Software Engineering
Managing performance requirements for information systems
Proceedings of the 1st international workshop on Software and performance
Conceptual schema analysis: techniques and applications
ACM Transactions on Database Systems (TODS)
Management of Performance Requirements for Information Systems
IEEE Transactions on Software Engineering
The software information base: a server for reuse
The VLDB Journal — The International Journal on Very Large Data Bases
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Role of Model Transformation in Method Engineering
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
How knowledge representation meets software engineering (and often databases)
Automated Software Engineering
Heterogeneity in Model Management: A Meta Modeling Approach
Conceptual Modeling: Foundations and Applications
A method to build information systems engineering process metamodels
Journal of Systems and Software
Metamodelling with datalog and classes: conceptbase at the age of 21
ICOODB'09 Proceedings of the Second international conference on Object databases
FORBAC: a flexible organisation and role-based access control model for secure information systems
ADVIS'06 Proceedings of the 4th international conference on Advances in Information Systems
Hi-index | 0.00 |
We present a framework for the development of information systems based on the premise that the knowledge that influences the development process needs to somehow be captured, represented, and managed if the development process is to be rationalized. Experiences with a prototype environment developed in ESPRIT project DAIDA demonstrate the approach. The project has implemented an environment based on state-of-the-art languages for requirements modeling, design and implementation of information systems. In addition, the environment offers tools for aiding the mapping process from requirements to design and then to implementation, also for representing decisions reached during the development process. The development process itself is represented explicitly within the system, thus making the DAIDA development framework easier to comprehend, use, and modify.