Matches in SemOpenAlex for { <https://semopenalex.org/work/W1526844982> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1526844982 endingPage "420" @default.
- W1526844982 startingPage "395" @default.
- W1526844982 abstract "In this invited paper — for the 2001 FORTE Conference on FORmal Description TEchniques for Protocol Specification, Testing and Verification — we intend to illustrate a number of methodological issues that the practising software engineer might wish to consider when developing software for interacting, distributed software, more precisely, for such software which significantly contains interaction protocols. We “attach” our “guided tour” of software engineering using formal techniques, and following a triptych of domain engineering, requirements engineering, and software design, to two example “challenges”. The particular examples are the domain and requirements for an “inverse” smart card application, that is, of a domain where ordinary citizens gather, refer to and update (“change”) accumulated information and money resources and of requirements to a “really” smart card system which is the primary carrier of (ie. repository for) such information, and the (electronic) monies (themselves). The other example is that of “market” transactions; that is, a domain of interactions between government (G) institutions, businesses (B), and citizens (C). That is with G↔ B ↔ C sequences of interactions — ie. “protocols”, as well as some thoughts on requirements (an “extended E-Business system”). We outline the problems while adhering to our approaches to both informal and formal software engineering, to the development triptych, and indicate some of the very many principles and techniques inherent in any good method. By showing two different examples we illustrate the “impossibility” of one simpe, straightforward method. Thus the paper presents a capsule view of some of our view of the Theory & Practice of Software Engineering." @default.
- W1526844982 created "2016-06-24" @default.
- W1526844982 creator A5038481049 @default.
- W1526844982 date "2006-02-27" @default.
- W1526844982 modified "2023-09-26" @default.
- W1526844982 title "On Formal Techniques in Protocol Engineering — Example Challenges" @default.
- W1526844982 cites W1576658585 @default.
- W1526844982 cites W2101836921 @default.
- W1526844982 cites W2889359220 @default.
- W1526844982 cites W3000555422 @default.
- W1526844982 cites W49760229 @default.
- W1526844982 doi "https://doi.org/10.1007/0-306-47003-9_25" @default.
- W1526844982 hasPublicationYear "2006" @default.
- W1526844982 type Work @default.
- W1526844982 sameAs 1526844982 @default.
- W1526844982 citedByCount "1" @default.
- W1526844982 crossrefType "book-chapter" @default.
- W1526844982 hasAuthorship W1526844982A5038481049 @default.
- W1526844982 hasBestOaLocation W15268449821 @default.
- W1526844982 hasConcept C110406131 @default.
- W1526844982 hasConcept C115903868 @default.
- W1526844982 hasConcept C134306372 @default.
- W1526844982 hasConcept C142724271 @default.
- W1526844982 hasConcept C17744445 @default.
- W1526844982 hasConcept C186846655 @default.
- W1526844982 hasConcept C199360897 @default.
- W1526844982 hasConcept C199539241 @default.
- W1526844982 hasConcept C204787440 @default.
- W1526844982 hasConcept C2776261394 @default.
- W1526844982 hasConcept C2777904410 @default.
- W1526844982 hasConcept C2780385302 @default.
- W1526844982 hasConcept C33923547 @default.
- W1526844982 hasConcept C36503486 @default.
- W1526844982 hasConcept C38652104 @default.
- W1526844982 hasConcept C41008148 @default.
- W1526844982 hasConcept C52913732 @default.
- W1526844982 hasConcept C529173508 @default.
- W1526844982 hasConcept C54534927 @default.
- W1526844982 hasConcept C5977032 @default.
- W1526844982 hasConcept C6604083 @default.
- W1526844982 hasConcept C71924100 @default.
- W1526844982 hasConcept C75606506 @default.
- W1526844982 hasConceptScore W1526844982C110406131 @default.
- W1526844982 hasConceptScore W1526844982C115903868 @default.
- W1526844982 hasConceptScore W1526844982C134306372 @default.
- W1526844982 hasConceptScore W1526844982C142724271 @default.
- W1526844982 hasConceptScore W1526844982C17744445 @default.
- W1526844982 hasConceptScore W1526844982C186846655 @default.
- W1526844982 hasConceptScore W1526844982C199360897 @default.
- W1526844982 hasConceptScore W1526844982C199539241 @default.
- W1526844982 hasConceptScore W1526844982C204787440 @default.
- W1526844982 hasConceptScore W1526844982C2776261394 @default.
- W1526844982 hasConceptScore W1526844982C2777904410 @default.
- W1526844982 hasConceptScore W1526844982C2780385302 @default.
- W1526844982 hasConceptScore W1526844982C33923547 @default.
- W1526844982 hasConceptScore W1526844982C36503486 @default.
- W1526844982 hasConceptScore W1526844982C38652104 @default.
- W1526844982 hasConceptScore W1526844982C41008148 @default.
- W1526844982 hasConceptScore W1526844982C52913732 @default.
- W1526844982 hasConceptScore W1526844982C529173508 @default.
- W1526844982 hasConceptScore W1526844982C54534927 @default.
- W1526844982 hasConceptScore W1526844982C5977032 @default.
- W1526844982 hasConceptScore W1526844982C6604083 @default.
- W1526844982 hasConceptScore W1526844982C71924100 @default.
- W1526844982 hasConceptScore W1526844982C75606506 @default.
- W1526844982 hasLocation W15268449821 @default.
- W1526844982 hasOpenAccess W1526844982 @default.
- W1526844982 hasPrimaryLocation W15268449821 @default.
- W1526844982 hasRelatedWork W1526844982 @default.
- W1526844982 hasRelatedWork W1529152162 @default.
- W1526844982 hasRelatedWork W1596294866 @default.
- W1526844982 hasRelatedWork W170429627 @default.
- W1526844982 hasRelatedWork W2127984352 @default.
- W1526844982 hasRelatedWork W215982361 @default.
- W1526844982 hasRelatedWork W2248842082 @default.
- W1526844982 hasRelatedWork W2389952396 @default.
- W1526844982 hasRelatedWork W4285194545 @default.
- W1526844982 hasRelatedWork W631885559 @default.
- W1526844982 isParatext "false" @default.
- W1526844982 isRetracted "false" @default.
- W1526844982 magId "1526844982" @default.
- W1526844982 workType "book-chapter" @default.