Enforcing structural regularities in software using intensive

DOI10.1016/J.SCICO.2009.11.005zbMATH Open1192.68150OpenAlexW2138367541MaRDI QIDQ967536FDOQ967536

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

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

zbMATH Keywords

software evolutionlogic meta-programmingstructural regularities

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Unanticipated integration of development tools using the classification model
• Co-evolving code and design with intensional views: a case study
• P³: a code and design conventions preprocessor for Java

Cited In (2)

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

Uses Software

• Smalltalk
• CodeQuest
• Checkstyle
• Mondrian

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)