The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Retrenchment with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1984-2004 (16) 2005-2008 (15) 2009-2023 (13)
Publication types (Num. hits)
article(16) inproceedings(27) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 45 occurrences of 25 keywords

Results
Found 44 publication records. Showing 44 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
197Czeslaw Jeske, Richard Banach Minimally and Maximally Abstract Retrenchments. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Integration, Refinement, Retrenchment
168Richard Banach, Michael Poppleton Retrenchment, Refinement, and Simulation. Search on Bibsonomy ZB The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Simulation, Refinement, B-Method, Retrenchment
130Richard Banach, Michael Poppleton Sharp Retrenchment, Modulated Refinement and Simulation. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Simulation, Refinement, B-Method, Retrenchment
121Michael Poppleton, Richard Banach Structuring Retrenchments in B by Decomposition. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF formal methods, refinement, decomposition, structuring, retrenchment
110Richard Banach UseCase-Wise Development: Retrenchment for Event-B. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF UseCase-wise Development, Tower Pattern, Refinement, Incremental Development, Event-B, Retrenchment
104Michael Poppleton, Richard Banach Controlling Control Systems: An Application of Evolving Retrenchment. Search on Bibsonomy ZB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
104Richard Banach, Michael Poppleton Fragmented Retrenchment, Concurrency and Fairness. Search on Bibsonomy ICFEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
95Richard Banach, John Derrick Filtering Retrenchments into Refinements. Search on Bibsonomy SEFM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
95Richard Banach Maximally Abstract Retrenchments. Search on Bibsonomy ICFEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
91Michael Poppleton, Richard Banach Retrenchment: Extending the Reach of Refinement. Search on Bibsonomy ASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF development calculus, simulation, composition, refinement, monotonicity, transitivity, B-Method, weakest precondition, predicate transformer, retrenchment, stepwise development
85Richard Banach Coarse Grained Retrenchment and the Mondex Denial of Service Attacks. Search on Bibsonomy TASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
85Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney Retrenchment and the Atomicity Pattern. Search on Bibsonomy SEFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
85Richard Banach, Simon Fraser Retrenchment and the B-Toolkit. Search on Bibsonomy ZB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
82Richard Banach, Michael Poppleton Retrenching partial requirements into system definitions: a simple feature interaction case study. Search on Bibsonomy Requir. Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Partial requirements, Formal development, Feature engineering, Requirement engineering, Refinement, Feature interaction, Telephony, Retrenchment
76Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
76Michael Poppleton, Richard Banach Requirements Validation by Lifting Retrenchments in B. Search on Bibsonomy ICECCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
72Bernhard Beckert, Steffen Schlager Refinement and retrenchment for programming language data types. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Retrenchment refinement, UML/OCL, Java, Formal specification, Software verification, Integer arithmetic
66Richard Banach, Marco Bozzano Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
66Richard Banach, R. Cross Safety Requirements and Fault Trees Using Retrenchment. Search on Bibsonomy SAFECOMP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
53Jorge García Duque, José Juan Pazos-Arias, Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, Alberto Gil-Solla Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle. Search on Bibsonomy Requir. Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Analysis-revision, Formal requirements specifications, Refinement, Retrenchment
47Richard Banach, Michael Poppleton Retrenchment: An Engineering Variation on Refinement. Search on Bibsonomy B The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
44Richard Banach A deidealisation semantics for KAOS. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF tower pattern, refinement, ASM, retrenchment, KAOS
38Simon Fraser, Richard Banach Configurable Proof Obligations in the Frog Toolkit. Search on Bibsonomy SEFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. Search on Bibsonomy ISoLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Richard Banach, Michael Poppleton, Susan Stepney Retrenching the Purse: Finite Exception Logs, and Validating the Small. Search on Bibsonomy SEW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Richard Banach Graded Refinement, Retrenchment, and Simulation. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Ng Wei Shen Jackson, Jullisha Sasikumar, Wong Yok Hung, Osama Rasheed Khan, Vivian Ng Zhi Hui, Sahar Al-Sudani, Huaqun Guo, Zhiyuan Zhang, Zhengkui Wang The Impact of the COVID-19 Pandemic on Retrenchment, Vaccinations, and Global Happiness. Search on Bibsonomy DeSE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
28Mike Thelwall, Jonathan M. Levitt National scientific performance evolution patterns: Retrenchment, successful expansion, or overextension. Search on Bibsonomy J. Assoc. Inf. Sci. Technol. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
28Raymond Montizaan, Andries de Grip, Frank Cörvers, Thomas Dohmen The Impact of Negatively Reciprocal Inclinations on Worker Behavior: Evidence from a Retrenchment of Pension Rights. Search on Bibsonomy Manag. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
28Richard Banach, Czeslaw Jeske Retrenchment and refinement interworking: the tower theorems. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
28Cheng-Yu Lee, Heng-Yu Chang How do the combined effects of CEO decision horizon and compensation impact the relationship between earnings pressure and R&D retrenchment? Search on Bibsonomy Technol. Anal. Strateg. Manag. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
28Richard Banach, Marco Bozzano The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
28Richard Banach, Marco Bozzano The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
28Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney Atomicity failure and the retrenchment atomicity pattern. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
28Richard Banach Retrenchment for Event-B: UseCase-wise development and Rodin integration. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
28Richard Banach, Czeslaw Jeske, Michael Poppleton Composition mechanisms for retrenchment. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Simon Fraser Mechanized support for retrenchment. Search on Bibsonomy 2008   RDF
28Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney Engineering and theoretical underpinnings of retrenchment. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Richard Banach Retrenchment Tutorial. Search on Bibsonomy SEFM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney Retrenchment and the Mondex Electronic Purse. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
28Michael Poppleton, Richard Banach Retrenchment: Extending Refinement for Continuous and Control Systems. Search on Bibsonomy IWFM The full citation details ... 2000 DBLP  BibTeX  RDF
28Richard Banach, Michael Poppleton Retrenchment. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Richard Banach, Michael Poppleton Retrenchment and Punctured Simulation. Search on Bibsonomy IFM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Paul Rackow, Wayne Corcoran The analysis of academic retrenchment using parametric programming and markov chains. Search on Bibsonomy Comput. Oper. Res. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #44 of 44 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license