scholarly journals Opportunities for Simulation in Software Engineering

2021 ◽  
Author(s):  
Breno Bernard Nicolau de França ◽  
Valdemar Vicente Graciano Neto

Simulation has been successfully used in several domains, for research and practical purposes. Systematic approaches for simulation arose and a myriad of simulation models were proposed in the context of Software Engineering over the past decades. Despite the lack of rigor and industrial relevance on many of these, we discuss the existing synergies and consolidated knowledge to foster new opportunities between these areas.

2002 ◽  
Vol 2 (4-5) ◽  
pp. 423-424 ◽  
Author(s):  
MAURICE BRUYNOOGHE ◽  
KUNG-KIU LAU

This special issue marks the tenth anniversary of the LOPSTR workshop. LOPSTR started in 1991 as a workshop on Logic Program Synthesis and Transformation, but later it broadened its scope to logic-based Program Development in general.The motivating force behind LOPSTR has been a belief that declarative paradigms such as logic programming are better suited to program development tasks than traditional non-declarative ones such as the imperative paradigm. Specification, synthesis, transformation or specialisation, analysis, verification and debugging can all be given logical foundations, thus providing a unifying framework for the whole development process.In the past ten years or so, such a theoretical framework has indeed begun to emerge. Even tools have been implemented for analysis, verification and specialisation. However, it is fair to say that so far the focus has largely been on programming-in-the-small. So the future challenge is to apply or extend these techniques to programming-in-the-large, in order to tackle software engineering in the real world.


Author(s):  
Pankaj Kamthan

The movement towards agility is one of the most significant changes in industrial software engineering over the past decade. In the practice of agile methodologies, there are different types of knowledge that is created, communicated, and consumed. For the benefit of the stakeholders involved, there is a pressing need to manage this knowledge, both during development and beyond deployment of a software system. This chapter proposes a framework comprising related conceptual models as means for understanding the use of Wiki for managing knowledge in agile software development. In doing so, Wiki is considered beyond that of a technology or a tool, as a facilitator of knowledge, and placed in a larger context of the Social Web environment. For the sake of practicality, a number of illustrative examples are given, and implications of deploying a Wiki are highlighted.


Anthropology ◽  
2019 ◽  
Author(s):  
Maurizio Forte ◽  
Nevio Danelon

Cyber-archaeology is a branch of archaeological research concerned with the digital simulation of the past. In this context the past is seen as generated by the interaction of multiple scenarios and simulations and by the creation of different digital embodiments. The term also recalls the ecological cybernetics approach, based on the informative modeling of organism-environment relationships. In fact, cyber-archaeology aims to investigate the past through interactions with multimodal simulation models of archaeological data sets in different areas of knowledge (domains). The cognitive-interpretive process is accomplished through an interaction feedback loop in a virtual reality environment, following a nonlinear cognitive path. This process allows for the formation and validation of scientific theories about archaeological contexts and material cultures. Cyber-archaeology assumes that the past cannot be reconstructed but rather simulated. Whereas virtual archaeology is mainly visual, static, and graphically oriented to photorealism, which conveys a peremptory idea of predefined knowledge, cyber-archaeology is not necessarily visual, but rather interactive, dynamically complex, and autopoietic. It focuses on the potentiality and virtuality of the interpretation, as opposed to the actuality of the physical world. It is more appropriate to think in terms of a potential past, a co-evolving subject in the human evolution generated by cyber-interactions between worlds. In the cyber-archaeological perspective, the focus is the simulation, which is the enactive-dynamic behavior of the virtual actor and the digital ecosystem. As a consequence of this, the workflow able to move and migrate data from the fieldwork to a simulation environment can generate different affordances and cybernetic models, each of which can create feedback, which serves as a new map-code for the interpretation. The increasing use of 3D digital technologies in archaeology, in fact, is identifiable in new digital workflows and real time simulations of archaeological data sets. This digital migration of data and models in such diverse domains creates unexpected results and more advanced knowledge. The study of the code is essential for re-analyzing the interpretation process in the light of a cybernetic perspective: the feedback created by different interactors operating in the same environment/ecosystem generates further feedback and not predetermined interconnections.


2006 ◽  
Vol 2 (2) ◽  
pp. 187-203 ◽  
Author(s):  
J. A. Dearing

Abstract. The paper reviews how we can learn from the past about climate-human-environment interactions at the present time, and in the future. It focuses on data sources for environmental change at local/regional and regional/global spatial scales, and shows the scope and limitations of each. It reviews alternative methods for learning from the past, including the increasing use of simulation models. The use of multiple records (observational, palaeoenvironmental, archaeological, documentary) in local case-studies is exemplified in a study from China, where independent records help unravel the complexity of interactions and provide a basis for assessing the resilience and sustainability of the landscape system. Holocene global records for Natural Forcings (e.g. climate and tectonics), Human Society and Ecosystems are reviewed, and the problems of reconstructing global records of processes that are only recorded at local scales examined. Existing regional/global records are used to speculate about the veracity of anthropogenic forcing of global climate, with specific consideration of the Ruddiman theory. The paper concludes that a full understanding of causes of earth system change through (at least) the Holocene can come only through the most rigorous reconstructions of climate, human activities and earth processes, and importantly their interactions, at all locations and at all scales. It follows that we need to promote inter-scale learning: regionalisation and generalisation of existing data would be useful first steps. There is now a need to develop long-term simulation models that can help anticipate complex ecosystem behaviour and environmental processes in the face of global environmental change – and resolving our past is an essential element in that endeavour.


2010 ◽  
Vol 41 (3) ◽  
pp. 216-235
Author(s):  
Timothy Boerst ◽  
Jere Confrey ◽  
Daniel Heck ◽  
Eric Knuth ◽  
Diana V. Lambdin ◽  
...  

The National Council of Teachers of Mathematics (NCTM) is committed to strengthening relations between research and practice and to the development of a coherent knowledge base that is usable in practice. The fifth of NCTM's strategic priorities states, “Bring existing research into the classroom, and identify and encourage research that addresses the needs of classroom practice” (NCTM, 2008). The need to work toward connection and coherence is not unique to the field of mathematics education. Fields such as medicine (e.g., Clancy, 2007), software engineering (e.g., Gorschek, Garre, Larsson, & Wohlin, 2006), and social work (e.g., Hess & Mullen, 1995) routinely attend to these issues. Researchers in many fields strive to find new ways or to engage more effectively through existing means to enhance coherence and connection. In a sense, this is not a goal that can be achieved definitively, but one that requires persistent engagement. In education, the constant flux of variables in the system, such as curriculum, goals for student learning, and school contexts, requires that new connections between research and practice be investigated and that old connections be reexamined. Changes in educational contexts open new territory in need of study and also challenge the coherence of explanations grounded in previous research. In this way, attention of the field to connection and coherence is neither unique to mathematics education nor an effort due solely to inadequacies of research efforts in the past.


2007 ◽  
Vol 10-12 ◽  
pp. 522-527 ◽  
Author(s):  
Pan Guo Qi ◽  
D.C. Cong ◽  
H.J. Jiang ◽  
Jun Wei Han

Flight simulator is a complex man-in-the-loop (MIL) simulation system. With several decades of development, it has already become important tools of aircraft design and development, and necessary means of pilot training. And simulation credibility and reliability of the flight simulator have been considerably improved in comparison with the past. However, the system of flight simulator has become increasingly complex and difficult to be described clearly. This paper presents the concepts of conceptual layer and achieving layer, analyzes the composition and principle of the commercial aircraft flight simulator for pilot training from the two layers, describes the system architecture in detail. According to the system architecture, three aspects are very important to develop the flight simulator, the first is the fidelity of the simulation models, the second is the performance of cueing devices, and the last are the computing capacity of the host computers and the time delay over the communication networks.


Author(s):  
XUDONG HE

Petri nets, a formal model for concurrent and distributed systems, have been widely applied in system modeling and analysis in almost every branch of computer science and many other scientific and engineering disciplines in the past half century. In this comprehensive survey, we review some major developments of Petri nets that have enhanced their modeling capabilities and in particular the methods to incorporate well-known software engineering development paradigms in Petri nets to support general software system modeling.


2014 ◽  
Vol 2014 ◽  
pp. 1-10 ◽  
Author(s):  
Isabel M. del Águila ◽  
José Palma ◽  
Samuel Túnez

We present a review of the historical evolution of software engineering, intertwining it with the history of knowledge engineering because “those who cannot remember the past are condemned to repeat it.” This retrospective represents a further step forward to understanding the current state of both types of engineerings; history has also positive experiences; some of them we would like to remember and to repeat. Two types of engineerings had parallel and divergent evolutions but following a similar pattern. We also define a set of milestones that represent a convergence or divergence of the software development methodologies. These milestones do not appear at the same time in software engineering and knowledge engineering, so lessons learned in one discipline can help in the evolution of the other one.


Sign in / Sign up

Export Citation Format

Share Document