10,991 research outputs found
Checking of models built using a graphically based formal modelling language
No full textRDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete systems. Aside from the benefits which accrue as a side effect of building a formal model of a proposed system, these diagrammatic models can be useful as a means of communication between the development team and the users. However one of the greatest benefits of a formal model is that it can be subjected to rigorous examination to ensure that it satisfies properties required of the system. This paper describes the RDT language and a transformation from RDT into Promela code (the input language of the SPIN model-checker) which can be performed automatically and illustrates the use of the technique with an example
Women Leaders Affinity Group: Dr. Charlene Walters
No full textDate: March 25, 2021
Guest: Dr. Charlene Walters, entrepreneurship coach, business and branding mentor and author
The Women Leaders Affinity Group, hosted by Dr. Amanda Main and Dr. Ellen Ramsey from the College of Business and Management, presented a Zoom event with Dr. Charlene Walters, who spoke about the realities of being an entrepreneur and the keys to success. Walters is an entrepreneurship coach, business and branding mentor and author of Launch Your Inner Entrepreneur.https://spiral.lynn.edu/bus_women-leaders/1001/thumbnail.jp
Portrait of Margo Walters.
No full textPhoto of skier Portrait of Margo Walters, probably in the 1960
A renaissance city hall
No full textCitation: Walters, Dan. A renaissance city hall. Senior thesis, Kansas State Agricultural College, 1908.Introduction: Specifications for the erection and completion of a new City Hall for the city of [blank], [blank], after the drawings made for the same by Dan Walters, Student in the Architecture Course, Class of 1908, of the Kansas State Agricultural college, at Manhattan, Kansas, June 1, 1908
Recommended from our members
Crime is in the air - air pollution and regulation in the UK
No full textThis latest briefing by Professor Reece Walters in the What is crime? series, draws attention to an area of harm that is often absent from criminological debate. He highlights the human costs of air pollution and failed attempts to adequately regulate and control such harm. Arguing for a cross disciplinary ‘eco-crime’ narrative, the author calls for greater understanding of the far-reaching consequences of air pollution which could set in train changes which may lead to a ‘more robust and meaningful system of justice’. Describing current arrangements in place to control and regulate air pollution, Walters draws attention to the lack of neutrality in current arrangements and the bias ‘towards the economic imperatives of free trade over and above the centrality of environmental protection’. While attention is often given to direct and individualised instances of ‘crime’, the serious consequences of air pollution are frequently neglected. The negative effects of pollution on health and well-being are often borne by people already experiencing a range of other disadvantages. In a global and national context, it is often the poor who are affected most. Ultimately, political and economic imperatives have historically helped to shape legal and regulatory regimes. Whether this is an inherent flaw in current systems or something that can be overcome in favour of dealing with more wide-ranging harms is an area that requires further discussion and debate
Equipping Believers to Become Personal Evangelists at First Baptist Church, Prestonsburg, Kentucky
No full textABSTRACT
EQUIPPING BELIEVERS TO BECOME PERSONAL EVANGELISTS
AT FIRST BAPTIST CHURCH, PRESTONSBURG, KENTUCKY
Jerry Clinton Workman, D.Min.
The Southern Baptist Theological Seminary, 2013
Faculty Supervisor: Dr. Jeff K. Walters
This project equips groups of believers at First Baptist Church, Prestonsburg, Kentucky, to evangelize confidently on a personal level. Chapter 1 describes the ministry context of First Baptist Church. Chapter 2 presents the biblical and theological basis for equipping believers to become personal evangelists. This presentation uses Old and New Testament Scripture passages. Chapter 3 considers the theoretical and practical issues of personal evangelism. This task is accomplished by summarizing, evaluating, and comparing five well-known methods designed to equip believers to become personal evangelists. Chapter 4 details the elements of implementing the ministry project. Chapter 5 evaluates and analyzes the results of the project
Functional Materials in Solid State Physics
No full textA collective monograph of journal papers, written by many authors; edited by M. Szota, M. Nabiałek, K. Błoch, M. Dospiał. Reviewed by: S. D. Walters, R. Szczęśniak
A Graphically based language for constructing, executing and analysing models of software systems.
No full textWith computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing. Consequently, it is more important than ever that the developers understand how their systems behave if problems are to be avoided. However, acquiring this understanding is a problem: the systems are sufficiently complex that developers need help to analyse and understand them and, at the time this analysis is most crucial, the system is unavailable because it has yet to be built. We already have maturing technologies which address issues associated with the interconnection of software components at the procedural level, but they do not address issues related to the behaviour of these compound systems. Formal, executable models can help here by providing developers with a platform on which to establish the feasibility of a proposed design for a system. However, commercial developers seem reluctant to employ this type of modelling in their design activity. This report describes a new modelling tool in which the traditional model generation technique of writing “programming language like” code is replaced with a model generation tool which uses a graphical representation of models. Despite appearing informal, the system retains sufficient formality to permit the models to be executed using the tool, or converted into code for analysis by a traditional model checking tool
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
No full textRDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete systems. Aside from the benefits which accrue as a side effect of building a formal model of a proposed system, these diagrammatic models can be useful as a means of communication between the development team and the users. However one of the greatest benefits of a formal model is that it can be subjected to rigorous examination to ensure that it satisfies properties required of the system. This paper describes the transformation used by the RDT toolset to generate Promela code (the input language of the SPIN model?checker) automatically from a model
- …
