Matches in SemOpenAlex for { <https://semopenalex.org/work/W9600885> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W9600885 abstract "Recent advances in both the testing and verification of software based on formal specifications have reached a point where the ideas can be applied in a powerful way in the design of agent-based systems. The software engineering research has highlighted a number of important issues: the importance of the type of modelling technique used; the careful design of the model to enable powerful testing techniques to be used; the automated verification of the behavioural properties of the system; and the need to provide a mechanism for translating the formal models into executable software in a simple and transparent way." @default.
- W9600885 created "2016-06-24" @default.
- W9600885 creator A5006867774 @default.
- W9600885 creator A5027006719 @default.
- W9600885 creator A5031576868 @default.
- W9600885 creator A5032331047 @default.
- W9600885 date "2005-01-01" @default.
- W9600885 modified "2023-10-18" @default.
- W9600885 title "Formal Development of Reactive Agent-Based Systems" @default.
- W9600885 cites W1580131439 @default.
- W9600885 cites W1963901882 @default.
- W9600885 cites W2005453221 @default.
- W9600885 cites W2009383192 @default.
- W9600885 cites W2042965494 @default.
- W9600885 cites W2057546362 @default.
- W9600885 cites W2061317765 @default.
- W9600885 cites W2077592849 @default.
- W9600885 cites W2099529102 @default.
- W9600885 cites W2146243959 @default.
- W9600885 cites W2148734427 @default.
- W9600885 cites W2153616422 @default.
- W9600885 cites W2155272711 @default.
- W9600885 doi "https://doi.org/10.4018/978-1-59140-553-5.ch212" @default.
- W9600885 hasPublicationYear "2005" @default.
- W9600885 type Work @default.
- W9600885 sameAs 9600885 @default.
- W9600885 citedByCount "0" @default.
- W9600885 crossrefType "book-chapter" @default.
- W9600885 hasAuthorship W9600885A5006867774 @default.
- W9600885 hasAuthorship W9600885A5027006719 @default.
- W9600885 hasAuthorship W9600885A5031576868 @default.
- W9600885 hasAuthorship W9600885A5032331047 @default.
- W9600885 hasConcept C112930515 @default.
- W9600885 hasConcept C144133560 @default.
- W9600885 hasConcept C41008148 @default.
- W9600885 hasConceptScore W9600885C112930515 @default.
- W9600885 hasConceptScore W9600885C144133560 @default.
- W9600885 hasConceptScore W9600885C41008148 @default.
- W9600885 hasLocation W96008851 @default.
- W9600885 hasOpenAccess W9600885 @default.
- W9600885 hasPrimaryLocation W96008851 @default.
- W9600885 hasRelatedWork W1510110859 @default.
- W9600885 hasRelatedWork W2063477593 @default.
- W9600885 hasRelatedWork W2103972622 @default.
- W9600885 hasRelatedWork W2212093233 @default.
- W9600885 hasRelatedWork W2295057953 @default.
- W9600885 hasRelatedWork W2541728168 @default.
- W9600885 hasRelatedWork W2941859974 @default.
- W9600885 hasRelatedWork W2994238225 @default.
- W9600885 hasRelatedWork W3015867552 @default.
- W9600885 hasRelatedWork W61995002 @default.
- W9600885 isParatext "false" @default.
- W9600885 isRetracted "false" @default.
- W9600885 magId "9600885" @default.
- W9600885 workType "book-chapter" @default.