The IEEE defines software engineering as, "The application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software; that is, the application of engineering to software." As software is the result of software engineering, if software is in crisis then software engineering itself is in crisis. We argue that software engineering is indeed in c...

We show that timed branching bisimilarity as defined by van der Zwaag [14] and Baeten & Middelburg [2] is not an equivalence relation, in case of a dense time domain. We propose an adaptation based on van der Zwaag’s definition, and prove that the resulting timed branching bisimilarity is an equivalence indeed. Furthermore, we prove that in case of a discrete time domain, van der Zwaag’s defini...

This study aims to explore the connection between religious and military spheres in Constantinian propaganda. The extensive use of propaganda notorious public discourse which involves dynamics power during Late Antiquity show how religion played a key role. principle reaches singular meaning case emperor Constantine I. To this extent, paper considers several kinds sources, include legal, litera...

A trope for the mode of individual self-expression analogous regional character(s) American South in William Faulkner’s short story, The Tall Men (1941), rule solus ipse corresponds to state a fallen world fears, anxieties, and uncertainties surmounted betwixt World Wars. Binding characterization with his contemporaneous literary equivalents era, ‘solipsism’ appeared as an existential niche def...

Business mangement simulation plays an increasing role in schooling and post-qualification. In complex simulation games the interrelationships between decisions and results are intransparent. This is one reason for inefficient knowledge acquisition. Another reason is the forward chaining architecture of "classical" simulation games. In this paper we describe a prototype of a business simulation...