Central aim of organisation
Conducting applied research in software engineering
Briefly describe your organisation
Softnet Austria is a private research association cooperating with business and university partners to conduct and promote applied research in software engineering. Softnet Austria deliberately operates as an intermediary between research institutions and companies. The network is targeted on quality assurance and improvement, and at the development and deployment of novel techniques in software engineering. Besides of conducting applied research in next generation software engineering, Softnet Austria provides an institutionalized access to Austrias software engineering scene.
Research & Development
|- ICT Applications |
- ICT Applications for Traffic and Logistics
- Industrial Application
- Software- and Data Processing
- Databases, Database Management
- Process Management
- Service Orientated Architecture (SOA)
- Software Engineering and Testing
- Usability Engineering
| - Semantic Systems |
- Systems- and Network Technology
- Internet Technologies
- Pervasive Computing
- Artificial Intelligence
- Data Mining
- Micro- and Nanoelectronics, Embedded Systems
- Embedded Systems and Real-time Systems
Software Testing, System Testing, Software Verification, Software Tool Development, Tailoring of the Software Development Process, Software Test Automation
Austrian Research and Development Projects
The competence network organizes its applied research and innovation work in terms of individual projects assigned to so called competence nodes, SOFT T&M (engineering methodologies and modeling) and SOFT-WEB (web engineering and user interfaces). These competence nodes represent specific R&D issues in next generation software engineering and give rise to the following topical foci:
* test management and test methods
* test process improvement
* software verification
* model-driven software engineering
* fault localization and debugging
* program analysis and software metrics
* user interfaces design
* web applications
* methods for intelligent adaptive information systems
* Siemens Austria AG, PSE
* Kapsch CarrierCom AG
* Cirquent GmbH.
* Mobilkom AG
* Saillabs GmbH.
* UMA GmbH.
* Ximes GmbH.
* Cicero Consulting GmbH.
* AVL List GmbH.
* Arctis GmbH.
* Software Competence Center Hagenberg (SCCH)
* E-Novation GmbH.
* Technische Universitšt Graz, Institute for Software Technology
* Technische Universitšt Wien, Institute for Information Systems, Database and Artificial Intelligence
* Univeristy of Vienna, Department of Distributed and Multimedia Systems
* Univesity of Innsbruck, Institute for Informatics, Quality Engineering
* Center of Usability Research and Engineering, CURE
Aichernig, B.; Weiglhofer, M.; Wotawa, F.: Improving Fault-based Conformance Testing. - in: Electronic notes in theoretical computer science [Elektronische Ressource] (2008) In Press.
H. Hlavacs, W. Gansterer, H. Schabauer, J. Zottl, M. Petraschek, T. Hoeher, O. Jung, Enhancing ZRTP by using Computational Puzzles, Journal of Universal Computer Science 14-5 (2008), pp. 693-716.
Gordon Fraser, Franz Wotawa, Paul Ammann, Testing with Model Checkers: A Survey, Software Testing, Verification and Reliability, Accepted for Publication.
Chimiak-Opoka, J. and Lenz, C. (2006) Use of OCL in a Model Assessment Framework: An experience report. Electronic Communications of the EASST, 5 .ISSN 1863-2122.
Inserted / Updated
2009-11-30 / 2010-01-13