Deploy Repository: No conditions. Results ordered -Date, Title.
http://deploy-eprints.ecs.soton.ac.uk/
OAI Site description has not been configured.
Wed, 17 Jan 2018 12:23:24 +0000Wed, 17 Jan 2018 12:23:24 +0000en Validating the Consistency of Specification Rules
http://deploy-eprints.ecs.soton.ac.uk/465/
Hoang, Thai Son and Itoh, Shinji and Oyama, Kyohei and Miyazaki, Kunihiko and Kuruma, Hironobu and Sato, Naoto (2015) Validating the Consistency of Specification Rules. Technical Report. N/A. (Unpublished) Development of Control Systems Guided by Models of Their Environment
http://deploy-eprints.ecs.soton.ac.uk/418/
Hudon, Simon and Hoang, Thai Son (2011) Development of Control Systems Guided by Models of Their Environment. Electronic Notes in Theoretical Computer Science, 280 . pp. 57-68. Modelling Control Process and Control Mode with Synchronising Orthogonal State Machines
http://deploy-eprints.ecs.soton.ac.uk/429/
Snook, Colin (2011) Modelling Control Process and Control Mode with Synchronising Orthogonal State Machines. In: B2011. Towards Search-based Testing for Event-B Models
http://deploy-eprints.ecs.soton.ac.uk/288/
Stefanescu, Alin and Ipate, Florentin and Lefticaru, Raluca and Tudose, Cristina (2011) Towards Search-based Testing for Event-B Models. In: 4th International Workshop on Search-Based Software Testing, 21 Mar 2011, Berlin. Polidoxa: a Sinergic Approach of a Social Network and a Search Engine to Offer Trustworthy News
http://deploy-eprints.ecs.soton.ac.uk/311/
Mazzara, Manuel and Marraffa, Antonio and Biselli , Luca and Chiarabini, Luca (2011) Polidoxa: a Sinergic Approach of a Social Network and a Search Engine to Offer Trustworthy News. In: INTRUSO 2011. Specification Metrics for Event-B Developments
http://deploy-eprints.ecs.soton.ac.uk/249/
Olszewska, Marta and Sere, Kaisa (2010) Specification Metrics for Event-B Developments. In: CONQUEST 2010, 20-22 September 2010, Dresden, Germany. TIMING DIAGRAMS REQUIREMENTS MODELING USING EVENT-B FORMAL METHODS
http://deploy-eprints.ecs.soton.ac.uk/431/
Joochim, Tossaporn and Snook, Colin and Poppleton, Mike and Gravell, Andrew (2010) TIMING DIAGRAMS REQUIREMENTS MODELING USING EVENT-B FORMAL METHODS. In: IASTED International Conference on Software Engineering (SE2010). Towards Event-B Specification Metrics
http://deploy-eprints.ecs.soton.ac.uk/250/
Olszewska, Marta and Sere, Kaisa (2010) Towards Event-B Specification Metrics. In: First Deploy Technical Workshop, 21-23 October 2009, Aix-en-Provence, France. Development of Rabin's Choice Coordination algorithm in Event-B
http://deploy-eprints.ecs.soton.ac.uk/417/
Yilmaz, Emre and Hoang, Thai Son (2010) Development of Rabin's Choice Coordination algorithm in Event-B. ECEASST, 35 . Feature-Oriented Modelling Using Event-B
http://deploy-eprints.ecs.soton.ac.uk/430/
Gondal, Ali and Poppleton, Mike and Butler, Michael and Snook, Colin (2010) Feature-Oriented Modelling Using Event-B. In: International Conference on Software Engineering Theory and Practice (SETP-10). Language and tool support for class and state machine refinement in UML-B
http://deploy-eprints.ecs.soton.ac.uk/434/
Said, Mar Yah and Butler, Michael and Snook, Colin (2009) Language and tool support for class and state machine refinement in UML-B. In: Formal Methods 2009, November 2009, Eindhoven. Formal Methods in Industry: The State of Practice of Formal Methods in South America and Far East
http://deploy-eprints.ecs.soton.ac.uk/169/
Russo Jr, Aryldo G (2009) Formal Methods in Industry: The State of Practice of Formal Methods in South America and Far East. [DEPLOY Associate Item] (Submitted) Class and State Machine Refinement in UML-B
http://deploy-eprints.ecs.soton.ac.uk/433/
Said, Mar Yah and Butler, Michael and Snook, Colin (2009) Class and State Machine Refinement in UML-B. In: Integration of Model-based Formal Methods and Tools (workshop at iFM 2009). Counterexamples in Probabilistic LTL Model Checking for Markov Chains.
http://deploy-eprints.ecs.soton.ac.uk/147/
Schmalz, Matthias and Varacca, Daniele and Völzer, Hagen (2009) Counterexamples in Probabilistic LTL Model Checking for Markov Chains. In: Concur. Link State Routing Development
http://deploy-eprints.ecs.soton.ac.uk/31/
Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2008) Link State Routing Development. [Rodin Archive] UML-B and Event-B: an integration of languages and tools
http://deploy-eprints.ecs.soton.ac.uk/438/
Snook, Colin and Butler, Michael (2008) UML-B and Event-B: an integration of languages and tools. In: The IASTED International Conference on Software Engineering - SE2008. Usability Assessment of a UML-based Formal Modelling Method Using Cognitive Dimensions Framework
http://deploy-eprints.ecs.soton.ac.uk/437/
Razali, Rozilawati and Snook, Colin and Poppleton, Michael and Garratt, Paul (2008) Usability Assessment of a UML-based Formal Modelling Method Using Cognitive Dimensions Framework. Human Technology: An Interdisciplinary Journal on Humans in ICT Environments . Comprehensibility of UML-based Formal Model ? A Series of Controlled Experiments
http://deploy-eprints.ecs.soton.ac.uk/442/
Razali, R and Snook, C. F. and Poppleton, M. R. (2007) Comprehensibility of UML-based Formal Model ? A Series of Controlled Experiments. In: 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies (WEASELTech) 2007. Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One
http://deploy-eprints.ecs.soton.ac.uk/443/
Razali, R and Snook, C. F. and Poppleton, M. R. and Garratt, P. W. and Walters, R. J. (2007) Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One. In: 11th International Conference on Evaluation and Assessment in Software Engineering (EASE'07). A Formal Semantics for the WS-BPEL Recovery Framework: The pi-Calculus Way
http://deploy-eprints.ecs.soton.ac.uk/158/
Mazzara, Manuel and Dragoni, Nicola A Formal Semantics for the WS-BPEL Recovery Framework: The pi-Calculus Way. WSFM 2009 . Deriving Specifications of Dependable Systems: toward a Method
http://deploy-eprints.ecs.soton.ac.uk/157/
Mazzara, Manuel Deriving Specifications of Dependable Systems: toward a Method. EWDC 2009 . Developing Control Systems with Some Fragile Environment
http://deploy-eprints.ecs.soton.ac.uk/421/
Hoang, Thai Son and Hudon, Simon Developing Control Systems with Some Fragile Environment. Technical Report. ETH Zurich, Zurich, Switzerland. Different Perspectives for Reasoning about Problems and Faults
http://deploy-eprints.ecs.soton.ac.uk/156/
Mazzara, Manuel Different Perspectives for Reasoning about Problems and Faults. Technical Report. University of Newcastle upon Tyne. Rabin's Choice Coordination Development (qualitative reasoning)
http://deploy-eprints.ecs.soton.ac.uk/358/
Yilmaz, Emre and Hoang, Thai Son Rabin's Choice Coordination Development (qualitative reasoning). [Rodin Archive]