Scaling step-wise refinement

dijkstra, 1976, A Discipline of Programming

10.1145/353171.353181

cardone, 2001, Comparing Frameworks and Layered Refinement, Proc Int'l Conf Software Eng, 285

burstall, 1977, Putting Theories Together to Make Specifications, Proc Fifth Int'l Joint Conf Artificial Intelligence, 1045

10.1007/978-3-642-61284-8

10.1007/978-3-642-69962-7

10.1145/136586.136587

1999, Logic Programming Synthesis and Transformation, Proc Ninth Int'l Workshop Logic-Based Program Synthesis and Transformation (LOPSTR '99)

10.1109/TSE.1985.231877

10.1145/97945.97982

10.1016/S0306-4379(99)00006-X

10.1109/ICSR.1998.685739

10.1109/32.585497

bidoit, 2003, Common Algebraic Specification Language User Manual, Lecture Notes in Computer Science

10.1016/B978-0-444-88074-1.50018-4

batory et al, 2002, Achieving Extensibility through Product Lines and Domain-Specific Languages: A Case Study, ACM Trans Software Eng and Methodology

weiss, 1999, Software Product Line Engineering

10.1109/32.846301

10.1145/949952.940079

vandeursen, 1997, Little Languages: Little Maintenance?, Proc SIGPLAN Workshop Domain-Specification Language

batory, 2002, Generating Product lines of Product-Families, Automated Software Eng

10.1145/236337.236375

10.1145/129852.129859

10.1007/978-0-387-21798-7_17

wolf, 1981, Fundamental Structures of Computer Science

10.1145/131736.131744

tarr, 1999, N Degrees of Separation: Multi-Dimensional Separation of Concerns, Proc Int'l Conf Software Eng, 10.1145/302405.302457

2002, AHEAD Tool Documentation

10.1145/75309.75322

10.1002/cpe.583

prehofer, 1997, Feature-Oriented Programming: A Fresh Look at Objects, Proceedings of European Conference of Object-Oriented Programming

sannella, 1999, Algebraic Specification and Program Development by Stepwise Refinement, Logic Program Synthesis and Transformation, 1

reenskaug et al, 1992, OORASS: Seamless Support for the Creation and Maintenance of Object-Oriented Systems, J OO Programming, 5, 27

sztipanovits, 2002, Generative Programming for Embedded Systems, Proc Conf Generative Programming and Component-Based Eng (GPCE), 10.1007/3-540-45821-2_2

10.1145/505145.505148

nenninger, 1995, Implementing Data Structures by Composition of Reusable Components: A Formal Approach, Proc ICSE-17 Workshop Formal Methods Application in Software Eng Practice

10.1145/383845.383856

10.1145/504282.504298

10.1109/MS.2003.1231145

10.1145/286936.286950

li, 2002, Interfaces for Modular Feature Verification, Proc Conf Automated Software Eng, 10.1109/ASE.2002.1115013

kiczales, 1997, Aspect-Oriented Programming, Proceedings of European Conference of Object-Oriented Programming, 220

kang, 1990, Feature-Oriented Domain Analysis Feasibility Study, 10.21236/ADA235785

lopez-herrejon, 2001, A Standard Problem for Evaluating Product line Methodologies, Proc 2001 Conf Generative and Component-Based Software Eng, 10.1007/3-540-44800-4_2

10.1007/978-3-540-30175-2_20

10.1109/32.729683

10.1145/353171.353184

10.1007/978-1-4615-4339-8_3

holzmann, 2003, The SPIN Model Checker Primer and Reference Manual

10.1145/503271.503219

10.1145/383845.383864

10.1145/268946.268961

harrison, 1993, Subject-Oriented Programming (a Critique of Pure Objects), Proc Ann ACM SIGPLAN Conf Object-Oriented Programming Systems Languages and Applications, 411

10.1007/978-1-4615-4339-8_15

forman, 1999, Putting Metaclasses to Work