An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Gandalf: software development environments
IEEE Transactions on Software Engineering
Incremental graph evaluation (attribute grammar)
Incremental graph evaluation (attribute grammar)
IEEE Transactions on Software Engineering
Object oriented design with applications
Object oriented design with applications
An abstract data type for name analysis
Acta Informatica
Building integrated software development environments. Part I: tool specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
Building an object-oriented database system: the story of 02
Building an object-oriented database system: the story of 02
EDBT '94 Proceedings of the 4th international conference on extending database technology: Advances in database technology
A technique for software module specification with examples
Communications of the ACM
Non-syntactic attribute flow in language based editors
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Inconsistency Management for Multiple-View Software Development Environments
IEEE Transactions on Software Engineering
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
A micro-economic approach to conflict resolution in mobile computing
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
A micro-economic approach to conflict resolution in mobile computing
ACM SIGSOFT Software Engineering Notes
Consistency Checking of Financial Derivatives Transactions
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Instant consistency checking for the UML
Proceedings of the 28th international conference on Software engineering
Hi-index | 0.00 |
The definition of software development methods encompasses the definition of syntax and static semantics of formal languages. These languages determine documents to be produced during the application of a method. Developers demand language-based tools that provide document production support, check syntax and static semantics of documents and thus implement methods. Method integration must determine inter-document consistency constraints between documents produced in the various tasks. Tools must, therefore, be integrated to implement the required method integration and check or even preserve inter-document consistency. The focus of this paper is on the specification of such integrated tools and outlines the main concepts of the object-oriented tool specification language GTSL.