Matches in SemOpenAlex for { <https://semopenalex.org/work/W2095929625> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2095929625 endingPage "166" @default.
- W2095929625 startingPage "155" @default.
- W2095929625 abstract "This paper presents a model-driven software process suitable to develop a set of integrated tools around a formal method. This process exploits concepts and technologies of the Model-driven Engineering (MDE) approach, such as metamodelling and automatic generation of software artifacts from models. We describe the requirements to fulfill and the development steps of this model-driven process. As a proof-of-concept, we apply it to the Finite State Machines and we report our experience in engineering a metamodel-based language and a toolset for the Abstract State Machine formal method. Copyright © 2011 John Wiley & Sons, Ltd." @default.
- W2095929625 created "2016-06-24" @default.
- W2095929625 creator A5021486887 @default.
- W2095929625 creator A5064186815 @default.
- W2095929625 creator A5089822604 @default.
- W2095929625 creator A5008671444 @default.
- W2095929625 date "2011-01-23" @default.
- W2095929625 modified "2023-10-16" @default.
- W2095929625 title "A model-driven process for engineering a toolset for a formal method" @default.
- W2095929625 cites W128286996 @default.
- W2095929625 cites W1501337738 @default.
- W2095929625 cites W1531296731 @default.
- W2095929625 cites W1581430985 @default.
- W2095929625 cites W2005772373 @default.
- W2095929625 cites W2057249668 @default.
- W2095929625 cites W2059857876 @default.
- W2095929625 cites W2142311368 @default.
- W2095929625 cites W4230958226 @default.
- W2095929625 cites W4231499262 @default.
- W2095929625 doi "https://doi.org/10.1002/spe.1019" @default.
- W2095929625 hasPublicationYear "2011" @default.
- W2095929625 type Work @default.
- W2095929625 sameAs 2095929625 @default.
- W2095929625 citedByCount "57" @default.
- W2095929625 countsByYear W20959296252012 @default.
- W2095929625 countsByYear W20959296252013 @default.
- W2095929625 countsByYear W20959296252014 @default.
- W2095929625 countsByYear W20959296252015 @default.
- W2095929625 countsByYear W20959296252016 @default.
- W2095929625 countsByYear W20959296252017 @default.
- W2095929625 countsByYear W20959296252018 @default.
- W2095929625 countsByYear W20959296252019 @default.
- W2095929625 countsByYear W20959296252020 @default.
- W2095929625 countsByYear W20959296252021 @default.
- W2095929625 countsByYear W20959296252022 @default.
- W2095929625 crossrefType "journal-article" @default.
- W2095929625 hasAuthorship W2095929625A5008671444 @default.
- W2095929625 hasAuthorship W2095929625A5021486887 @default.
- W2095929625 hasAuthorship W2095929625A5064186815 @default.
- W2095929625 hasAuthorship W2095929625A5089822604 @default.
- W2095929625 hasConcept C115903868 @default.
- W2095929625 hasConcept C127413603 @default.
- W2095929625 hasConcept C145243422 @default.
- W2095929625 hasConcept C167822520 @default.
- W2095929625 hasConcept C177264268 @default.
- W2095929625 hasConcept C199360897 @default.
- W2095929625 hasConcept C201995342 @default.
- W2095929625 hasConcept C2777904410 @default.
- W2095929625 hasConcept C41008148 @default.
- W2095929625 hasConcept C509989072 @default.
- W2095929625 hasConcept C529173508 @default.
- W2095929625 hasConcept C75606506 @default.
- W2095929625 hasConcept C86610423 @default.
- W2095929625 hasConcept C98045186 @default.
- W2095929625 hasConceptScore W2095929625C115903868 @default.
- W2095929625 hasConceptScore W2095929625C127413603 @default.
- W2095929625 hasConceptScore W2095929625C145243422 @default.
- W2095929625 hasConceptScore W2095929625C167822520 @default.
- W2095929625 hasConceptScore W2095929625C177264268 @default.
- W2095929625 hasConceptScore W2095929625C199360897 @default.
- W2095929625 hasConceptScore W2095929625C201995342 @default.
- W2095929625 hasConceptScore W2095929625C2777904410 @default.
- W2095929625 hasConceptScore W2095929625C41008148 @default.
- W2095929625 hasConceptScore W2095929625C509989072 @default.
- W2095929625 hasConceptScore W2095929625C529173508 @default.
- W2095929625 hasConceptScore W2095929625C75606506 @default.
- W2095929625 hasConceptScore W2095929625C86610423 @default.
- W2095929625 hasConceptScore W2095929625C98045186 @default.
- W2095929625 hasIssue "2" @default.
- W2095929625 hasLocation W20959296251 @default.
- W2095929625 hasOpenAccess W2095929625 @default.
- W2095929625 hasPrimaryLocation W20959296251 @default.
- W2095929625 hasRelatedWork W1499349581 @default.
- W2095929625 hasRelatedWork W2058640402 @default.
- W2095929625 hasRelatedWork W2082488875 @default.
- W2095929625 hasRelatedWork W2159938467 @default.
- W2095929625 hasRelatedWork W2164366431 @default.
- W2095929625 hasRelatedWork W2179389548 @default.
- W2095929625 hasRelatedWork W2406842511 @default.
- W2095929625 hasRelatedWork W2490062692 @default.
- W2095929625 hasRelatedWork W283897780 @default.
- W2095929625 hasRelatedWork W2966220328 @default.
- W2095929625 hasVolume "41" @default.
- W2095929625 isParatext "false" @default.
- W2095929625 isRetracted "false" @default.
- W2095929625 magId "2095929625" @default.
- W2095929625 workType "article" @default.