54 research outputs found
"Water, Water, Every Where": Nuances for a Water Industry Critical Infrastructure Specification Exemplar
The water infrastructure is critical to human life, but little attention has been paid to the nuances of the water industry. Without such attention, evaluating security innovation in this domain without compromising the productivity goals when delivering water services is difficult. This paper proposes four nuances that need to be incorporated into a representative specification exemplar for the water industry; these provided input to the exemplar based on a fictional water company
Tool support of orderly transition from informal to formal descriptions in requirements engineering
Detection and determination of interfering 5–hydroxymethylfurfural in the analysis of caramel–coloured pharmaceutical syrups
Software engineering as the design theoretic transformation of software problems
Rogers characterises engineering as: ... the practice of organising the design and construction of any artifice which transforms the physical world around us to meet some recognised need. When the artifice is software, a key challenge is learn how to recon- cile the formal world of the computing machine and its software with the non-formal physical world around it. In this paper, we describe an approach that brings both non-formal and formal aspects of software en- gineering together within a single theoretical framework, which sees soft- ware engineering practice as recordable and re-playable design theoretic transformations of software problems. The framework permits the iden- tification and clarification of software requirements, the representation of the problem world into which the software solution will be delivered, and the construction of adequacy arguments for stake-holders. Designs are recordable and re-playable through our adaptation of tactics, a (now standard) form of programming language used in transformational proof theoretic presentations. This brings to our system many other benefits of such approaches, including the ability to abstract from a captured design, and to combine programmatically captured designs. This paper provides an example-driven presentation of our framework
Nota: Influencia de los sĂłlidos solubles, de la acidez y del azĂşcar sobre el color del dulce de leche/ Note: Influence of soluble solids, acidity and sugar on the color of dulce de leche
APPLICATION AND ADVANTAGES OF THE ENZYMATIC METHOD FOR THE ASSAY OF ASCORBIC AND DEHYDROASCORBIC ACIDS AND REDUCTONES Determination in Fresh and Canned Spinach
- …