Matches in SemOpenAlex for { <https://semopenalex.org/work/W48767531> ?p ?o ?g. }
- W48767531 abstract "Event-B [19] is a language for the formal specification and verification of reactive systems. The language and its RODIN toolkit represent a leading model-based technology for formal software construction. However, scalability is a major current concern, especially the dimension of reusability. We outline a proposed infrastructure for scalable development with reuse for Event-B. We focus specifically on our agenda for reuse in Software Product Lines, and explain how a form of feature modelling will be central to this programme." @default.
- W48767531 created "2016-06-24" @default.
- W48767531 creator A5002934401 @default.
- W48767531 creator A5018101915 @default.
- W48767531 creator A5047281408 @default.
- W48767531 creator A5054951840 @default.
- W48767531 creator A5089571297 @default.
- W48767531 date "2008-01-01" @default.
- W48767531 modified "2023-09-25" @default.
- W48767531 title "Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering" @default.
- W48767531 cites W117002097 @default.
- W48767531 cites W119234542 @default.
- W48767531 cites W146458024 @default.
- W48767531 cites W1487664366 @default.
- W48767531 cites W1492136318 @default.
- W48767531 cites W1494019345 @default.
- W48767531 cites W1494435424 @default.
- W48767531 cites W1495226832 @default.
- W48767531 cites W1495466313 @default.
- W48767531 cites W1500250067 @default.
- W48767531 cites W1501652040 @default.
- W48767531 cites W1508660681 @default.
- W48767531 cites W1515762464 @default.
- W48767531 cites W1516491653 @default.
- W48767531 cites W1529310839 @default.
- W48767531 cites W1531976500 @default.
- W48767531 cites W1545553300 @default.
- W48767531 cites W1551592336 @default.
- W48767531 cites W1559870885 @default.
- W48767531 cites W1560222722 @default.
- W48767531 cites W1563841124 @default.
- W48767531 cites W1569094101 @default.
- W48767531 cites W1591471358 @default.
- W48767531 cites W1592740644 @default.
- W48767531 cites W159649949 @default.
- W48767531 cites W1605891877 @default.
- W48767531 cites W1608143967 @default.
- W48767531 cites W1610570299 @default.
- W48767531 cites W1645937837 @default.
- W48767531 cites W1700871382 @default.
- W48767531 cites W1754816785 @default.
- W48767531 cites W1782085801 @default.
- W48767531 cites W1784263511 @default.
- W48767531 cites W1784687733 @default.
- W48767531 cites W178670310 @default.
- W48767531 cites W1798085331 @default.
- W48767531 cites W1800478330 @default.
- W48767531 cites W181889483 @default.
- W48767531 cites W1819146036 @default.
- W48767531 cites W1827647151 @default.
- W48767531 cites W185182753 @default.
- W48767531 cites W1965084634 @default.
- W48767531 cites W1967180522 @default.
- W48767531 cites W1972087475 @default.
- W48767531 cites W1972106757 @default.
- W48767531 cites W1972612110 @default.
- W48767531 cites W1972626867 @default.
- W48767531 cites W1976218147 @default.
- W48767531 cites W1984544455 @default.
- W48767531 cites W1985610876 @default.
- W48767531 cites W1987824108 @default.
- W48767531 cites W1991319391 @default.
- W48767531 cites W1991604845 @default.
- W48767531 cites W2008245080 @default.
- W48767531 cites W2015554455 @default.
- W48767531 cites W2018538061 @default.
- W48767531 cites W2023546887 @default.
- W48767531 cites W2029414465 @default.
- W48767531 cites W2032863222 @default.
- W48767531 cites W2032947511 @default.
- W48767531 cites W2033348393 @default.
- W48767531 cites W2044987604 @default.
- W48767531 cites W2045273776 @default.
- W48767531 cites W2045741368 @default.
- W48767531 cites W2047193350 @default.
- W48767531 cites W2051502228 @default.
- W48767531 cites W2056553417 @default.
- W48767531 cites W2059246385 @default.
- W48767531 cites W2060440626 @default.
- W48767531 cites W2063106869 @default.
- W48767531 cites W2065646798 @default.
- W48767531 cites W2066091214 @default.
- W48767531 cites W2066172891 @default.
- W48767531 cites W2071631718 @default.
- W48767531 cites W2072025944 @default.
- W48767531 cites W2090403712 @default.
- W48767531 cites W2094282293 @default.
- W48767531 cites W2099213660 @default.
- W48767531 cites W2099592945 @default.
- W48767531 cites W2099837731 @default.
- W48767531 cites W2112000202 @default.
- W48767531 cites W2112847033 @default.
- W48767531 cites W2113201637 @default.
- W48767531 cites W2114206039 @default.
- W48767531 cites W2117153488 @default.
- W48767531 cites W2117250068 @default.
- W48767531 cites W2117352154 @default.
- W48767531 cites W2118300983 @default.
- W48767531 cites W2118350245 @default.
- W48767531 cites W2118670627 @default.