Search the dblp DataBase
Michael Poppleton :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Richard Banach , Michael Poppleton Retrenchment: An Engineering Variation on Refinement. [Citation Graph (0, 0)][DBLP ] B, 1998, pp:129-147 [Conf ] Letu Yang , Michael Poppleton Automatic Translation from Combined B and CSP Specification to Java Programs. [Citation Graph (0, 0)][DBLP ] B, 2007, pp:64-78 [Conf ] Richard Banach , Michael Poppleton Retrenchment. [Citation Graph (0, 0)][DBLP ] World Congress on Formal Methods, 1999, pp:1864-1865 [Conf ] Richard Banach , Michael Poppleton , Czeslaw Jeske , Susan Stepney Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. [Citation Graph (0, 0)][DBLP ] FM, 2005, pp:382-398 [Conf ] Michael Poppleton , Richard Banach Structuring Retrenchments in B by Decomposition. [Citation Graph (0, 0)][DBLP ] FME, 2003, pp:814-833 [Conf ] Michael Poppleton , Richard Banach Requirements Validation by Lifting Retrenchments in B. [Citation Graph (0, 0)][DBLP ] ICECCS, 2004, pp:87-96 [Conf ] Richard Banach , Michael Poppleton Fragmented Retrenchment, Concurrency and Fairness. [Citation Graph (0, 0)][DBLP ] ICFEM, 2000, pp:143-0 [Conf ] Richard Banach , Michael Poppleton Retrenchment and Punctured Simulation. [Citation Graph (0, 0)][DBLP ] IFM, 1999, pp:457-476 [Conf ] Michael Poppleton The Single Transferable Voting System: Functional Decomposition in Formal Specification. [Citation Graph (0, 0)][DBLP ] IWFM, 1997, pp:- [Conf ] Michael Poppleton , Richard Banach Retrenchment: Extending Refinement for Continuous and Control Systems. [Citation Graph (0, 0)][DBLP ] IWFM, 2000, pp:- [Conf ] Michael Poppleton , Richard Banach Retrenchment: Extending the Reach of Refinement. [Citation Graph (0, 0)][DBLP ] ASE, 1999, pp:158-165 [Conf ] Richard Banach , Michael Poppleton Retrenchment, Refinement, and Simulation. [Citation Graph (0, 0)][DBLP ] ZB, 2000, pp:304-323 [Conf ] Michael Poppleton , Richard Banach Controlling Control Systems: An Application of Evolving Retrenchment. [Citation Graph (0, 0)][DBLP ] ZB, 2002, pp:42-61 [Conf ] Colin Snook , Michael Poppleton , Ian Johnson Towards a Method for Rigorous Development of Generic Requirements Patterns. [Citation Graph (0, 0)][DBLP ] RODIN Book, 2006, pp:326-342 [Conf ] Richard Banach , Michael Poppleton , Susan Stepney Retrenching the Purse: Finite Exception Logs, and Validating the Small. [Citation Graph (0, 0)][DBLP ] SEW, 2006, pp:234-248 [Conf ] Richard Banach , Michael Poppleton Sharp Retrenchment, Modulated Refinement and Simulation. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1999, v:11, n:5, pp:498-540 [Journal ] Richard Banach , Michael Poppleton Retrenching partial requirements into system definitions: a simple feature interaction case study. [Citation Graph (0, 0)][DBLP ] Requir. Eng., 2003, v:8, n:4, pp:266-288 [Journal ] Richard Banach , Michael Poppleton , Czeslaw Jeske , Susan Stepney Retrenchment and the Mondex Electronic Purse. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2005, pp:41-48 [Conf ] Michael Poppleton Towards Feature-Oriented Specification and Development with Event-B. [Citation Graph (0, 0)][DBLP ] REFSQ, 2007, pp:367-381 [Conf ] Richard Banach , Czeslaw Jeske , Michael Poppleton , Susan Stepney Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2007, v:77, n:1-2, pp:29-69 [Journal ] Richard Banach , Michael Poppleton , Czeslaw Jeske , Susan Stepney Engineering and theoretical underpinnings of retrenchment. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2007, v:67, n:2-3, pp:301-329 [Journal ] The Composition of Event-B Models. [Citation Graph (, )][DBLP ] A Basis for Feature-Oriented Modelling in Event-B. [Citation Graph (, )][DBLP ] Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. [Citation Graph (, )][DBLP ] JCSProB: Implementing Integrated Formal Specifications in Concurrent Java. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.327secs