Designing for workstyle transitions: interaction design tools for software engineering

Supervisor: Duarte Nuno Jardim Nunes

SysPRE: systematized process for requirements engineering in knowledge discovery projects

The domain of Knowledge Discovery (KD) and Data Mining (DM) is of growing importance in a time where more and more data is produced and knowledge is one of the most precious assets. Having explored both the existing underlying theory, the results of the ongoing research in academia and the industry practices in the domain of KD and DM, we have found that this is a domain that still lacks some systematization. We also found that this systematization exists to a greater degree in the Software Engineering and Requirements Engineering domains, probably due to being more mature areas. We believe that it is possible to improve and facilitate the participation of enterprise stakeholders in the requirements engineering for KD projects by systematizing requirements engineering process for such projects. This will, in turn, result in more projects that end successfully, that is, with satisfied stakeholders, including in terms of time and budget constraints. With this in mind and based on all information found in the state-of-the art, we propose SysPRE - Systematized Process for Requirements Engineering in KD projects. We begin by proposing an encompassing generic description of the KD process, where the main focus is on the Requirements Engineering activities. This description is then used as a base for the application of the Design and Engineering Methodology for Organizations (DEMO) so that we can specify a formal ontology for this process. The resulting SysPRE ontology can serve as a base that can be used not only to make enterprises become aware of their own KD process and requirements engineering process in the KD projects, but also to improve such processes in reality, namely in terms of success rate.

Activity modeling in practice: a case-based guide to human-centered software engineering

The purpose of this study was to identify whether activity modeling framework supports problem analysis and provides a traceable and tangible connection from the problem identification up to solution modeling. Methodology validation relied on a real problem from a Portuguese teaching syndicate (ASPE), regarding courses development and management. The study was carried out with a perspective to elaborate a complete tutorial of how to apply activity modeling framework to a real world problem. Within each step of activity modeling, we provided a summary elucidation of the relevant elements required to perform it, pointed out some improvements and applied it to ASPE’s real problem. It was found that activity modeling potentiates well structured problem analysis as well as provides a guiding thread between problem and solution modeling. It was concluded that activity-based task modeling is key to shorten the gap between problem and solution. The results revealed that the solution obtained using activity modeling framework solved the core concerns of our customer and allowed them to enhance the quality of their courses development and management. The principal conclusion was that activity modeling is a properly defined methodology that supports software engineers in problem analysis, keeping a traceable guide among problem and solution.

Concurrent nociceptive stimulation impairs the anxiolytic effect of midazolam injected into the periaqueductal gray in mice

This study investigated whether the opportunity to avoid or escape the open arms of an elevated plus-maze (EPM) affects the antinociceptive response observed when mice are subjected to open arm confinement. Furthermore, in order to better characterize the relationship between emotion and antinociception in the EPM, we examined the behavioral effects of midazolam injection into the midbrain periaqueductal gray matter (PAG). As our main aim was to evaluate the relevance of different levels of approach-avoid conflict (i.e. The presence of open and closed arms) to maze-induced antinociception, mice were exposed to one of three types of EPM-a standard EPM (sEPM), an open EPM (oEPM: four open arms) or, as a control condition, an enclosed EPM (eEPM: four enclosed arms). Nociception was assessed using the formalin test. Twenty minutes after formalin injection (50 mu l, 2.5% formalin) into the dorsal right hind paw, mice received an intra-PAG injection of saline or midazolam (10-20 nmol). Five minutes later, they were individually exposed to one of the mazes for 10 min (25-35 min after formalin injection). Videotapes of the test sessions were scored for a variety of behavioral measures including time spent licking the formalin-injected paw. To examine whether the effects of midazolam on anxiety-like behavior may have been influenced by concurrent nociceptive stimulation (i.e. formalin pretreatment), naive mice were submitted to a similar procedure to that described above for the sEPM test but without formalin pretreatment. Results showed that mice exposed to the oEPM spent significantly less time licking the injected paw compared to groups exposed to either the sEPM or eEPM. Although exposure to the sEPM induced anxiety-like behaviors (i.e. open arm avoidance), it did not result in antinociception. Intra-PAG infusions of midazolam failed to block oEPM-induced antinociception or to alter sEPM-induced anxiety in mice that had received formalin injection. However, under normal test conditions (i.e. in the absence of formalin-induced nociceptive stimulation), intra-PAG midazolam produced clear anti-anxiety effects in mice exposed to the sEPM. Findings are discussed in terms of different emotional states induced by the oEPM and sEPM and the influence of concurrent nociceptive stimulation on the anti-anxiety effect of intra-PAG midazolam. (c) 2005 Elsevier B.V. All rights reserved.

Model-Driven requirements engineering process aided by ontologies and natural controlled languages

Researches in Requirements Engineering have been growing in the latest few years. Researchers are concerned with a set of open issues such as: communication between several user profiles involved in software engineering; scope definition; volatility and traceability issues. To cope with these issues a set of works are concentrated in (i) defining processes to collect client s specifications in order to solve scope issues; (ii) defining models to represent requirements to address communication and traceability issues; and (iii) working on mechanisms and processes to be applied to requirements modeling in order to facilitate requirements evolution and maintenance, addressing volatility and traceability issues. We propose an iterative Model-Driven process to solve these issues, based on a double layered CIM to communicate requirements related knowledge to a wider amount of stakeholders. We also present a tool to help requirements engineer through the RE process. Finally we present a case study to illustrate the process and tool s benefits and usage

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

Periodontal Tissue Engineering After Tooth Replantation

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

PDGF-B gene therapy accelerates bone engineering and oral implant osseointegration

Platelet-derived growth factor-BB (PDGF-BB) stimulates repair of healing-impaired chronic wounds such as diabetic ulcers and periodontal lesions. However, limitations in predictability of tissue regeneration occur due, in part, to transient growth factor bioavailability in vivo. Here, we report that gene delivery of PDGF-B stimulates repair of oral implant extraction socket defects. Alveolar ridge defects were created in rats and were treated at the time of titanium implant installation with a collagen matrix containing an adenoviral (Ad) vector encoding PDGF-B (5.5 x 10(8) or 5.5 x 10(9) pfu ml (1)), Ad encoding luciferase (Ad-Luc; 5.5 x 10(9) pfu ml (1); control) or recombinant human PDGF-BB protein (rhPDGF-BB, 0.3 mg ml (1)). Bone repair and osseointegration were measured through backscattered scanning electron microscopy, histomorphometry, microcomputed tomography and biomechanical assessments. Furthermore, a panel of local and systemic safety assessments was performed. Results indicated that bone repair was accelerated by Ad-PDGF-B and rhPDGF-BB delivery compared with Ad-Luc, with the high dose of Ad-PDGF-B more effective than the low dose. No significant dissemination of the vector construct or alteration of systemic parameters was noted. In summary, gene delivery of Ad-PDGF-B shows regenerative and safety capabilities for bone tissue engineering and osseointegration in alveolar bone defects comparable with rhPDGF-BB protein delivery in vivo. Gene Therapy (2010) 17, 95-104; doi: 10.1038/gt.2009.117; published online 10 September 2009

Characterization and in vitro evaluation of bacterial cellulose membranes functionalized with osteogenic growth peptide for bone tissue engineering

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

Bacterial cellulose-collagen nanocomposite for bone tissue engineering

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

Concurrent dengue and malaria in the Amazon region

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

A common Tabu search algorithm for the global optimization of engineering problems

A novel common Tabu algorithm for global optimizations of engineering problems is presented. The robustness and efficiency of the presented method are evaluated by using standard mathematical functions and hy solving a practical engineering problem. The numerical results show that the proposed method is (i) superior to the conventional Tabu search algorithm in robustness, and (ii) superior to the simulated annealing algorithm in efficiency. (C) 2001 Elsevier B.V. B.V. All rights reserved.

Autogenous demineralized dentin matrix for tissue engineering applications: Radiographic and histomorphometric studies

Purpose: This work evaluated the osteoconductive properties of autogenous demineralized dentin matrix (ADDM) on surgical bone defects in the parietal bone of rabbits, using the guided bone regeneration technique and polytetrafluoroethylene (PTFE) membrane. Materials and Methods: Surgical bone defects were created in 24 adult rabbits and repaired with either ADDM and PTFE (experimental group) or PTFE alone (control group). The ADDM had been obtained from the central incisors of the experimental rabbits. The rabbits were sacrificed after 15, 30, 60, and 90 days and the defects examined radiographically and histologically. Results: Radiographically, the defects in the experimental animals achieved radiopacity more quickly than the defects in the control group. Discussion: After 15, 30, 60, and 90 days of observation following surgery, the ADDM slices appeared to stimulate new bone formation. The dentin slices were completely incorporated into the new bone tissue and were resorbed during the bone repair. Conclusions: Bone repair was accelerated on the bone defects treated with ADDM when compared to the control group.