Kim Mens, Roel Wuyts  Home/Search
Context Related
| progftp.vub.ac.be/...progtr9902.pdf prog.vub.ac.be/Pub...progtr9902.pdf 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: prog.vub.ac.be/...Detail.asp?ID=4 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Most current-day software engineering tools and environments do not sufficiently allow software engineers to declare or enforce the intended software architecture. On the one hand, architectures are typically described at a too lowlevel, inhibiting their evolution and understanding. On the other hand most tools provide little support to automatically verify whether the source code conforms to the architecture. Therefore, a formalism is needed in which architectures can be expressed at a... (Update)
Cited by: More
Jonathan Aldrich - Requirements For The (Correct)
Relational Programming with CrocoPat - Beyer (2006) (Correct)
Efficient Relational Calculation for Software Analysis - Beyer, Noack, Lewerentz (2005) (Correct)
Active bibliography (related documents): More All
0.5: Managing Unanticipated Evolution of Software Architectures - Mens, Mens, Wouters, Wuyts (1999) (Correct)
0.2: Petri Nets, Process Algebras and Concurrent Programming.. - Best, Devillers, Koutny (1998) (Correct)
0.2: Adaptive Web stores - Ardissono, Barbero, Goy, Petrone (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.5: Supporting Software Development through Declaratively.. - Mens, Michiels (2002) (Correct)
0.5: On the Use of Declarative Meta Programming for Managing.. - Mens, Mens, Wuyts (2000) (Correct)
0.5: Codifying Structural Regularities of Object-Oriented Programs - Wuyts, Mens (Correct)
Related documents from co-citation: More All
6: Software reflexion models: Bridging the gap between source and high-level models - Murphy, Notkin et al. - 1995
6: Declarative Reasoning about the Structure of Object-Oriented Systems - Wuyts
5: Automating Architectural Conformance Checking by means of Logic Meta Programming (context) - Mens - 2000
BibTeX entry: (Update)
K. Mens, R. Wuyts, and T. D'Hondt. Declaratively codifying software architectures using virtual software classifications. In Proceedings of TOOLS-Europe 99, pages 33--45, June 1999. http://citeseer.ist.psu.edu/mens99declaratively.html More
@inproceedings{ mens99declaratively,
author = "Kim Mens and Roel Wuyts and Theo D'Hondt",
title = "Declaratively Codifying Software Architectures using Virtual Software Classifications",
booktitle = "Proceedings of {TOOLS}-Europe 99",
pages = "33--45",
year = "1999",
url = "citeseer.ist.psu.edu/mens99declaratively.html" }
Citations (may not include all citations):5 Prentice Hall (context) - Practice - 1997
5 Communications of the ACM (context) - systems - 1985
2 IEEE Software (context) - mismatch, is et al. - 1995
1 Addisson-Wesley (context) - Patterns - 1994
1 Vrije Universiteit Brussel (context) - Approach, Recovery et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://prog.vub.ac.be/Members/MembersDetail.asp?ID=4): More
Explicit Support for Software Development-Styles.. - Wuyts, Mens, D'Hondt (1999) (Correct)
Co-evolution of Object-Oriented Software Design and.. - D'Hondt, De Volder.. (2000) (Correct)
Class-management using Logical Queries, Application of a.. - Wuyts (1996) (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