researchr - search publication refinement

researchr

You are not signed in
Sign in
Sign up

8391 publication results matching 'refinement'

A Theory of Software Product Line Refinement
… of product line refinement that assures behavior preservation of the original … of product line refinement, establishing refinement properties that justify … refinement transformation templates. These templates can be used to reason about …
Paulo Borba, Leopoldo Teixeira, Rohit Gheyi. TCS, (0), 2012. [doi]
A Theory of Program Refinement
… We give a canonical program refinement calculus based on the lambda calculus … and semantics. The intention is to construct a metalanguage for refinement in which basic … be possible to induce a refinement calculus in a generic manner from a programming …
Ewen Denney. PhD thesis, University of Edinburgh, July 1999. [doi]
Refinement methods and refinement calculiH. J. Litteck, Peter J. L. Wallis. iee, 7(3):219-229, 1992. [doi]
Equivalences and RefinementRob J. van Glabbeek, Ursula Goltz. litp 1990: 309-333
Service RefinementJifeng He. apsec 2008: 5 [doi]
The Refinement CalculusJim Woodcock. FM 1991: 80-95
Feature RefinementSteve Reeves, David Streader. SEFM 2007: 371-380 [doi]
Factor RefinementEric Bach, James R. Driscoll, Jeffrey Shallit. soda 1990: 201-211
Factor RefinementEric Bach, James R. Driscoll, Jeffrey Shallit. jal, 15(2):199-222, 1993.
Service refinementJifeng He. chinaf, 51(6):661-682, 2008. [doi]
Visualisation of RefinementsNeil J. Robinson, Colin J. Fidge. ASWEC 2001: 244-254 [doi]
Reduction and RefinementEerke Boiten, Dan Grundy. ENTCS, 201:31-44, 2008. [doi]
Convergence RefinementMurat Demirbas, Anish Arora. icdcs 2002: 589-597 [doi]
Refinement: An overviewAna Cavalcanti, Augusto Sampaio, Jim Woodcock. psse 2006: 1-17 [doi]
Refinement in CircusAugusto Sampaio, Jim Woodcock, Ana Cavalcanti. FM 2002: 451-470 [doi]
Refinement of timeManfred Broy. TCS, 253(1):3-26, 2001. [doi]
Refinement of TimeManfred Broy. arts 1997: 44-63
Stochastic RefinementAlireza Tamaddoni-Nezhad, Stephen Muggleton. ilp 2011: 222-237 [doi]
Refinement in InterworkingsSjouke Mauw, Michel A. Reniers. concur 1996: 671-686
Gradual RefinementMeng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu. mpc 2010: 397-425 [doi]

Sign in or sign up to see more results.

runs on WebDSL