|
|
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 |
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 |
|
Displaying result #1 - #44 of 44 (100 per page; Change: )
|
|