scholarly journals Spectra: a specification language for reactive systems

2021 ◽  
Author(s):  
Shahar Maoz ◽  
Jan Oliver Ringert
Keyword(s):  
Reactive Systems ◽  
Specification Language ◽  
Lessons Learned ◽  
Science Students ◽  
Future Studies ◽  
Reactive Synthesis ◽  
Quality Specifications ◽  
Software Engineers ◽  
Tool Set ◽  
Potential Use

AbstractWe introduce Spectra, a new specification language for reactive systems, specifically tailored for the context of reactive synthesis. The meaning of Spectra is defined by a translation to a kernel language. Spectra comes with the Spectra Tools, a set of analyses, including a synthesizer to obtain a correct-by-construction implementation, several means for executing the resulting controller, and additional analyses aimed at helping engineers write higher-quality specifications. We present the language in detail and give an overview of its tool set. Together with the language and its tool set, we present four collections of many, non-trivial, large specifications, written by undergraduate computer science students for the development of autonomous Lego robots and additional example reactive systems. The collected specifications can serve as benchmarks for future studies on reactive synthesis. We present the specifications, with observations and lessons learned about the potential use of reactive synthesis by software engineers.

VISUALIZATION IN SIMULATION TOOLS: REQUIREMENTS AND A TOOL SPECIFICATION TO SUPPORT THE TEACHING OF DYNAMIC BIOLOGICAL PROCESSES

2011 ◽  
Vol 09 (04) ◽  
pp. 579-595 ◽  
Author(s):  
KATARINA M. JØRGENSEN ◽  
PAULINE C. HADDOW
Keyword(s):  
Signal Transduction ◽  
Biological Science ◽  
Simulation Tool ◽  
Science Students ◽  
Simulation Tools ◽  
Cell Signal ◽  
Cell Signal Transduction ◽  
Tool Set ◽  
Biological Simulation ◽  
Potential Use

Simulation tools are playing an increasingly important role behind advances in the field of systems biology. However, the current generation of biological science students has either little or no experience with such tools. As such, this educational glitch is limiting both the potential use of such tools as well as the potential for tighter cooperation between the designers and users. Although some simulation tool producers encourage their use in teaching, little attempt has hitherto been made to analyze and discuss their suitability as an educational tool for noncomputing science students. In general, today's simulation tools assume that the user has a stronger mathematical and computing background than that which is found in most biological science curricula, thus making the introduction of such tools a considerable pedagogical challenge. This paper provides an evaluation of the pedagogical attributes of existing simulation tools for cell signal transduction based on Cognitive Load theory. Further, design recommendations for an improved educational simulation tool are provided. The study is based on simulation tools for cell signal transduction. However, the discussions are relevant to a broader biological simulation tool set.

Learning Software Engineering with Global Teams

2014 ◽  
Vol 4 (1) ◽  
pp. 51-61
Author(s):  
Markus Ende ◽  
Ralf Lämmermann ◽  
Patricia Brockmann ◽  
Jesús-Manuel Olivares-Ceja
Keyword(s):  
Software Engineering ◽  
Team Teaching ◽  
Lessons Learned ◽  
Global Teams ◽  
Science Students ◽  
Software Projects ◽  
Intercultural Skills ◽  
Team Project ◽  
Learning Software ◽  
Global Software Engineering

Global software engineering requires the coordination of team participants around the world, mainly in large software projects. How can computer science students learn the organizational and intercultural skills required to guide and participate in global distributed projects? To answer this question, this paper analyzes international virtual team teaching with the use of software engineering. Experiences and lessons learned are presented based on the results of a joint Mongolian-German team project. The obtained results with the Mongolian team encourage the project to include students and researchers from the National Polytechnic Institute in Mexico.

scholarly journals Lessons learned in the use of clinical registry data in a multi-centre prospective study: the Pediatric Heart Network Residual Lesion Score Study

2019 ◽  
Vol 29 (7) ◽  
pp. 930-938 ◽  
Author(s):  
Carol J. Prospero ◽  
Felicia L. Trachtenberg ◽  
Victoria L. Pemberton ◽  
Sara K. Pasquali ◽  
Brett R. Anderson ◽  
...  
Keyword(s):  
Heart Surgery ◽  
Data Extraction ◽  
Lessons Learned ◽  
Registry Data ◽  
Lesion Score ◽  
Clinical Registry ◽  
Score Study ◽  
Future Studies ◽  
Center Staff ◽  
Residual Lesion

AbstractBackground:Using existing data from clinical registries to support clinical trials and other prospective studies has the potential to improve research efficiency. However, little has been reported about staff experiences and lessons learned from implementation of this method in pediatric cardiology.Objectives:We describe the process of using existing registry data in the Pediatric Heart Network Residual Lesion Score Study, report stakeholders’ perspectives, and provide recommendations to guide future studies using this methodology.Methods:The Residual Lesion Score Study, a 17-site prospective, observational study, piloted the use of existing local surgical registry data (collected for submission to the Society of Thoracic Surgeons-Congenital Heart Surgery Database) to supplement manual data collection. A survey regarding processes and perceptions was administered to study site and data coordinating center staff.Results:Survey response rate was 98% (54/55). Overall, 57% perceived that using registry data saved research staff time in the current study, and 74% perceived that it would save time in future studies; 55% noted significant upfront time in developing a methodology for extracting registry data. Survey recommendations included simplifying data extraction processes and tailoring to the needs of the study, understanding registry characteristics to maximise data quality and security, and involving all stakeholders in design and implementation processes.Conclusions:Use of existing registry data was perceived to save time and promote efficiency. Consideration must be given to the upfront investment of time and resources needed. Ongoing efforts focussed on automating and centralising data management may aid in further optimising this methodology for future studies.

scholarly journals Importance of feasibility assessments before implementing non‐interventional pharmacoepidemiologic studies of vaccines: lessons learned and recommendations for future studies

2016 ◽  
Vol 25 (12) ◽  
pp. 1397-1406 ◽  
Author(s):  
Corinne Willame ◽  
Laurence Baril ◽  
Judith Bosch ◽  
Germano L. C. Ferreira ◽  
Rachael Williams ◽  
...  
Keyword(s):  
Lessons Learned ◽  
Future Studies

scholarly journals Insight into skin cell-based osteogenesis: a review

F1000Research ◽  
2017 ◽  
Vol 6 ◽  
pp. 291
Author(s):  
Tingliang Wang ◽  
Lian Zhu ◽  
Ming Pei
Keyword(s):  
Stem Cells ◽  
The Body ◽  
Easy Access ◽  
Future Studies ◽  
Skin Cell ◽  
Potential Source ◽  
Ample Supply ◽  
New Ideas ◽  
Potential Use ◽  
Insight Into

For decades, researchers have been fascinated by the strategy of using cell therapy for bone defects; some progress in the field has been made. Owing to its ample supply and easy access, skin, the largest organ in the body, has gained attention as a potential source of stem cells. Despite extensive applications in skin and nerve regeneration, an increasing number of reports indicate its potential use in bone tissue engineering and regeneration. Unfortunately, few review articles are available to outline current research efforts in skin-based osteogenesis. This review first summarizes the latest findings on stem cells or progenitors in skin and their niches and then discusses the strategies of skin cell-based osteogenesis. We hope this article elucidates this topic and generates new ideas for future studies.

Retooling to Advance Scientifically Rigorous and Relevant School-based Educational Research During the COVID-19 Pandemic

2020 ◽  
Author(s):  
Kathleen Lane ◽  
Sonia Cabell ◽  
Sally Drew
Keyword(s):  
Educational Research ◽  
Lessons Learned ◽  
Interpersonal Contact ◽  
Future Studies ◽  
Time Points ◽  
School Based ◽  
Lost Time

We offer suggestions to guide productive scholars involved in school-based research in moving forward with respectful, responsible inquiry during the COVID-19 pandemic. We focus on (a) revisiting and refining programmatic lines of inquiry, (b) crafting articles to disseminate lessons learned from research conducted to date – including those with lost time points, (c) retooling in a focused area of inquiry (e.g., methodology), (d) conceptualizing future studies featuring procedures that do – and do not – allow for interpersonal contact, and (e) appreciating and acknowledging individuals who have facilitated respectful, responsibility inquiry.

Business Continuity Management: A Preliminary Systematic Literature Review Based on ScienceDirect Database

2020 ◽  
Vol 15 (5) ◽  
pp. 546-555
Author(s):  
Kananut Charoenthammachoke ◽  
Natt Leelawat ◽  
Jing Tang ◽  
Akira Kodaka ◽  
◽  
...  
Keyword(s):  
Literature Review ◽  
Systematic Literature Review ◽  
Lessons Learned ◽  
Business Continuity ◽  
It Security ◽  
Future Studies ◽  
Business Continuity Management ◽  
The Face ◽  
The Subject ◽  
The Relationship

Business Continuity Management (BCM) is commonly known as one of the most effective programs to use in the face of crisis, incident, and disaster, specifically for organizations to continue or resume their operations. Over time, the concept has gained popularity and has developed into one of the strategies in a resilience plan. The purpose of this study is to explore the trend of BCM, the subject, and the relationship between BCM and associated study fields through a preliminary systematic literature review. This research used the articles from ScienceDirect database from January 1, 1999, to December 31, 2018. This study analyzed the collected articles using their publication years, journal titles, countries, and relevant study fields. The result found that several papers have been published since 1999, which focus predominantly on the BCM standard. The rate of publication on BCM had escalated in 2015. There were 82 papers about BCM. The issues were categorized into ten main subjects. Among them, the most frequently mentioned are Information Technology (IT) security, followed by implementing BCM into diverse study disciplines, implementing new toolkits into BCM associated studies, BCM improvement, resilience, lessons learned, supply chain, and BCM advantages. The gap of the research lays a foundation for future studies in similar fields.

Sign in / Sign up

Export Citation Format

Share Document