FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1644296985> ?p ?o ?g. }

• W1644296985 endingPage "76" @default.
• W1644296985 startingPage "65" @default.
• W1644296985 abstract "The aim of this paper is to merge two approaches of software development: the component approach and the formal development approach. Developing software components is now a technique widely used by the software industry. These two approaches are not so distant if we consider Bertrand Meyer's opinion: it is more complicated to reuse a component without contracts. One of the difficulties with the design by contract approach is to find the contracts. This difficulty can be removed by the use of the B method. In the B method, the software properties (the contracts) are expressed in the specifications. We present in this paper an approach to generate code in the spirit of the component approach from B specifications." @default.
• W1644296985 created "2016-06-24" @default.
• W1644296985 creator A5003352943 @default.
• W1644296985 creator A5004257003 @default.
• W1644296985 creator A5027739339 @default.
• W1644296985 date "2004-01-01" @default.
• W1644296985 modified "2023-09-26" @default.
• W1644296985 title "The B Method And The Component-Based Approach" @default.
• W1644296985 cites W1481248055 @default.
• W1644296985 cites W1555946950 @default.
• W1644296985 cites W1559870885 @default.
• W1644296985 cites W1565279216 @default.
• W1644296985 cites W1579092995 @default.
• W1644296985 cites W1582439588 @default.
• W1644296985 cites W1699340362 @default.
• W1644296985 cites W1965014786 @default.
• W1644296985 cites W1967275183 @default.
• W1644296985 cites W2011606665 @default.
• W1644296985 cites W2077359497 @default.
• W1644296985 cites W2078513650 @default.
• W1644296985 cites W2090496119 @default.
• W1644296985 cites W2107778618 @default.
• W1644296985 cites W2120105875 @default.
• W1644296985 cites W2121759723 @default.
• W1644296985 cites W2146455667 @default.
• W1644296985 cites W2161825580 @default.
• W1644296985 cites W2398039248 @default.
• W1644296985 cites W2967687767 @default.
• W1644296985 cites W44063342 @default.
• W1644296985 cites W67623684 @default.
• W1644296985 cites W8293630 @default.
• W1644296985 hasPublicationYear "2004" @default.
• W1644296985 type Work @default.
• W1644296985 sameAs 1644296985 @default.
• W1644296985 citedByCount "6" @default.
• W1644296985 countsByYear W16442969852012 @default.
• W1644296985 countsByYear W16442969852013 @default.
• W1644296985 crossrefType "journal-article" @default.
• W1644296985 hasAuthorship W1644296985A5003352943 @default.
• W1644296985 hasAuthorship W1644296985A5004257003 @default.
• W1644296985 hasAuthorship W1644296985A5027739339 @default.
• W1644296985 hasConcept C115903868 @default.
• W1644296985 hasConcept C121332964 @default.
• W1644296985 hasConcept C127413603 @default.
• W1644296985 hasConcept C168167062 @default.
• W1644296985 hasConcept C174683762 @default.
• W1644296985 hasConcept C186846655 @default.
• W1644296985 hasConcept C192698709 @default.
• W1644296985 hasConcept C197129107 @default.
• W1644296985 hasConcept C199360897 @default.
• W1644296985 hasConcept C206588197 @default.
• W1644296985 hasConcept C23123220 @default.
• W1644296985 hasConcept C2777904410 @default.
• W1644296985 hasConcept C2778583558 @default.
• W1644296985 hasConcept C41008148 @default.
• W1644296985 hasConcept C529173508 @default.
• W1644296985 hasConcept C548081761 @default.
• W1644296985 hasConcept C75606506 @default.
• W1644296985 hasConcept C80291951 @default.
• W1644296985 hasConcept C97355855 @default.
• W1644296985 hasConceptScore W1644296985C115903868 @default.
• W1644296985 hasConceptScore W1644296985C121332964 @default.
• W1644296985 hasConceptScore W1644296985C127413603 @default.
• W1644296985 hasConceptScore W1644296985C168167062 @default.
• W1644296985 hasConceptScore W1644296985C174683762 @default.
• W1644296985 hasConceptScore W1644296985C186846655 @default.
• W1644296985 hasConceptScore W1644296985C192698709 @default.
• W1644296985 hasConceptScore W1644296985C197129107 @default.
• W1644296985 hasConceptScore W1644296985C199360897 @default.
• W1644296985 hasConceptScore W1644296985C206588197 @default.
• W1644296985 hasConceptScore W1644296985C23123220 @default.
• W1644296985 hasConceptScore W1644296985C2777904410 @default.
• W1644296985 hasConceptScore W1644296985C2778583558 @default.
• W1644296985 hasConceptScore W1644296985C41008148 @default.
• W1644296985 hasConceptScore W1644296985C529173508 @default.
• W1644296985 hasConceptScore W1644296985C548081761 @default.
• W1644296985 hasConceptScore W1644296985C75606506 @default.
• W1644296985 hasConceptScore W1644296985C80291951 @default.
• W1644296985 hasConceptScore W1644296985C97355855 @default.
• W1644296985 hasIssue "1" @default.
• W1644296985 hasLocation W16442969851 @default.
• W1644296985 hasOpenAccess W1644296985 @default.
• W1644296985 hasPrimaryLocation W16442969851 @default.
• W1644296985 hasRelatedWork W1509136016 @default.
• W1644296985 hasRelatedWork W1598042754 @default.
• W1644296985 hasRelatedWork W1975092802 @default.
• W1644296985 hasRelatedWork W1982988814 @default.
• W1644296985 hasRelatedWork W2017752225 @default.
• W1644296985 hasRelatedWork W2029284050 @default.
• W1644296985 hasRelatedWork W2035336560 @default.
• W1644296985 hasRelatedWork W2101607805 @default.
• W1644296985 hasRelatedWork W2103635041 @default.
• W1644296985 hasRelatedWork W2142113922 @default.
• W1644296985 hasRelatedWork W2159674121 @default.
• W1644296985 hasRelatedWork W2184326227 @default.
• W1644296985 hasRelatedWork W2289660991 @default.
• W1644296985 hasRelatedWork W2467006232 @default.
• W1644296985 hasRelatedWork W2523346127 @default.

• next