A5000853046- Advanced Software Engineering Methodologies
- Software Engineering Techniques and Practices
- Service-Oriented Architecture and Web Services
- Business Process Modeling and Analysis
- Software Engineering Research
- Model-Driven Software Engineering Techniques
- Information and Cyber Security
- Semantic Web and Ontologies
- Software System Performance and Reliability
- Information Technology Governance and Strategy
- Logic, Reasoning, and Knowledge
- Formal Methods in Verification
- Software Reliability and Analysis Research
- Open Source Software Innovations
- Information Systems Theories and Implementation
- Access Control and Trust
- Advanced Database Systems and Queries
- Network Security and Intrusion Detection
- Logic, programming, and type systems
- Big Data and Business Intelligence
- Usability and User Interface Design
- Outsourcing and Supply Chain Management
- Advanced Malware Detection Techniques
- Multi-Agent Systems and Negotiation
- ERP Systems Implementation and Impact
University of Twente
2015-2024
Design Science (United Kingdom)
2022
University of Castilla-La Mancha
2022
University of Trento
2013
University of Duisburg-Essen
2013
Trent University
2013
Eindhoven University of Technology
2013
Technische Universität Braunschweig
2010
Vrije Universiteit Amsterdam
1989-2001
University of Amsterdam
1991-1996
Design science emphasizes the connection between knowledge and practice by showing that we can produce scientific designing useful things. However, without further guidelines, aspiring design researchers tend to identify practical problems with questions, which may lead methodologically unsound research designs. To solve a problem, real world is changed suit human purposes, but acquire about necessarily changing it. In science, these two kinds of are mutually nested, this nesting should not...
Requirements Engineering (RE) has established itself as a software engineering discipline during the past decades. While researchers have been investigating RE with plethora of empirical studies, attempts to systematically derive an empirically-based theory in context just recently started. However, such is needed if we are define and motivate guidance performing high quality research practice. We aim at providing valid foundation for RE, which helps engineers establish effective efficient...
This paper describes an empirical mapping study, which was designed to identify what aspects of software requirement specifications (SRS) are empirically evaluated, in context, and by using research method. On the basis 46 identified categorized primary studies, we found that understandability is most commonly evaluated aspect SRS, experiments used method, academic environment where evaluation takes place.
We describe a tool that supports verification of workflow models specified in UML activity graphs. The translates an graph into input format for model checker according to semantics we published earlier. With the arbitrary propositional requirements can be checked against model. If requirement fails hold error trace is returned by checker. automatically such high-lighting corresponding path graph. One problems dealt with checkers require finite state space whereas general have infinite...
In this article, we argue that object‐oriented models must be able to represent three kinds of taxonomic structures: static classes, dynamic and role behave differently with respect object migration. If CAR is a subclass VEHICLE , then vehicle not car can never migrate the subclass. On other hand, if EMP Ioyee PERSON class, an employee may EMP. both cases, instance identical superclass. By contrast, modeled as class every differs from person, but acquire one or more instances roles. The...