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 条

[31] Health Implications of Diverse Visions of Urban Spaces: Bridging the Formal-Informal Divide
Priya, Ritu
Singh, Ranvir
Das, Sayan
FRONTIERS IN PUBLIC HEALTH, 2019, 7
[32] The 3A Interaction Model: Towards Bridging the Gap between Formal and Informal Learning
El Helou, Sandy
Li, Na
Gillet, Denis
THIRD INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTER-HUMAN INTERACTIONS: ACHI 2010, 2010, : 179 - 184
[33] LONGITUDINAL PATTERNS OF FORMAL AND INFORMAL SOCIAL SUPPORT IN AN URBAN ELDERLY POPULATION
KELMAN, HR
SOCIAL SCIENCE & MEDICINE, 1994, 38 (07) : 905 - 914
[34] Patterns in contingencies: The interlocking of formal and informal political institutions in contemporary Argentina
Llamazares, I
SOCIAL FORCES, 2005, 83 (04) : 1671 - 1695
[35] The impact of female caregivers' employment status on patterns of formal and informal eldercare
Doty, P
Jackson, ME
Crown, W
GERONTOLOGIST, 1998, 38 (03): : 331 - 341
[36] Santa Catarina Basketball Coaches: The Development Formal, Informal And Non-Formal Learning
Moletta, Andreia Fernanda
Mendes, Felipe Goedert
Borges, Luciana de Angeloni
Galatti, Larissa Rafaela
E-BALONMANO COM, 2019, 15 (03): : 197 - 206
[37] The role of formal and informal remittances as the determinants of formal and informal financial services
Virak, Khiev
Bilan, Yuriy
EQUILIBRIUM-QUARTERLY JOURNAL OF ECONOMICS AND ECONOMIC POLICY, 2022, 17 (03): : 727 - 746
[38] Organisation, and Information Systems between Formal and Informal Continuum, Balance, Patterns, and Anti-patterns
Baina, Karim
ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, 2013, : 85 - 93
[39] FORMAL AND INFORMAL LEARNING IN MANAGEMENT DEVELOPMENT: CASE STUDY IN HEI
Boeira, Juliana De Souza
Larentis, Fabiano
Da Costa, Luana Folchini
REVISTA GESTAO ORGANIZACIONAL, 2022, 15 (03): : 198 - 215
[40] Movement Choremes: Bridging Cognitive Understanding and Formal Characterizations of Movement Patterns
Klippel, Alexander
TOPICS IN COGNITIVE SCIENCE, 2011, 3 (04) : 722 - 740

← 1 2 3 4 5 →