Items where Subject is "Methodology > Other"

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)

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.

Snook, Colin (2011) Modelling Control Process and Control Mode with Synchronising Orthogonal State Machines. In: B2011.

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.

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.

Olszewska, Marta and Sere, Kaisa (2010) Specification Metrics for Event-B Developments. In: CONQUEST 2010, 20-22 September 2010, Dresden, Germany.

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).

Olszewska, Marta and Sere, Kaisa (2010) Towards Event-B Specification Metrics. In: First Deploy Technical Workshop, 21-23 October 2009, Aix-en-Provence, France.

Yilmaz, Emre and Hoang, Thai Son (2010) Development of Rabin's Choice Coordination algorithm in Event-B. ECEASST, 35 .

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).

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.

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)

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).

Schmalz, Matthias and Varacca, Daniele and Völzer, Hagen (2009) Counterexamples in Probabilistic LTL Model Checking for Markov Chains. In: Concur.

Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2008) Link State Routing Development. [Rodin Archive]

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.

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 .

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.

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).

Mazzara, Manuel and Dragoni, Nicola A Formal Semantics for the WS-BPEL Recovery Framework: The pi-Calculus Way. WSFM 2009 .

Mazzara, Manuel Deriving Specifications of Dependable Systems: toward a Method. EWDC 2009 .

Hoang, Thai Son and Hudon, Simon Developing Control Systems with Some Fragile Environment. Technical Report. ETH Zurich, Zurich, Switzerland.

Mazzara, Manuel Different Perspectives for Reasoning about Problems and Faults. Technical Report. University of Newcastle upon Tyne.

Yilmaz, Emre and Hoang, Thai Son Rabin's Choice Coordination Development (qualitative reasoning). [Rodin Archive]