| 41. |
- Ismail, Muhammad
(författare)
-
Ontology Learning from Software Requirements Specification
- 2017
-
Konferensbidrag (refereegranskat)abstract
- Learning ontologies from software requirements specifications with individuals and relations between individuals to represent detailed information, such as input, condition and expected result of a requirement, is a difficult task. System specification ontologies (SSOs) can be developed from software requirement specifications to represent requirements and can be used to automate some time-consuming activities in software development processes. However, manually developing SSOs to represent requirements and domain knowledge of a software system is a time-consuming and a challenging task. The focus of this PhD is how to create ontologies semi-automatically from SRS. We will develop a framework that can be a possible solution to create semi-automatically ontologies from SRS. The developed framework will mainly be evaluated by using the constructed ontologies in the software testing process and automating a part of it. i.e. test case generation.
|
|
| 42. |
- Izosimov, Viacheslav, et al.
(författare)
-
Requirement Decomposition and Testability in Development of Safety-Critical Automotive Components
- 2012
-
Konferensbidrag (refereegranskat)abstract
- 2ISO26262 is a recently approved standard for functional safety in road vehicles. It provides guidelines on minimization of unreasonable safety risks during development of embedded systems in road vehicles. However, the development process specified in ISO26262 involves a number of steps that will require changing traditional and well established development processes. In a transition phase, however, due to lack of tool support, the steps may be performed manually, increasing the risk for delays and increased cost. This paper describes a case study in which we have successfully worked with traceability and testability of functional safety requirements, as well as safety requirements assigned to a testing tool that automates integration and verification steps, leading to standard-compliant tool qualification. Our tool qualification method employs fault injection as a validation method to increase confidence in the tool. Our case study will help to avoid many of the new pitfalls that can arise when attempting to realize standard-compliant development.
|
|
| 43. |
- Johnsen, Andreas, et al.
(författare)
-
An Architecture-Based Verification Technique for AADL Specifications
- 2011
-
Konferensbidrag (refereegranskat)abstract
- Quality assurance processes of software-intensive systems are an increasing challenge as the complexity of these systems dramatically increases. The use of Architecture Description Languages (ADLs) provide an important basis for evaluation. The Architecture Analysis and Design Language (AADL) is an ADL developed for designing software intensive systems. In this paper, we propose an architecture-based verification technique covering the entire development process by adapting a combination of model-checking and model-based testing approaches to AADL specifications. The technique reveals inconsistencies of early design decisions and ensures a system's conformity with its AADL specification. The objective and criteria (test-selection) of the verification technique is derived from traditional integration testing.
|
|
| 44. |
- Karvelis, Petros, et al.
(författare)
-
Semi-automated annotation of phasic electromyographic activity
- 2014
-
Konferensbidrag (refereegranskat)abstract
- Recent research on manual/visual identification of phasic muscle activity utilizing the phasic electromyographic metric (PEM) in human polysomnograms (PSGs) cites evidence that PEM is a potentially reliable quantitative metric to assist in distinguishing between neurodegenerative disorder populations and age-matched controls. However, visual scoring of PEM activity is time consuming-preventing feasible implementation within a clinical setting. Therefore, here we propose an assistive/semi-supervised software platform designed and tested to automatically identify and characterize PEM events in a clinical setting that will be extremely useful for sleep physicians and technicians. The proposed semi-automated approach consists of four levels: A) Signal Parsing, B) Calculation of quantitative features on candidate PEM events, C) Classification of PEM and non-PEM events using a linear classifier, and D) Post-processing/Expert feedback to correct/remove automated misclassifications of PEM and Non-PEM events. Performance evaluation of the designed software compared to manual labeling is provided for electromyographic (EMG) activity from the PSG of a control subject. Results indicate that the semi-automated approach provides an excellent benchmark that could be embedded into a clinical decision support system to detect PEM events that would be used in neurological disorder identification and treatment.
|
|
| 45. |
- Kerren, Andreas, et al.
(författare)
-
Information Visualization : Human-Centered Issues and Perspectives
- 2008
-
Bok (populärvet., debatt m.m.)abstract
- This book is the outcome of the Dagstuhl Seminar on "Information Visualization -- Human-Centered Issues in Visual Representation, Interaction, and Evaluation" held at Dagstuhl Castle, Germany, from May 28 to June 1, 2007.Information Visualization (InfoVis) is a relatively new research area, which focuses on the use of visualization techniques to help people understand and analyze data.This book documents and extends the findings and discussions of the various sessions in detail. The seven contributions cover the most important topics: There are general reflections on the value of information visualization; evaluating information visualizations; theoretical foundations of information visualization; teaching information visualization. And specific aspects on creation and collaboration: engaging new audiences for information visualization; process and pitfalls in writing information visualization research papers; and visual analytics: definition, process, and challenges.
|
|
| 46. |
- Lampis, Michael, et al.
(författare)
-
Scrabble is PSPACE-Complete
- 2012
-
Konferensbidrag (refereegranskat)abstract
- In this paper we study the computational complexity of the game of Scrabble.We prove the PSPACE-completeness of a derandomized model of the game, answeringan open question of Erik Demaine and Robert Hearn.
|
|
| 47. |
|
|
| 48. |
- Maceviciute, Elena, et al.
(författare)
-
E-books in Swedish public libraries : policy implications
- 2013
-
Konferensbidrag (refereegranskat)abstract
- The aims of the paper are: review the situation of e-books delivery in the Swedish public libraries (as it looked at the end of 2012); identify the barriers that public libraries encounter in providing access to e-books; highlight the policy-related problems of e-book provision through public libraries. A survey was carried out in October, 2012 of all public libraries in Sweden. 291 questionnaires were issued. 185 were completed, response rate was 63.3%. The provision of an e-book service has arisen as a result of either demand or an ideological belief that the ethos of democratic values and equality of access requires libraries to offer material in all media. Librarians find the situation of e-books provision through libraries unsatisfactory: the provider of titles removes them from the catalogue without warning or explanation, there are too few titles for children and students, and access to popular titles is delayed.
|
|
| 49. |
|
|
| 50. |
- Matić, Teodora, et al.
(författare)
-
Unsupervised Learning from Motion Sensor Data to Assess the Condition of Patients with Parkinson’s Disease
- 2019
-
Ingår i: AIME 2019. - Cham : Springer. - 9783030216429 - 9783030216412 ; , s. 420-424
-
Konferensbidrag (refereegranskat)abstract
- Parkinson’s disease (PD) is a chronic neurodegenerative disorder that predominantly affects the patient’s motor system, resulting in muscle rigidity, bradykinesia, tremor, and postural instability. As the disease slowly progresses, the symptoms worsen, and regular monitoring is required to adjust the treatment accordingly. The objective evaluation of the patient’s condition is sometimes rather difficult and automated systems based on various sensors could be helpful to the physicians. The data in this paper come from a clinical study of 19 advanced PD patients with motor fluctuations. The measurements used come from the motion sensors the patients wore during the study. The paper presents an unsupervised learning approach applied on this data with the aim of checking whether sensor data alone can indicate the patient’s motor state. The rationale for the unsupervised approach is that there was significant inter-physician disagreement on the patient’s condition (target value for supervised machine learning). The input to clustering came from sensor data alone. The resulting clusters were matched against the physicians’ estimates showing relatively good agreement.
|
|
