34 papers:
DHM-EH-2015-SinghWLMW #formal method #modelling #reasoning #requirements- Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements (NKS, HW, ML, TSEM, AW), pp. 387–398.
- HIMI-IKC-2015-WatanabeTA #abstraction #development #learning #source code
- Development of a Learning Support System for Reading Source Code by Stepwise Abstraction (KW, TT, TA), pp. 387–394.
ESEC-FSE-2015-0001DDHS #validation #verification- Witness validation and stepwise testification across software verifiers (DB, MD, DD, MH, AS), pp. 721–733.
ICEIS-v2-2014-BelgamoHZRF #abstraction #case study #visualisation- Code Inspection Supported by Stepwise Abstraction and Visualization — An Experimental Study (AB, EMH, AZ, RSR, SF), pp. 39–48.
FM-2012-SpasicM #algorithm #formal method #incremental #refinement- Formalization of Incremental Simplex Algorithm by Stepwise Refinement (MS, FM), pp. 434–449.
ICST-2012-JuzgadoVSAR #abstraction #branch #clustering #effectiveness #equivalence #testing- Comparing the Effectiveness of Equivalence Partitioning, Branch Testing and Code Reading by Stepwise Abstraction Applied by Subjects (NJJ, SV, MS, SA, IR), pp. 330–339.
LDTA-2011-MiddelkoopDS #attribute grammar #evaluation- Stepwise evaluation of attribute grammars (AM, AD, SDS), p. 5.
CASE-2010-JeongSM #assessment #design #framework #lifecycle #reasoning- A framework for stepwise life cycle assessment during product design with case-based reasoning (MGJ, HWS, JRM), pp. 118–123.
GPCE-2008-ApelKL #calculus #feature model #java #programming #refinement- Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement (SA, CK, CL), pp. 101–112.
IFM-2007-MeinickeS #development #process #realtime #reasoning #reliability- A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems (LM, GS), pp. 439–458.
TOOLS-EUROPE-2007-ApelKLS #aspect-oriented #refinement- Aspect Refinement — Unifying AOP and Stepwise Refinement (SA, CK, TL, GS), pp. 13–33.
PDCL-2004-ColvinGHHNS #logic programming #refinement #source code #specification #using- Developing Logic Programs from Specifications Using Stepwise Refinement (RC, LG, IJH, DH, RN, PAS), pp. 66–89.
RTA-2004-CarmeNT #automaton #query- Querying Unranked Trees with Stepwise Tree Automata (JC, JN, MT), pp. 105–118.
IFL-2002-EllmenreichL #named #parallel #programming #refinement- PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines (NE, CL), pp. 118–133.
FASE-2000-PadbergHG #algebra #safety- Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems (JP, KH, MG), pp. 249–265.
ICDAR-1999-GrabowskiLM #segmentation- Stepwise Segmentation and Interpretation of Section Representations in Vectorized Drawings (HG, CL, AM), pp. 677–680.
- LOPSTR-1999-Sannella #algebra #development #refinement #specification
- Algebraic Specification and Program Development by Stepwise Refinement (DS), pp. 1–9.
CAV-1999-Lind-NielsenA #model checking- Stepwise CTL Model Checking of State/Event Systems (JLN, HRA), pp. 316–327.
- ICDAR-1997-DoriW #algorithm #segmentation
- Arc Segmentation from Complex Line Environments: A Vector-Based Stepwise Recovery Algorithm (DD, LW), pp. 76–80.
- LOPSTR-1997-NaishS #higher-order #re-engineering
- A Higher Order Reconstruction of Stepwise Enhancement (LN, LS), pp. 245–262.
ESEC-1995-KoskimiesM #design #framework- Designing a Framework by Stepwise Generalization (KK, HM), pp. 479–498.
EDAC-1994-KimCL #refinement #synthesis #testing- A Stepwise Refinement Data Path Synthesis Procedure for Easy Testability (TK, KSC, CLL), pp. 586–590.
- FME-1994-ErasmyS #case study #refinement #using
- Stepwise Refinement of Control Software — A Case Study Using RAISE (FE, ES), pp. 547–566.
SEKE-1993-ReynoldsM #metric #process #programming language #refinement- The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process (RGR, JIM), pp. 150–157.
KR-1992-ZhangP #diagrams- Stepwise-Decomposable Influence Diagrams (NLZ, DLP), pp. 141–152.
- VDME-1991-1-RossigS #communication #development #specification
- Specification and Stepwise Development of Communicating Systems (SR, MS), pp. 149–163.
- LOPSTR-1991-FlenerD #logic programming #synthesis #towards
- Towards Stepwise, Schema-guided Synthesis of Logic Programms (PF, YD), pp. 46–64.
- SEKE-1990-LakhotiaS #development
- Program Development by Stepwise “Enhancement” (AL, LS), pp. 78–83.
ICSE-1989-NakagawaF #algebra #approach #composition #process #refinement- Stepwise Refinement Process with Modularity: An Algebraic Approach (ATN, KF), pp. 166–177.
- VDME-1987-Bjorner #development #graph #metaprogramming
- The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments (DB), pp. 77–96.
SIGMOD-1986-Lipeck #behaviour #database #specification- Stepwise Specification of Dynamic Database Behaviour (UWL), pp. 387–397.
SLP-1984-JonesM84 #development #prolog #semantics- Stepwise Development of Operational and Denotational Semantics for Prolog (NDJ, AM), pp. 281–288.
DAC-1978-LekkosP #how #logic #pseudo #refinement #using- How to develop module logic using pseudo-code and stepwise refinement (AAL, CMP), pp. 366–370.
ICALP-1978-EhrigKP #data type #implementation #specification- Stepwise Specification and Implementation of Abstract Data Types (HE, HJK, PP), pp. 205–226.
