Results 81 to 90 of about 9,715 (209)

The Aut(Not)Tomobile, handwritten draft of poem by J.J. Snook 

, 1900
Handwritten draft of poem written by John J.
Snook, J. J.
core  

UML-B and Event-B: an integration of languages and tools

, 2008
UML-B is a graphical front end for Event-B. It adds support for class-oriented modelling but retains the Event-B concept of a closed system characterized by families of spontaneous events.
Snook, Colin, Butler, Michael
core   +1 more source

Tools for system validation with B abstract machines

, 2005
In this paper we give an overview of some tools that we have developed to support the application of the B Method. ProB is an animation and model checking tool for the B method.
Snook, Colin, Leuschel, Michael, Butler, Michael   +2 more
core   +1 more source

Towards a method for rigorous development of generic requirements patterns

, 2006
We present work in progress on a method for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated
Snook, Colin, Ian Johnson, Michael Poppleton, Johnson, Ian, Poppleton, Michael, Colin Snook   +5 more
core   +2 more sources

Rigorous engineering of product-line requirements: a case study in failure management

, 2007
We consider the failure detection and management function for engine control systems as an application domain where product line engineering is indicated.
Snook, Colin, Ian Johnson, Michael Poppleton, Johnson, Ian, Poppleton, Michael, Colin Snook   +5 more
core   +1 more source

Jeanetta Snook of Trout River.

Jeanetta Snook, the woman who nearly perished in the Trout River Gulch in ...
Payne, Charlie (1957 - )
core   +1 more source

Evaluation of the Risks for Manual Material Handling in a Metal Casing Industry in Iran

Salāmat-i kār-i Īrān, 2014
Background and aims: In most industries, manual material handling is an inevitable part of the job.Acute low back pain and workers disability are most important injuries caused by manual material handling tasks.
Z Panjali, A Mazloumi, H Ahsani, E Rezaee   +3 more
doaj  

Variación estacional de la composición proximal en tres especies de importancia comercial del Golfo de Nicoya, Puntarenas, Costa Rica Seasonal variation of proximate composition in three commercially important species in the Gulf of Nicoya, Puntarenas, Costa Rica

Revista de Biología Tropical, 2013
La información disponible sobre la composición química de algunos recursos pesqueros que se capturan en el Golfo de Nicoya es muy limitada. Por tal razón se determinaron los niveles de los componentes proximales de las partes comestibles (fresco) de tres
Cristian Fonseca Rodríguez, Fabián Chavarría Solera, Fernando Mejía-Arana   +2 more
doaj  

Community ecology of metazoan parasites of the later juvenile common snook Centropomus undecimalis (Osteichthyes: Centropomidae) from the coastal zone of the state of Rio de Janeiro, Brazil

Brazilian Journal of Biology
Between April and December 2000, seventy-nine specimens of Centropomus undecimalis from Angra dos Reis, coastal zone of the State of Rio de Janeiro (23º01'S, 44º19'W), Brazil, were necropsied to study their infracommunities of metazoan parasites.
L. E. R. Tavares, J. L. Luque
doaj   +1 more source

Development of a System Controlling Cars on a Bridge using Machine Inclusion

This dataset is associated with the following paper: Thai Son Hoang, Dana Dghaym, Colin Snook, and Michael Butler. A Composition Mechanism for Refinement-Based Methods.
Hoang, Thai Son, Dghaym, Dana, Snook, Colin, Butler, Michael   +3 more
core   +1 more source