Describing and validating functional requirements as use cases

Requirements engineering is an important phase in software development where customer's needs and expectations are transformed into a software requirements specification. The requirements specification can be considered as an agreement between the customer and the developer where both parties agree on the expected system features and behaviour. However, requirements engineers must deal with a variety of issues that complicate the requirements process. The communication gap between the customer and the developers is among typical reasons for unsatisfactory requirements. In this thesis we study how the use case technique could be used in requirements engineering in bridging the communication gap between the customer and development team. We also discuss how a use case description can be use cases can be used as a basis for acceptance test cases.

Adapting wheat sowing dates to projected climate change in the Australian subtropics: analysis of crop water use and yield

Projected increases in atmospheric carbon dioxide concentration ([CO2]) and air temperature associated with future climate change are expected to affect crop development, crop yield, and, consequently, global food supplies. They are also likely to change agricultural production practices, especially those related to agricultural water management and sowing date. The magnitude of these changes and their implications to local production systems are mostly unknown. The objectives of this study were to: (i) simulate the effect of projected climate change on spring wheat (Triticum aestivum L. cv. Lang) yield and water use for the subtropical environment of the Darling Downs, Queensland, Australia; and (ii) investigate the impact of changing sowing date, as an adaptation strategy to future climate change scenarios, on wheat yield and water use. The multimodel climate projections from the IPCC Coupled Model Intercomparison Project (CMIP3) for the period 2030–2070 were used in this study. Climate scenarios included combinations of four changes in air temperature (08C, 18C, 28C, and 38C), three [CO2] levels (380 ppm, 500 ppm, and 600 ppm), and three changes in rainfall (–30%, 0%, and +20%), which were superimposed on observed station data. Crop management scenarios included a combination of six sowing dates (1 May, 10 May, 20 May, 1 June, 10 June, and 20 June) and three irrigation regimes (no irrigation (NI), deficit irrigation (DI), and full irrigation (FI)). Simulations were performed with the model DSSAT4.5, using 50 years of daily weather data.Wefound that: (1) grain yield and water-use efficiency (yield/evapotranspiration) increased linearly with [CO2]; (2) increases in [CO2] had minimal impact on evapotranspiration; (3) yield increased with increasing temperature for the irrigated scenarios (DI and FI), but decreased for the NI scenario; (4) yield increased with earlier sowing dates; and (5) changes in rainfall had a small impact on yield for DI and FI, but a high impact for the NI scenario.

Requirements for Provenance on the Web

From where did this tweet originate? Was this quote from the New York Times modified? Daily, we rely on data from the Web but often it is difficult or impossible to determine where it came from or how it was produced. This lack of provenance is particularly evident when people and systems deal with Web information or with any environment where information comes from sources of varying quality. Provenance is not captured pervasively in information systems. There are major technical, social, and economic impediments that stand in the way of using provenance effectively. This paper synthesizes requirements for provenance on the Web for a number of dimensions focusing on three key aspects of provenance: the content of provenance, the management of provenance records, and the uses of provenance information. To illustrate these requirements, we use three synthesized scenarios that encompass provenance problems faced by Web users today.

Strategic use of dietary electrolyte balance and ratio for broiler chickens

The literature reports dealing with the dietary electrolyte ratio (K+Cl)/ Na are rare, although the concept has been proposed by Mongin in 1981. Thus, its application appears to be limited as a nutritional strategy in feed formulation, which usually meets only the minimum nutritional recommendations in Na, K and Cl. The objective of this study was to evaluate the performance of broilers submitted to different dietary electrolyte balances (DEB) Na+K-Cl and dietary electrolyte ratio (DER) from 1 to 21 d of age. A total of 1575 male 1-d old broiler chicks were randomly assigned to 5 treatments with 9 replicates of 35 chicks each. The treatments consisted of diets with 5 relation of electrolytes, arising from combinations DEB/DER 150/3, 250/2, 250/3, 250/4 and 350/3, with use of NaCl, NaHCO3, KCl, K2SO4 and CaCl2. All diets were corn-soybean meal based and formulated to meet or exceed the NRC (1994) requirements. Chicks had ad libitum access to feed and water in floor pens with wood shavings as litter. Body weight, feed intake and feed conversion ratio were measured at 21 d of age. It was found that only the feed conversion was significantly affected (P = 0.0142) by the combinations of relation of electrolytes (DEB and DER). The supplementation levels in DEB and DER were made to fit the data into a surface analysis to allow increasing levels of DEB (150–350 mEq/kg) and narrow and broad ratio of DER (2–4). For the canonical analysis of response surface was obtained the stationary point for body weight (DEB = 255.77 mEq/kg, and DER = 2.73:1) the value was 942.02 g; for feed intake (DEB = 251.69 mEq / kg and DER = 3.51:1), the value was 1200.02 g; and for feed conversion (DEB = 254.62 mEq/kg and DER = 3.06:1) the value was 1.35. The results of this experiment indicated that the best performance was obtained with combinations of relation of electrolytes for DEB between 251 and 255 mEq/kg and DER between 2.73:1 and 3.5:1.

A unified description language for human to automated services

Through the rise of cloud computing, on-demand applications, and business networks, services are increasingly being exposed and delivered on the Internet and through mobile communications. So far, services have mainly been described through technical interface descriptions. The description of business details, such as pricing, service-level, or licensing, has been neglected and is therefore hard to automatically process by service consumers. Also, third-party intermediaries, such as brokers, cloud providers, or channel partners, are interested in the business details in order to extend services and their delivery and, thus, further monetize services. In this paper, the constructivist design of the UnifiedServiceDescriptionLanguage (USDL), aimed at describing services across the human-to-automation continuum, is presented. The proposal of USDL follows well-defined requirements which are expressed against a common service discourse and synthesized from currently available servicedescription efforts. USDL's concepts and modules are evaluated for their support of the different requirements and use cases.

Authenticating Multicast Streams in Lossy Channels Using Threshold Techniques

We first classify the state-of-the-art stream authentication problem in the multicast environment and group them into Signing and MAC approaches. A new approach for authenticating digital streams using Threshold Techniques is introduced. The new approach main advantages are in tolerating packet loss, up to a threshold number, and having a minimum space overhead. It is most suitable for multicast applications running over lossy, unreliable communication channels while, in same time, are pertain the security requirements. We use linear equations based on Lagrange polynomial interpolation and Combinatorial Design methods.

Managing and sharing health data through information accountability protocols

Concerns over the security and privacy of patient information are one of the biggest hindrances to sharing health information and the wide adoption of eHealth systems. At present, there are competing requirements between healthcare consumers' (i.e. patients) requirements and healthcare professionals' (HCP) requirements. While consumers want control over their information, healthcare professionals want access to as much information as required in order to make well-informed decisions and provide quality care. In order to balance these requirements, the use of an Information Accountability Framework devised for eHealth systems has been proposed. In this paper, we take a step closer to the adoption of the Information Accountability protocols and demonstrate their functionality through an implementation in FluxMED, a customisable EHR system.

The design and implementation of an Information Accountability Framework for eHealth systems

This tutorial primarily focuses on the implementation of Information Accountability (IA) protocols defined in an Information Accountability Framework (IAF) in eHealth systems. Concerns over the security and privacy of patient information are one of the biggest hindrances to sharing health information and the wide adoption of eHealth systems. At present, there are competing requirements between healthcare consumers' (i.e. patients) requirements and healthcare professionals' (HCP) requirements. While consumers want control over their information, healthcare professionals want access to as much information as required in order to make well-informed decisions and provide quality care. This conflict is evident in the review of Australia's PCEHR system and in recent studies of patient control of access to their eHealth information. In order to balance these requirements, the use of an Information Accountability Framework devised for eHealth systems has been proposed. Through the use of IA protocols, so-called Accountable-eHealth systems (AeH) create an eHealth environment where health information is available to the right person at the right time without rigid barriers whilst empowering the consumers with information control and transparency. In this half-day tutorial, we will discuss and describe the technical challenges surrounding the implementation of the IAF protocols into existing eHealth systems and demonstrate their use. The functionality of the protocols and AeH systems will be demonstrated, and an example of the implementation of the IAF protocols into an existing eHealth system will be presented and discussed.

Contraceptive vaccines: current status and problems in mass application

Progress in the development of contraceptive vaccines for males and females is reviewed. Based on the criteria which need to be met with, none of the proposed candidate antigens meets the requirements for use as a contraceptive vaccine for human application. One of the major problems is the need for periodic injections to maintain required titre and use of an alternate method until effective titres are obtained. Some of the problems associated with active immunization approach can be overcome by the use of preformed, highly specific, potent antibodies. Some progress has been achieved in this direction by the use of humanized single chain monoclonal antibodies to human chorionic gonadotropin.

Reusing steel and aluminum components at end of product life.

Reusing steel and aluminum components would reduce the need for new production, possibly creating significant savings in carbon emissions. Currently, there is no clearly defined set of strategies or barriers to enable assessment of appropriate component reuse; neither is it possible to predict future levels of reuse. This work presents a global assessment of the potential for reusing steel and aluminum components. A combination of top-down and bottom-up analyses is used to allocate the final destinations of current global steel and aluminum production to product types. A substantial catalogue has been compiled for these products characterizing key features of steel and aluminum components including design specifications, requirements in use, and current reuse patterns. To estimate the fraction of end-of-life metal components that could be reused for each product, the catalogue formed the basis of a set of semistructured interviews with industrial experts. The results suggest that approximately 30% of steel and aluminum used in current products could be reused. Barriers against reuse are examined, prompting recommendations for redesign that would facilitate future reuse.

Ruostumattoman teräksen käyttö ja käyttövaatimukset LNG:n varasto- ja kuljetusjärjestelmissä

On arvioitu, että koko maailmaa kattava energiantarve nousee 1,2 % vuosinopeudella. Asiaa ei kaunista se tosiasia, että valtaosa tänä päivänä tuotetusta energiasta (85 %) on lähtöisin fossiilisista polttoaineista. Päästöjen on arvioitu lisääntyvän 2005 – 2030 välisenä aikana noin 30 %, vaikka uusiutuvaa energiaa käytettäisiin ja prosessien hyötysuhteet paranisivat. Vuonna 2015 voimaan tuleva rikkidirektiivi on pakottanut asiantuntijat löytämään korvaavan energialähteen, joka vähentäisi päästöjen määrää, ja jota esiintyisi suurissa määrissä. Nesteytetty maakaasu, LNG, toteuttaa edellä mainitut ehdot. Tässä diplomityössä perehdytään LNG-teollisuuden arvoketjuun Suomessa sekä muualla maailmassa. Työssä pääpainona on selvittää ruostumattoman teräksen käyttömahdollisuuksia nykyisessä LNG-teollisuuden arvoketjussa sekä selvittää sen uusia sovelluskohteita LNG-alalla tulevaisuudessa. Diplomityössä on tehty laaja kirjallisuuskatsaus LNG:n arvoketjuun ja uuden EN 1.4420 ruostumattoman teräksen soveltuvuuteen kryogeenisissä lämpötiloissa. Työn aikana on myös tehty useita haastatteluja LNG-teollisuudessa toimivien henkilöiden kanssa. Menetelmäkokeita ja koehitsauksia on suoritettu näiden haastattelujen perusteella.

Designing Agent-Oriented Systems by Analysing Agent Interactions

We propose a preliminary methodology for agent-oriented software engineering based on the idea of agent interaction analysis. This approach uses interactions between undetermined agents as the primary component of analysis and design. Agents as a basis for software engineering are useful because they provide a powerful and intuitive abstraction which can increase the comprehensiblity of a complex design. The paper describes a process by which the designer can derive the interactions that can occur in a system satisfying the given requirements and use them to design the structure of an agent-based system, including the identification of the agents themselves. We suggest that this approach has the flexibility necessary to provide agent-oriented designs for open and complex applications, and has value for future maintenance and extension of these systems.

Desenvolvimento de um equipamento para análise de desgastes em prótese de articulação total de quadril

Pós-graduação em Engenharia Mecânica - FEG

Consumo de amido e proteína, excreção de oxalato e características da urina de gatos alimentados com ração seca

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)