Sitemap
- Home
- Publikationen
- Kategorien:
- Publications:
- Semantically Structured Tag Clouds: An Empirical Evaluation of Clustered Presentation Approaches
- Mobile Touch Screen Interaction for Teen Use
- Group Conjoint Analysis. A new approach to measure the interrelation between feature and form-factor preferences among young adults
- User Enhanced Value Chains: Introducing a User Centered and Value Driven Innovation Process
- A Formal Model for IDATG Task Flows
- Standards and Certification of Non-Safety Critical Software
- Standards for Safety Critical Software: Validation-, Verification- and Testing Requirements
- Standards und Zertifizierung sicherheitskritischer Software
- Telephone Directory New
- Basel II – Subsidary Connection
- Testing High-Reliability Software for Continuous Casting Steel Plants
- VoIP Security
- Performance
- Peer to Peer SIP
- Availability und Reliability, UoV
- Distributed Testing Based on Partially Controllable Test Cases
- Automatic Test Generation Tools for Java based on Design-by-Contract: A survey
- Formal Specification Languages for Design by- Contract in Java: A survey
- Conformance Testing of a Session Initiation Protocol Registrar
- A LOTOS Formalization of SIP
- Editorial zum ECAI Workshop on Model-based Systems
- Flexible und erfolgreiche Implementierung eines User Interface Styleguides mittels eines strukturierten Authoring-Konzeptes basierend auf DITA-Maps
- Investigating Agile User-Centered Design in Practice: A Grounded Theory Perspective
- Evaluating a mobile multimedia application in field trials: the cost-benefit of self-report methods
- Investigating the perceptual aspects of tag clouds from a semantic clustering approach
- Applying psychophysiological methods for measuring user experience: possibilities, challenges and feasibility
- Model-driven System Testing of a Telephony Connector with Telling Test Stories
- Testing while modelling staff scheduling problems (abstract)
- Local search for shift and break scheduling (abstract)
- TEMPLE – a language for staff scheduling problems (abstract)
- A Memetic Algorithm for a Break Scheduling Problem
- Break optimization in shifts (abstract)
- Program File Bug Fix Effort Estimation Using Machine Learning Methods for OSS
- Test Patterns for Verilog Design Error Localization
- Using coverage to automate and improve test purpose based testing
- Improving Coverage Based Test Purposes
- GUI Savvy End-to-End Testing with Smart Monkeys
- Software change classification using hunk metrics
- Bug-Inducing Language Constructs
- Inside View of an Extreme Process
- Optimizing Extreme Programming
- Inside view of an Extreme Process
- New approaches for the design and implementation of user interface styleguides
- Cell Phone Design for Teenage Use
- Experiencing Real-World Interaction - Results from a NFC User Experience Field Trial
- Querying UML Models using OCL and Prolog
- Advanced OCL Editor based on Eclipse OCL
- An Iterated Local Search Algorithm for a Real-Life Break Scheduling Problem (abstract)
- Comparing mathematical, local search and hybrid heuristics for solving the minimum shift design problem with breaks
- A Report on QR-Based Testing
- A Generative Constraint Model for Optimizing Software Deployment
- A Constraint Model for Automated Deployment of Automotive Control Software
- Model-based Reasoning with Multiple Test Cases and its Application to Debugging
- Automated Classification of Faults in Programs using Machine Learning Techniques
- A Database for the Analysis of Program Change Patterns
- Bridging the gap between slicing and model-based diagnosis
- TestCockpit: Business intelligence for test management
- Nondeterministic Testing with Linear Model-Checker Counterexamples
- Creating Test-Cases Incrementally with Model-Checkers
- Babel-SIP: Self-learning SIP Message Adaptation for Increasing SIP-Compatibility
- Challanging Automatic Testcase Generation Tools with Real World Applications
- Executing Abstract Test Cases
- Random vs. Scenario-Based vs. Fault-Based Testing
- Protocol Conformance Testing a SIP Registrar
- Fault-based conformance testing in practice
- (2006) Use of OCL in a Model Assessment Framework
- Testing with Model Checkers
- Get up, move on! Using Electro- myography to Explore the Relationship of Experience and Motion
- An AI-Based Break-Scheduling System for Supervisory Personnel
- Current State of Agile User-Centered Design: A Survey
- Integration of Extreme Programming and User-Centered Design: Lessons Learned
- Touch based interaction using a three display interface design
- Visual Search Strategies of Tag Clouds - Results from an Eyetracking Study
- Semantically structured tag clouds: an empirical evaluation of clustered presentation approaches
- Towards Adaptive Test Code Generation for Service Oriented Systems
- OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language
- Ideas on System Thinking and Acting: Basic Issues, Aporetic Constructs and Application of the Metanoia Principle
- Experiences and Results from Establishing a Software Cockpit at BMD Systemhaus
- Employing Test Suites for Verilog Fault Localization
- Network Virtualization in Future Home Environments
- Using Spectrum-Based Fault Localization for Test Case Grouping
- Asynchronous Input-Output Conformance Testing
- Automatic Software Bug Triage System (BTS) Based on Latent Semantic Indexing and Support Vector Machine
- Are There Language Specific Bug Patterns? Results Obtained from a Case Study Using Mozilla
- Agile User-Centered Design Applied to a Mobile Multimedia Streaming Application
- Integrating Extreme Programming and User-Centered Design
- Probing an Agile Usability Process
- User Interface Design for a Content-aware Mobile Multimedia Application: An Iterative Approach
- How Online Communities support human values
- Mobile Multimedia: Identifying User Values Using the Means-End Theory
- Always-on Information - Services and Applications on the Mobile Desktop
- Towards Operationalizing Strategic Alignment of IT by Usage of Software Engineering Methods
- Use of OCL in a Model Assessment Framework: An experience report
- An Improved SAT Formulation for the Social Golfer Problem
- Solving the Social Golfer Problem with a GRASP
- Scheduling Breaks in Shift Plans for Call Centers
- The Sustainable Application of Leadership and Teaming in HRM- Models for the Today’s Organisation’s Needs – a Meta-Level Perspective
- Advances in Automated Source-Level Debugging of Verilog Designs
- Analysing Bug Prediction Capabilities of Static Code Metrics in Open Source Software
- Reachability and Propagation for LTL Requirements Testing
- QR-Model Based Testing
- Ordering Coverage Goals in Model Checker Based Testing
- Testing High-Reliability Software for Continous Casting Steel Plants
- The Role of Experience in Software Testing Practice
- Improving Model-Checkers for Software Testing
- Mutant Minimization for Model-Checker Based Test-Case Generation
- Relating counterexamples to test cases in CTL model checking Specifications
- Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
- Efficient Test Data Generation for Variables with Complex Dependencies
- Automatic Adaptation and Analysis of SIP Headers using Decision Trees
- Unifying Input Output Conformance
- "On the Fly" Input Output Conformance Verification
- Test Purpose Generation in an Industrial Application
- Enhancing ZRTP by using Computational Puzzles
- Improving Fault-based Conformance Testing
- News
- Kategorien:
- News:
- Softnet Konferenz zum Thema Test und Verifikation, Graz
- Softnet Konferenz Werkzeuggestütztes modernes Software-Management (Innsbruck, 8. Mai)
- Softnet Konferenz: Do. 27. Nov. 08, Fa. Cirquent, Wien
- Softnet Konferenz Die Bedeutung von Qualität in Softwareprodukten
- Softnet Konferenz Lernen aus 6.000 Projekten
- Wiener Forschungsfest 2010 ist…
- Research 2010. Messe für Wissenschaft, Forschung und Innovation.
- Tarot Summer School 2010
- ASQT 2011
- OPEN:LAB
- Stellenausschreibung, Ranorex GmbH
- Stellenausschreibung, KapschCarrierCom AG, Graz
- Stellenausschreibungen Cicero Consulting GmbH
- Softnet Austria supports MODELS 2012 in Innsbruck
- Mid-Term Review, Softnet II Forschungsprogramm
- ASQT 2012 - 10. Anwenderkonferenz für Softwarequalität und Test
- Kundeninnovation aus Softnet Projekt Technoweb 2.0
- Softnet Automation Konferenz, 24. April, TU-Graz
- Testing Experience Magazine
- Komplexität in der IT beherrschen. Maßnahmen für Lean IT erfolgreich umsetzen
- Next-Generation Fuzzing: Intelligent Technique for Automated Security Testing
- Die Zeit ist reif für semantische Technologien
- Certified Agile Tester Roadshow - Graz
- Masterarbeit: Key Performance Indikatoren für Bug Management
- Masterarbeit: Analyse und Optimierung eines innovativen Social Media Portals
- Projekte
- Förderung
- Partner
- Kategorien:
- Partner:
- Kapsch CarrierCom AG
- Mobilkom AG
- Saillabs GmbH
- UMA GmbH
- Cicero Consulting GmbH
- AVL List GmbH
- E-Novation GmbH
- Technische Universität Wien, Institute for Information Systems, Database and Artificial Intelligence
- University of Vienna, Department of Distributed and Multimedia Systems
- University of Innsbruck, Institute for Informatics, Quality Engineering
- Ferk Systems
- Nimblo
- Universität Klagenfurt
- Medizinische Universität Graz
- Armin Beer Testconsulting
- Software Competence Center Hagenberg (SCCH)
- Institute for Information Systems, Technische Universität Wien (DBAI)
- Institute for Software Technology, Technische Universität Graz (IST)
- Center of Usability Engineering and Research (CURE)
- Institute for Computer Science, Quality Engineering (QE)
- Ranorex GmbH
- Siemens AG Österreich
- Kapsch TrafficCom (KTC)
- Kämmerer GmbH
- Ximes GmbH
- Arctis Softwaretechnologie GmbH
- Cirquent GmbH
- Steirische Wirtschaftsförderungsgesellschaft mbH (SFG)
- Land Steiermark Wirtschaftsressort
- Land Steiermark Abteilung 3
- Land Steiermark Abteilung 14
- Wirtschaftsagentur Wien (ZIT)
- Bundesministerium für Wirtschaft, Familie und Jugend (bmwfj)
- Downloads
- Über uns
