Search results for "tietokoneohjelmat"
showing 10 items of 35 documents
Introducing Traceability in GitHub for Medical Software Development
2021
Assuring traceability from requirements to implementation is a key element when developing safety critical software systems. Traditionally, this traceability is ensured by a waterfall-like process, where phases follow each other, and tracing between different phases can be managed. However, new software development paradigms, such as continuous software engineering and DevOps, which encourage a steady stream of new features, committed by developers in a seemingly uncontrolled fashion in terms of former phasing, challenge this view. In this paper, we introduce our approach that adds traceability capabilities to GitHub, so that the developers can act like they normally do in GitHub context bu…
Continuous design control for machine learning in certified medical systems
2022
AbstractContinuous software engineering has become commonplace in numerous fields. However, in regulating intensive sectors, where additional concerns need to be taken into account, it is often considered difficult to apply continuous development approaches, such as devops. In this paper, we present an approach for using pull requests as design controls, and apply this approach to machine learning in certified medical systems leveraging model cards, a novel technique developed to add explainability to machine learning systems, as a regulatory audit trail. The approach is demonstrated with an industrial system that we have used previously to show how medical systems can be developed in a con…
Solution of universal nonrelativistic nuclear DFT equations in the Cartesian deformed harmonic-oscillator basis. (IX) HFODD (v3.06h) : a new version …
2021
We describe the new version (v3.06h) of the code HFODD that solves the universal nonrelativistic nuclear DFT Hartree-Fock or Hartree-Fock-Bogolyubov problem by using the Cartesian deformed harmonic-oscillator basis. In the new version, we implemented the following new features: (i) zero-range three- and four-body central terms, (ii) zero-range three-body gradient terms, (iii) zero-range tensor terms, (iv) zero-range isospin-breaking terms, (v) finite-range higher-order regularized terms, (vi) finite-range separable terms, (vii) zero-range two-body pairing terms, (viii) multi-quasiparticle blocking, (ix) Pfaffian overlaps, (x) particle-number and parity symmetry restoration, (xi) axializatio…
Approximation through interpolation in nonconvex multiobjective optimization
2011
A root cause analysis method for preventing erratic behavior in software development: PEBA
2019
Measures taken to prevent faults from being introduced or going undetected can secure development of highly reliable software systems. One such measure is analyzing root causes of recurring faults and preventing them from appearing again. Previous methods developed for this purpose have been reactive in nature and relied heavily on fault reporting mechanisms of ogranizations. Additionally, previous efforts lack a defined mechanism for innovating corrective actions. In this study, we strive to complement the existing methods by introducing a proactive and qualitative method that does not rely on fault data. During the course of the research, in addition to an extensive literature search, an …
Understanding and analyzing SQL/CLI database usage of Java software: empirical study
2005
The Place and Role of Security Patterns in Software Development Process
2006
Security is one of the key quality attributes for many contemporary software products. Designing, developing, and maintaining such software necessitates the use of a secure-software development process which specifies how achieving this quality goal can be supported throughout the development life-cycle. In addition to satisfying the explicitly-stated functional security requirements, such process is aimed at minimising the number of vulnerabilities in the design and the implementation of the software. The secure software development is a challenging task spanning various stages of the development process. This inherent difficulty may be to some extent alleviated by the use of the so-called…
Agenttipohjaisten suunnittelumenetelmien vertailu
2004
Agenttipohjainen ohjelmistotuotanto edustaa yhtä uusimmista paradigmoista ohjelmistotuotannon alueella. Agentilla tarkoitetaan ohjelmiston osaa, joka kykenee itsenäiseen ja älykkääseen toimintaan käyttäjänsä puolesta saavuttaakseen sille suunnitellut tavoitteet. Agenttipohjaisten järjestelmien suunnitteluun on kehitetty varsin kirjava joukko menetelmiä. Tutkielman päätavoitteena on kuvata, analysoida ja vertailla agenttipohjaisia menetelmiä sen selvittämiseksi, mitä yhtäläisyyksiä ja eroja niiden käsitteissä, malleissa ja prosesseissa. Tutkielma on otteeltaan käsitteellisteoreettinen ja aihetta lähestytään agentteja, agenttipohjaisia menetelmiä ja menetelmien vertailua käsittelevän kirjalli…
Hypotheses engineering : first essential steps of experiment-driven software development
2019
Recent studies have proposed the use of experiments to guide software development in order to build features that the user really wants. Some authors argue that this approach represents a new way to develop software that is different from the traditional requirement-driven one. In this position paper, we propose the discipline of Hypotheses Engineering in comparison to Requirements Engineering, highlighting the importance of proper handling hypotheses that guide experiments. We derive a set of practices within this discipline and present how the literature has tackled them up to now. Finally, we propose a set of research questions that could guide future work towards helping practitioners. …
S-pot - A benchmark in spotting signs within continuous signing
2014
In this paper we present S-pot, a benchmark setting for evaluating the performance of automatic spotting of signs in continuous sign language videos. The benchmark includes 5539 video files of Finnish Sign Language, ground truth sign spotting results, a tool for assessing the spottings against the ground truth, and a repository for storing information on the results. In addition we will make our sign detection system and results made with it publicly available as a baseline for comparison and further developments. peerReviewed