BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
refin (13)
develop (11)
program (7)
abstract (5)
specif (5)

Stem stepwis$ (all stems)

34 papers:

HCIDHM-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.
HCIHIMI-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-FSEESEC-FSE-2015-0001DDHS #validation #verification
Witness validation and stepwise testification across software verifiers (DB, MD, DD, MH, AS), pp. 721–733.
ICEISICEIS-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.
FMFM-2012-SpasicM #algorithm #formal method #incremental #refinement
Formalization of Incremental Simplex Algorithm by Stepwise Refinement (MS, FM), pp. 434–449.
ICSTICST-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.
LDTALDTA-2011-MiddelkoopDS #attribute grammar #evaluation
Stepwise evaluation of attribute grammars (AM, AD, SDS), p. 5.
CASECASE-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.
GPCEGPCE-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.
IFMIFM-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.
TOOLSTOOLS-EUROPE-2007-ApelKLS #aspect-oriented #refinement
Aspect Refinement — Unifying AOP and Stepwise Refinement (SA, CK, TL, GS), pp. 13–33.
LOPSTRPDCL-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.
RTARTA-2004-CarmeNT #automaton #query
Querying Unranked Trees with Stepwise Tree Automata (JC, JN, MT), pp. 105–118.
IFLIFL-2002-EllmenreichL #named #parallel #programming #refinement
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines (NE, CL), pp. 118–133.
FASEFASE-2000-PadbergHG #algebra #safety
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems (JP, KH, MG), pp. 249–265.
ICDARICDAR-1999-GrabowskiLM #segmentation
Stepwise Segmentation and Interpretation of Section Representations in Vectorized Drawings (HG, CL, AM), pp. 677–680.
LOPSTRLOPSTR-1999-Sannella #algebra #development #refinement #specification
Algebraic Specification and Program Development by Stepwise Refinement (DS), pp. 1–9.
CAVCAV-1999-Lind-NielsenA #model checking
Stepwise CTL Model Checking of State/Event Systems (JLN, HRA), pp. 316–327.
ICDARICDAR-1997-DoriW #algorithm #segmentation
Arc Segmentation from Complex Line Environments: A Vector-Based Stepwise Recovery Algorithm (DD, LW), pp. 76–80.
LOPSTRLOPSTR-1997-NaishS #higher-order #re-engineering
A Higher Order Reconstruction of Stepwise Enhancement (LN, LS), pp. 245–262.
ESECESEC-1995-KoskimiesM #design #framework
Designing a Framework by Stepwise Generalization (KK, HM), pp. 479–498.
DATEEDAC-1994-KimCL #refinement #synthesis #testing
A Stepwise Refinement Data Path Synthesis Procedure for Easy Testability (TK, KSC, CLL), pp. 586–590.
FMFME-1994-ErasmyS #case study #refinement #using
Stepwise Refinement of Control Software — A Case Study Using RAISE (FE, ES), pp. 547–566.
SEKESEKE-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.
KRKR-1992-ZhangP #diagrams
Stepwise-Decomposable Influence Diagrams (NLZ, DLP), pp. 141–152.
FMVDME-1991-1-RossigS #communication #development #specification
Specification and Stepwise Development of Communicating Systems (SR, MS), pp. 149–163.
LOPSTRLOPSTR-1991-FlenerD #logic programming #synthesis #towards
Towards Stepwise, Schema-guided Synthesis of Logic Programms (PF, YD), pp. 46–64.
SEKESEKE-1990-LakhotiaS #development
Program Development by Stepwise “Enhancement” (AL, LS), pp. 78–83.
ICSEICSE-1989-NakagawaF #algebra #approach #composition #process #refinement
Stepwise Refinement Process with Modularity: An Algebraic Approach (ATN, KF), pp. 166–177.
FMVDME-1987-Bjorner #development #graph #metaprogramming
The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments (DB), pp. 77–96.
SIGMODSIGMOD-1986-Lipeck #behaviour #database #specification
Stepwise Specification of Dynamic Database Behaviour (UWL), pp. 387–397.
ICLPSLP-1984-JonesM84 #development #prolog #semantics
Stepwise Development of Operational and Denotational Semantics for Prolog (NDJ, AM), pp. 281–288.
DACDAC-1978-LekkosP #how #logic #pseudo #refinement #using
How to develop module logic using pseudo-code and stepwise refinement (AAL, CMP), pp. 366–370.
ICALPICALP-1978-EhrigKP #data type #implementation #specification
Stepwise Specification and Implementation of Abstract Data Types (HE, HJK, PP), pp. 205–226.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.