We describe a software development process designed for an integration and usage of formal methods into practical software process models in a scalable way. Our process model is an extension of the V-model, and allows the speciication of critical components and the verii-cation of crucial development steps. For diierent development stages we suggest user-oriented description techniques, based o...

This paper Is an attempt to classify the process of Information systems development In different ways. The main perspective Is that Information systems should support business activities In organizations. The development process Is Illustrated by our V-model, ISAC-model and SIV-model. We have experience of applications of these models from Swedish Industry. At the end a three·dimensional classi...

For the development of software requirements within a team, efficient communication and a systematic approach are necessary. Because of the complexity of the task, the need for software support seems obvious. A requirements portal is an Internet based software application, which provides all parties involved with the current discussion status of the requirements including preliminary versions a...

V(D)J recombination is responsible for the de novo creation of antigen receptor genes in T- and B-cell precursors. To the extent that lymphopoiesis takes place throughout an animal's lifetime, recombination errors present an ongoing problem. One type of aberrant rearrangement ensues when DNA sequences resembling a V(D)J joining signal are targeted by mistake. This study investigates the type of...

The crystallization of three catalytically inactive mutants of penicillin V acylase (PVA) from Bacillus sphaericus in precursor and processed forms is reported. The mutant proteins crystallize in different primitive monoclinic space groups that are distinct from the crystal forms for the native enzyme. Directed mutants and clone constructs were designed to study the post-translational autoprote...

A typical software product is developed so that it can fulfill the defined business domain, based on a proper product design context. Although, assuring an alignment between the technological developments with the business domain is a demanding task. With the purpose of clarifying the relations between the models that support the business and the software representations, we present in this pap...