Teaching PSP: Challenges and lessons learned

Teaching the PSP: Challenges and Lessons Learned by Jurgen Borstler, David Carrington, Gregory W Hislop, Susan Lisack, Keith Olson, and Laurie Williams, pp. 42-48. Soft-ware engineering educators need to provide environments where students learn about the size and complexity of modern software systems and the techniques available for managing these difficulties. Five universities used the Personal Software Process to teach software engineering concepts in a variety of contexts.

Quantification and stability of everolimus (SDZ RAD) in human blood by high-performance liquid chromatography-electrospray tandem mass spectrometry

We report here a validated method for the quantification of a new immunosuppressant drug, everolimus (SDZ RAD), using HPLC-tandem mass spectrometry. Whole blood samples (500 mul) were prepared by protein precipitation, followed by C-18 solid-phase extraction. Mass spectrometric detection was by selected reaction monitoring with an electrospray interface operating in positive ionization mode. The assay was linear from 0.5 to 100 mug/l (r(2) > 0.996, n = 9). The analytical recovery and inter-day imprecision, determined using whole blood quality control samples (n = 5) at 0.5, 1.2, 20.0, and 75.0 mug/l, was 100.3-105.4% and less than or equal to7.6%, respectively. The assay had a mean relative recovery of 94.8 +/- 3.8%. Extracted samples were stable for up to 24 h. Fortified everolimus blood samples were stable at -80 degreesC for at least 8 months and everolimus was found to be stable in blood when taken through at least three freeze-thaw cycles. The reported method provides accurate, precise and specific measurement of everolimus in blood over a wide analytical range and is currently supporting phase 11 and III clinical trials. (C) 2002 Elsevier Science B.V. All rights reserved.

A framework for table driven testing of Java classes

With the advent of object-oriented languages and the portability of Java, the development and use of class libraries has become widespread. Effective class reuse depends on class reliability which in turn depends on thorough testing. This paper describes a class testing approach based on modeling each test case with a tuple and then generating large numbers of tuples to thoroughly cover an input space with many interesting combinations of values. The testing approach is supported by the Roast framework for the testing of Java classes. Roast provides automated tuple generation based on boundary values, unit operations that support driver standardization, and test case templates used for code generation. Roast produces thorough, compact test drivers with low development and maintenance cost. The framework and tool support are illustrated on a number of non-trivial classes, including a graphical user interface policy manager. Quantitative results are presented to substantiate the practicality and effectiveness of the approach. Copyright (C) 2002 John Wiley Sons, Ltd.

Prolonged retention after aggregation into secretory granules of human R183H-growth hormone (GH), a mutant that causes autosomal dominant GH deficiency type II

Human R183H-GH causes autosomal dominant GH deficiency type II. Because we show here that the mutant hormone is fully bioactive, we have sought to locate an impairment in its progress through the secretory pathway as assessed by pulse chase experiments. Newly synthesized wild-type and R183H-GH were stable when expressed transiently in AtT20 cells, and both formed equivalent amounts of Lubrol-insoluble aggregates within 40 min after synthesis. There was no evidence for intermolecular disulfide bond formation in aggregates of wild-type hormone or the R183H mutant. Both wildtype and R183H-GH were packaged into secretory granules, assessed by the ability of 1 mm BaCl2 to stimulate release and by immunocytochemistry. The mutant differed from wildtype hormone in its retention in the cells after packaging into secretory granules; 50% more R183H-GH than wild-type aggregates were retained in AtT20 cells 120 min after synthesis, and stimulated release of R183H-GH or a mixture of R183H-GH and wild-type that had been retained in the cell was reduced. The longer retention of R183H-GH aggregates indicates that a single point mutation in a protein contained in secretory granules affects the rate of secretory granule release.

Cognitive style factors affecting database query performance

As end-user computing becomes more pervasive, an organization's success increasingly depends on the ability of end-users, usually in managerial positions, to extract appropriate data from both internal and external sources. Many of these data sources include or are derived from the organization's accounting information systems. Managerial end-users with different personal characteristics and approaches are likely to compose queries of differing levels of accuracy when searching the data contained within these accounting information systems. This research investigates how cognitive style elements of personality influence managerial end-user performance in database querying tasks. A laboratory experiment was conducted in which participants generated queries to retrieve information from an accounting information system to satisfy typical information requirements. The experiment investigated the influence of personality on the accuracy of queries of varying degrees of complexity. Relying on the Myers–Briggs personality instrument, results show that perceiving individuals (as opposed to judging individuals) who rely on intuition (as opposed to sensing) composed queries more accurately. As expected, query complexity and academic performance also explain the success of data extraction tasks.

But what if I don't want to wait forever?

We present an abstract model of the leader election protocol used in the IEEE 1394 High Performance Serial Bus standard. The model is expressed in the probabilistic Guarded Command Language. By formal reasoning based on this description, we establish the probability of the root contention part of the protocol successfully terminating in terms of the number of attempts to do so. Some simple calculations then allow us to establish an upper bound on the time taken for those attempts.

The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Tool support for testing concurrent Java components

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

Document retrieval for e-mail search and discovery using Formal Concept Analysis

This paper discusses a document discovery tool based on Conceptual Clustering by Formal Concept Analysis. The program allows users to navigate e-mail using a visual lattice metaphor rather than a tree. It implements a virtual. le structure over e-mail where files and entire directories can appear in multiple positions. The content and shape of the lattice formed by the conceptual ontology can assist in e-mail discovery. The system described provides more flexibility in retrieving stored e-mails than what is normally available in e-mail clients. The paper discusses how conceptual ontologies can leverage traditional document retrieval systems and aid knowledge discovery in document collections.

Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

Controle estatístico de processo aplicado no monitoramento da absorção de água por carcaças de frango durante a etapa de pré-resfriamento

A absorção de água por carcaças de frango na etapa de pré-resfriamento da linha abate representa uma característica de qualidade importante relacionada ao rendimento do produto final. Uma forma de manter o padrão de qualidade de um produto é garantir que as etapas do processo sejam estáveis e replicáveis. Ao empregar o Controle Estatístico de Processo (CEP) é possível obter estabilidade e melhorias nos processos, por meio da redução da variabilidade. Neste contexto, o objetivo deste trabalho foi a aplicação de gráficos de controle, análise de correlação, estatística descritiva, testes de hipóteses e regressão linear múltipla na linha de abate de um abatedouro-frigorífico de aves para monitorar a variabilidade da absorção de água pelas carcaças de frango após a etapa de pré-resfriamento. Como resultado, verificou-se que o teor de absorção de água das carcaças de frango apresentou elevada variabilidade, sendo que 10% (8/80) das carcaças apresentaram absorção de água superior ao limite de 8% definido pela legislação brasileira. Do total de 16 variáveis de entrada analisadas, as mais impactantes no teor de absorção de água foram o “tempo de retenção da carcaça no pré-chiller” e o “tempo de espera da carcaça após a etapa de gotejamento”. Entretanto, o modelo de regressão obtido apresentou baixa correlação (R²=0,16) que foi associada à elevada variabilidade da variável-resposta. Os resultados da estatística descritiva demonstraram que as variáveis de entrada também apresentaram elevada variabilidade, com coeficiente de variação entre 7,95 e 63,5%. Verificou-se, pela análise dos gráficos de controle de medida individual e da amplitude móvel, que 15 das 16 variáveis de entrada se apresentaram fora de controle estatístico assim como a variável-resposta. Baseado no fluxograma e na descrição das etapas da linha de abate, previamente realizados, atribuiu-se à falta de padronização na condução das etapas e de procedimentos para o controle de qualidade das operações na linha de abate como fatores relevantes que poderiam estar associados à presença de causas especiais no processo. Concluiu-se que para reduzir a elevada variabilidade das variáveis e eliminar as causas especiais presentes são necessários ajustes operacionais para, dessa forma, obter um processo mais estável e mais uniforme garantindo o padrão de qualidade das carcaças de frango em relação ao teor de absorção de água.