Search results for "retrenchment"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
197	Czeslaw Jeske, Richard Banach	Minimally and Maximally Abstract Retrenchments.	IFM	2002	DBLP DOI BibTeX RDF	Integration, Refinement, Retrenchment
168	Richard Banach, Michael Poppleton	Retrenchment, Refinement, and Simulation.	ZB	2000	DBLP DOI BibTeX RDF	Simulation, Refinement, B-Method, Retrenchment
130	Richard Banach, Michael Poppleton	Sharp Retrenchment, Modulated Refinement and Simulation.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Simulation, Refinement, B-Method, Retrenchment
121	Michael Poppleton, Richard Banach	Structuring Retrenchments in B by Decomposition.	FME	2003	DBLP DOI BibTeX RDF	formal methods, refinement, decomposition, structuring, retrenchment
110	Richard Banach	UseCase-Wise Development: Retrenchment for Event-B.	ABZ	2008	DBLP DOI BibTeX RDF	UseCase-wise Development, Tower Pattern, Refinement, Incremental Development, Event-B, Retrenchment
104	Michael Poppleton, Richard Banach	Controlling Control Systems: An Application of Evolving Retrenchment.	ZB	2002	DBLP DOI BibTeX RDF
104	Richard Banach, Michael Poppleton	Fragmented Retrenchment, Concurrency and Fairness.	ICFEM	2000	DBLP DOI BibTeX RDF
95	Richard Banach, John Derrick	Filtering Retrenchments into Refinements.	SEFM	2006	DBLP DOI BibTeX RDF
95	Richard Banach	Maximally Abstract Retrenchments.	ICFEM	2000	DBLP DOI BibTeX RDF
91	Michael Poppleton, Richard Banach	Retrenchment: Extending the Reach of Refinement.	ASE	1999	DBLP DOI BibTeX RDF	development calculus, simulation, composition, refinement, monotonicity, transitivity, B-Method, weakest precondition, predicate transformer, retrenchment, stepwise development
85	Richard Banach	Coarse Grained Retrenchment and the Mondex Denial of Service Attacks.	TASE	2009	DBLP DOI BibTeX RDF
85	Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney	Retrenchment and the Atomicity Pattern.	SEFM	2007	DBLP DOI BibTeX RDF
85	Richard Banach, Simon Fraser	Retrenchment and the B-Toolkit.	ZB	2005	DBLP DOI BibTeX RDF
82	Richard Banach, Michael Poppleton	Retrenching partial requirements into system definitions: a simple feature interaction case study.	Requir. Eng.	2003	DBLP DOI BibTeX RDF	Partial requirements, Formal development, Feature engineering, Requirement engineering, Refinement, Feature interaction, Telephony, Retrenchment
76	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney	Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern.	FM	2005	DBLP DOI BibTeX RDF
76	Michael Poppleton, Richard Banach	Requirements Validation by Lifting Retrenchments in B.	ICECCS	2004	DBLP DOI BibTeX RDF
72	Bernhard Beckert, Steffen Schlager	Refinement and retrenchment for programming language data types.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Retrenchment refinement, UML/OCL, Java, Formal specification, Software verification, Integer arithmetic
66	Richard Banach, Marco Bozzano	Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems.	SAFECOMP	2006	DBLP DOI BibTeX RDF
66	Richard Banach, R. Cross	Safety Requirements and Fault Trees Using Retrenchment.	SAFECOMP	2004	DBLP DOI BibTeX RDF
53	Jorge 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.	Requir. Eng.	2009	DBLP DOI BibTeX RDF	Analysis-revision, Formal requirements specifications, Refinement, Retrenchment
47	Richard Banach, Michael Poppleton	Retrenchment: An Engineering Variation on Refinement.	B	1998	DBLP DOI BibTeX RDF
44	Richard Banach	A deidealisation semantics for KAOS.	SAC	2010	DBLP DOI BibTeX RDF	tower pattern, refinement, ASM, retrenchment, KAOS
38	Simon Fraser, Richard Banach	Configurable Proof Obligations in the Frog Toolkit.	SEFM	2007	DBLP DOI BibTeX RDF
38	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney	Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties.	ISoLA	2006	DBLP DOI BibTeX RDF
38	Richard Banach, Michael Poppleton, Susan Stepney	Retrenching the Purse: Finite Exception Logs, and Validating the Small.	SEW	2006	DBLP DOI BibTeX RDF
28	Richard Banach	Graded Refinement, Retrenchment, and Simulation.	ACM Trans. Softw. Eng. Methodol.	2023	DBLP DOI BibTeX RDF
28	Ng 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.	DeSE	2023	DBLP DOI BibTeX RDF
28	Mike Thelwall, Jonathan M. Levitt	National scientific performance evolution patterns: Retrenchment, successful expansion, or overextension.	J. Assoc. Inf. Sci. Technol.	2018	DBLP DOI BibTeX RDF
28	Raymond 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.	Manag. Sci.	2016	DBLP DOI BibTeX RDF
28	Richard Banach, Czeslaw Jeske	Retrenchment and refinement interworking: the tower theorems.	Math. Struct. Comput. Sci.	2015	DBLP DOI BibTeX RDF
28	Cheng-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?	Technol. Anal. Strateg. Manag.	2014	DBLP DOI BibTeX RDF
28	Richard Banach, Marco Bozzano	The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits.	Formal Aspects Comput.	2013	DBLP DOI BibTeX RDF
28	Richard Banach, Marco Bozzano	The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits.	Formal Aspects Comput.	2013	DBLP DOI BibTeX RDF
28	Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney	Atomicity failure and the retrenchment atomicity pattern.	Formal Aspects Comput.	2013	DBLP DOI BibTeX RDF
28	Richard Banach	Retrenchment for Event-B: UseCase-wise development and Rodin integration.	Formal Aspects Comput.	2011	DBLP DOI BibTeX RDF
28	Richard Banach, Czeslaw Jeske, Michael Poppleton	Composition mechanisms for retrenchment.	J. Log. Algebraic Methods Program.	2008	DBLP DOI BibTeX RDF
28	Simon Fraser	Mechanized support for retrenchment.		2008	RDF
28	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney	Engineering and theoretical underpinnings of retrenchment.	Sci. Comput. Program.	2007	DBLP DOI BibTeX RDF
28	Richard Banach	Retrenchment Tutorial.	SEFM	2006	DBLP DOI BibTeX RDF
28	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney	Retrenchment and the Mondex Electronic Purse.	Abstract State Machines	2005	DBLP BibTeX RDF
28	Michael Poppleton, Richard Banach	Retrenchment: Extending Refinement for Continuous and Control Systems.	IWFM	2000	DBLP BibTeX RDF
28	Richard Banach, Michael Poppleton	Retrenchment.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
28	Richard Banach, Michael Poppleton	Retrenchment and Punctured Simulation.	IFM	1999	DBLP DOI BibTeX RDF
28	Paul Rackow, Wayne Corcoran	The analysis of academic retrenchment using parametric programming and markov chains.	Comput. Oper. Res.	1984	DBLP DOI BibTeX RDF