Sciweavers

1565 search results - page 1 / 313
» The Intensional View Environment
Sort
View
ICSM
2005
IEEE
13 years 10 months ago
The Intensional View Environment
This paper presents IntensiVE, a tool suite implemented in Cincom VisualWorks Smalltalk that allows for the documentation and co-evolution of high-level structural regularities in...
Kim Mens, Andy Kellens, Frédéric Plu...
CL
2006
Springer
13 years 4 months ago
Co-evolving code and design with intensional views: A case study
Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conform...
Kim Mens, Andy Kellens, Frédéric Plu...
SCP
2010
96views more  SCP 2010»
13 years 3 months ago
Enforcing structural regularities in software using IntensiVE
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
Johan Brichau, Andy Kellens, Sergio Castro, Theo D...
CORR
2011
Springer
202views Education» more  CORR 2011»
12 years 8 months ago
First-order Logic: Modality and Intensionality
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...
Zoran Majkic
CORR
2009
Springer
109views Education» more  CORR 2009»
13 years 2 months ago
Extensional and Intensional Strategies
on of abstract strategies which is extensional in the sense that a strategy is defined explicitly of derivations of an abstract reduction system. We then move to a more intensional...
Tony Bourdier, Horatiu Cirstea, Daniel J. Doughert...