Patterns for B: Bridging formal and informal development

被引：0

作者：

Chan, Edward ^{[1
]}

Robinson, Ken ^{[1
]}

Welch, Brett ^{[1
]}

机构：

[1] Univ New South Wales, Sch Engn & Comp Sci, Sydney, NSW 2052, Australia

来源：

B 2007: FORMAL SPECIFICATION AND DEVELOPMENT IN B, PROCEEDINGS | 2007年 / 4355卷

关键词：

B Method; design patterns; formal development; classes; objects;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Patterns capture the shape of particular specifications, providing starting points for developers. The most well known design patterns in software are those of the Gang of Four (GoF), Gamma, Helm, Johnson & Vlissides[4], who have provided a set of patterns for Object-Oriented development. Starting with these patterns as a motivation, this paper discusses various issues concerning the concept of patterns for the B Method (B) and explores a number of patterns that could be used with B. The paper presents a number of case studies to illustrate use of the patterns, and discusses future exploration of design patterns for B. A motivation for the development of patterns for B is to enable reuse and also to make B more accessible to developers from the more informal side of software development.

引用

页码：125 / +

页数：2

共 50 条

[21] Teaching Associates: Bridging Informal and Formal Mechanisms of Support for Graduate Student Instructors
Jungels, Amanda M.
Brown, Marni A.
Stombler, Mindy
Yasumoto, Saori
TEACHING SOCIOLOGY, 2014, 42 (03) : 220 - 230
[22] Formal and Informal Learning Bridging the Gap via Mobile App Technology (MAT)
Khaddage, Ferial
Knezek, Gerald
Baker, Rowland
2012 15TH INTERNATIONAL CONFERENCE ON INTERACTIVE COLLABORATIVE LEARNING (ICL), 2012,
[23] Bridging Informal Reasoning and Formal Proving: The Role of Argumentation in Proof-Events
Almpani, Sofia
Stefaneas, Petros
FOUNDATIONS OF SCIENCE, 2025, 30 (01) : 201 - 225
[24] Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation
Golra, Fahad Rafique
Dagnat, Fabien
Souquieres, Jeanine
Sayar, Imen
Guerin, Sylvain
SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2018, 2018, 10886 : 54 - 69
[25] Patterns of informal and formal support among a sample of HCBS clients
Hawes, C
Phillips, C
Kimbell, A
Dyer, J
Halperin, L
Voloudakis, M
Janousek, V
GERONTOLOGIST, 2005, 45 : 590 - 590
[26] PATTERNS OF INFORMAL AND FORMAL CARE OF OLDER PEOPLE LIVING AT HOME
Sigurdardottir, S. H.
Kareholt, I.
GERONTOLOGIST, 2013, 53 : 346 - 346
[27] Patterns of Participation in the Formal and Informal Economies in the Commonwealth of Independent States
Abbott, Pamela
Wallace, Claire
INTERNATIONAL JOURNAL OF SOCIOLOGY, 2009, 39 (02) : 12 - 38
[28] Informal versus formal knowledge: IT development in health care
Bertelsen, P
HEALTH DATA IN THE INFORMATION SOCIETY, 2002, 90 : 606 - 610
[29] The Impact of Formal and Informal Institutions on Innovative Economic Development
Volchik, Vyacheslav V.
Maslyukova, Elena, V
ECONOMIC AND SOCIAL CHANGES-FACTS TRENDS FORECAST, 2022, 15 (05) : 77 - 94
[30] Bridging or Deepening the Digital Divide: Influence of Household Internet Access on Formal and Informal Volunteering
Piatak, Jaclyn
Dietz, Nathan
McKeever, Brice
NONPROFIT AND VOLUNTARY SECTOR QUARTERLY, 2019, 48 : 123S - 150S

← 1 2 3 4 5 →