Software design, specification, and verification: Lessons learned from the Rether case study

1997 ◽  
pp. 185-198 ◽  
Author(s):  
Xiaoqun Du ◽  
Kevin T. McDonnell ◽  
Evangelos Nanos ◽  
Y. S. Ramakrishna ◽  
Scott A. Smolka
Keyword(s):  
Software Design ◽  
Lessons Learned ◽  
Design Specification ◽  
Specification And Verification

scholarly journals A Case Study on Developing a Classroom Web Application Using Behavior-Driven Development

2013 ◽  
Vol 11 (3 and 4) ◽  
Author(s):  
Austin Vance ◽  
Trevor Cickovski
Keyword(s):  
Development Strategy ◽  
Software Design ◽  
Web Application ◽  
Design Methodology ◽  
Lessons Learned ◽  
General Applicability ◽  
Iterative Development ◽  
Wide Range ◽  
Two Sides

Behavior-Driven Development (BDD) is a software design methodology which bridges the developer-client gap by evolving software through communication between the two sides and shaping it to the goals of shareholders. As a recently published iterative development strategy, BDD is slowly being adopted as a software practice in a wide range of domains. We study the applicability of BDD to designing Narwhal, a classroom drawing application that mimics a combination of PowerPoint slides and whiteboard. Through this case study, we employ junior and senior seminar students as clients and view the effects of BDD on Narwhal’s evolution over a three-month period. We conclude with a discussion on the general applicability of BDD to the design of classroom tools following lessons learned from this case study.

scholarly journals Case Study: Design of a Web-Based Service Delivery System

10.28945/2411 ◽  
2001 ◽  
Author(s):  
Min Song ◽  
Il-Yeol Song
Keyword(s):  
Service Delivery ◽  
Delivery System ◽  
Database Design ◽  
Database Systems ◽  
Lessons Learned ◽  
Service Delivery System ◽  
Design Specification ◽  
Web Based ◽  
Speed Up

In this paper, we present a case study on the design of a web-based online service delivery system using IBM's Net.Commerce system as well as the lessons learned in completing this project. The design specification is presented using the UML notation, while database schema is presented using the IDEF1X notation. Our design specification includes architecture, system components using package diagrams, system functions using use case diagrams, their processing logic using activity diagrams, and database design. We present a detailed database design and comment on design and customization considerations specific to e-commerce systems. Our experience shows that e-commerce tools still lack certain functionality such as processing back orders, allowing for customizable returns, and sending email notification to users, but overall can speed up the development of the system. Understanding the structure and transaction processing of e-commerce database systems will help system designers effectively develop and maintain these systems. Readers of this paper will understand and learn a typical design specification of a web-based service delivery system and various technical design issues.

Faculty Development: A Stage Model Matched to Blended Learning Maturation

2011 ◽  
Vol 15 (1) ◽  
Author(s):  
Michael L. Fetters ◽  
Tova Garcia Duby
Keyword(s):  
Faculty Development ◽  
Blended Learning ◽  
Lessons Learned ◽  
Technology Enhanced Learning ◽  
Stage Model ◽  
Years Of Experience ◽  
Development Programs ◽  
Curriculum Innovation ◽  
Enhanced Learning

Faculty development programs are critical to the implementation and support of curriculum innovation. In this case study, the authors present lessons learned from ten years of experience in faculty development programs created to support innovation in technology enhanced learning. Stages of curriculum innovation are matched to stages of faculty development, and important lessons for success as well as current challenges are delineated and discussed.

Radical Subject Acceleration for Gifted Students: One School's Response

2019 ◽  
pp. 29-46
Author(s):  
Kaye Chalwell ◽  
Therese Cumming
Keyword(s):  
Gifted And Talented ◽  
Gifted Students ◽  
Subject Area ◽  
Lessons Learned ◽  
Gifted Student ◽  
Learning Needs ◽  
Mathematically Gifted ◽  
Support Students ◽  
Insight Into

Radical subject acceleration, or moving students through a subject area faster than is typical, including skipping grades, is a widely accepted approach to support students who are gifted and talented. This is done in order to match the student’s cognitive level and learning needs. This case study explored radical subject acceleration for gifted students by focusing on one school’s response to the learning needs of a ten year old mathematically gifted student. It provides insight into the challenges, accommodations and approach to radical subject acceleration in an Australian school. It explored the processes and decisions made to ensure that a gifted student’s learning needs were met and identified salient issues for radical subject acceleration. Lessons learned from this case study may be helpful for schools considering radical acceleration.

Paper2Wire – A Case Study of User-Centred Development of Machine Learning Tools for UX Designers

i-com ◽  
2021 ◽  
Vol 20 (1) ◽  
pp. 19-32
Author(s):  
Daniel Buschek ◽  
Charlotte Anlauff ◽  
Florian Lachner
Keyword(s):  
Machine Learning ◽  
Development Process ◽  
User Study ◽  
Concept Development ◽  
Lessons Learned ◽  
Design Tool ◽  
Learning Tools ◽  
Interface Elements ◽  
Industry Partner

Abstract This paper reflects on a case study of a user-centred concept development process for a Machine Learning (ML) based design tool, conducted at an industry partner. The resulting concept uses ML to match graphical user interface elements in sketches on paper to their digital counterparts to create consistent wireframes. A user study (N=20) with a working prototype shows that this concept is preferred by designers, compared to the previous manual procedure. Reflecting on our process and findings we discuss lessons learned for developing ML tools that respect practitioners’ needs and practices.

scholarly journals Trusting the Corona-Warn-App? Contemplations on trust and trustworthiness at the intersection of technology, politics and public debate

2021 ◽  
pp. 026732312110283
Author(s):  
Judith Simon ◽  
Gernot Rieder
Keyword(s):  
Technology Development ◽  
Public Debate ◽  
Lessons Learned ◽  
Initial Development ◽  
The Public ◽  
Public Debates ◽  
Moral Duties ◽  
Moral Demands

Ever since the outbreak of the COVID-19 pandemic, questions of whom or what to trust have become paramount. This article examines the public debates surrounding the initial development of the German Corona-Warn-App in 2020 as a case study to analyse such questions at the intersection of trust and trustworthiness in technology development, design and oversight. Providing some insights into the nature and dynamics of trust and trustworthiness, we argue that (a) trust is only desirable and justified if placed well, that is, if directed at those being trustworthy; that (b) trust and trustworthiness come in degrees and have both epistemic and moral components; and that (c) such a normatively demanding understanding of trust excludes technologies as proper objects of trust and requires that trust is directed at socio-technical assemblages consisting of both humans and artefacts. We conclude with some lessons learned from our case study, highlighting the epistemic and moral demands for trustworthy technology development as well as for public debates about such technologies, which ultimately requires attributing epistemic and moral duties to all actors involved.

scholarly journals Better state pictures facilitating state machine characteristic conjecture

2021 ◽  
Author(s):  
Dang Duy Bui ◽  
Kazuhiro Ogata
Keyword(s):  
Virtual Machines ◽  
Mutual Exclusion ◽  
State Machine ◽  
Formal Proof ◽  
The State ◽  
Lessons Learned ◽  
Java Virtual Machines ◽  
Core Part ◽  
Proximity Principle

AbstractThe mutual exclusion protocol invented by Mellor-Crummey and Scott (called MCS protocol) is used to exemplify that state picture designs based on which the state machine graphical animation (SMGA) tool produces graphical animations should be better visualized. Variants of MCS protocol have been used in Java virtual machines and therefore the 2006 Edsger W. Dijkstra Prize in Distributed Computing went to their paper on MCS protocol. The new state picture design of a state machine formalizing MCS protocol is assessed based on Gestalt principles, more specifically proximity principle and similarity principle. We report on a core part of a formal verification case study in which the new state picture design and the SMGA tool largely contributed to the successful completion of the formal proof that MCS protocol enjoys the mutual exclusion property. The lessons learned acquired through our experiments are summarized as two groups of tips. The first group is some new tips on how to make state picture designs. The second one is some tips on how to conjecture state machine characteristics by using the SMGA tool. We also report on one more case study in which the state picture design has been made for the mutual exclusion protocol invented by Anderson (called Anderson protocol) and some characteristics of the protocol have been discovered based on the tips.

Sign in / Sign up

Export Citation Format

Share Document