Enforcing structural regularities in software using intensive

DOI10.1016/J.SCICO.2009.11.005MaRDI QIDQ967536zbMATH OpenOpenAlexFDO

Authors Johan Brichau, Andy Kellens, Sergio Castro, Theo D'Hondt

Publication date 29 April 2010

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2009.11.005

zbMATH Keywords

software evolutionlogic meta-programmingstructural regularities

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Structural Abstraction of Software Verification Conditions
• scientific article; zbMATH DE number 1980916
• On regularity in software design
• scientific article; zbMATH DE number 5850099
• Tools and Algorithms for the Construction and Analysis of Systems
• Active integrity constraints and revision programming

Cites work

• scientific article; zbMATH DE number 42888 (Why is no real title available?)
• scientific article; zbMATH DE number 1006119 (Why is no real title available?)
• Co-evolving code and design with intensional views: a case study
• P³: a code and design conventions preprocessor for Java
• Unanticipated integration of development tools using the classification model

Cited in

(2)

• Vmake and ISE general tools for the intensionalization of software systems
• IntensiVE

Describes a project that uses

Uses Software

• Mondrian
• Checkstyle
• CodeQuest
• Smalltalk

This page was built for publication: Enforcing structural regularities in software using intensive

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q967536)