Adaptability Learning ability Significant efforts still have to be undertaken in system and application software development to provide simplicity of installation and ease of use for problem-solving graphic application systems. Especially in smaller corporations and in branch offices where trained personnel with programming skills are at a premium, the decision to introduce graphic applications...

This paper presents the implementation and use of properties of symmetry groups in plane for graphic design with Java software. The project has both the pedagogical property of demonstrating the features of symmetry groups over the web, and it can be used as a useful generative tool for graphic designers and architects. The software enables the user to input drawing elements as generic objects,...

In this paper I report on my experience on developing two SMT-based software model checking techniques and show—through comparison with rival state-of-the-art software model checkers—that SMT solvers are key to the effectiveness and scalability of software model checking.

Scholarly peer review is both central to scientific progress and deeply flawed. Peer review is prejudiced, capricious, inefficient, ineffective, and generally unscientific. Management journals have longer review cycles than journals in other fields. Long cycle times demonstrably harm early-career researchers. Meanwhile, a lack of transparency conceals and facilitates editorial misconduct, and s...

vi oriented peer-to-peer architecture (DEEVOLVE) is conceptualized that serves as the default implementation of that style. Here, the notions described above are materialized based on state-of-the-art software engineering methods and models. Finally, the third contribution of this work outlines an application scenario stemming from the area of construction informatics, in which the default impl...

Abstract We take digitalization of laboratory work practice as a challenging design domain to explore. There are obvious drawbacks with the use of paper instead of ICT in the collaborative writing that takes place in laboratory notebooks; yet paper persist in being the most common solution. The ultimate aim with our study is to produce design relevant knowledge that can envisage an ICT solution...