Matches in SemOpenAlex for { <https://semopenalex.org/work/W2067701298> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2067701298 endingPage "28" @default.
- W2067701298 startingPage "1" @default.
- W2067701298 abstract "This document is one of the parts of the electronic version of the PhD thesis by S.F.M. van Vlijmen [42]. The goal of the PhD project was to get a better understanding of the problems with the integration of formal specification technique in the day to day software practice. The approach followed was to execute a number of projects in cooperation with industry on realistic cases. In this document is reported on four other cases in a succint manner. For each case the system studied is described, the formal specification work done is discussed, and the case is evaluated. The first case describes the modelling in PSF of a model of a production facility for printed circuit boards. The second case is about the modelling of telephone services following the Service Independent Building block architecture. The language used was again PSF. The third case is about the syntax of a language for the programming of railway safety systems. Here the language definition system ASF+SDF was used. The fourth and final case is about a system that optimizes the replacement schedules for light bulbs in traffic regulation systems. ACP, PSF and Pascal are the languages used." @default.
- W2067701298 created "2016-06-24" @default.
- W2067701298 creator A5080242473 @default.
- W2067701298 date "1999-01-01" @default.
- W2067701298 modified "2023-09-26" @default.
- W2067701298 title "Chapter 7: Epitomes of Four other Cases" @default.
- W2067701298 cites W1584493698 @default.
- W2067701298 cites W1590033178 @default.
- W2067701298 cites W1604409022 @default.
- W2067701298 cites W1968422018 @default.
- W2067701298 cites W2016129852 @default.
- W2067701298 cites W2017007468 @default.
- W2067701298 cites W2082299854 @default.
- W2067701298 cites W2114479834 @default.
- W2067701298 cites W2130445900 @default.
- W2067701298 cites W2135317805 @default.
- W2067701298 cites W2154940799 @default.
- W2067701298 cites W2159053808 @default.
- W2067701298 cites W2165212884 @default.
- W2067701298 cites W2789008228 @default.
- W2067701298 cites W1523209168 @default.
- W2067701298 cites W21092171 @default.
- W2067701298 cites W2298369060 @default.
- W2067701298 cites W2344422542 @default.
- W2067701298 doi "https://doi.org/10.1016/s1571-0661(05)01191-6" @default.
- W2067701298 hasPublicationYear "1999" @default.
- W2067701298 type Work @default.
- W2067701298 sameAs 2067701298 @default.
- W2067701298 citedByCount "0" @default.
- W2067701298 crossrefType "journal-article" @default.
- W2067701298 hasAuthorship W2067701298A5080242473 @default.
- W2067701298 hasBestOaLocation W20677012981 @default.
- W2067701298 hasConcept C115903868 @default.
- W2067701298 hasConcept C116253237 @default.
- W2067701298 hasConcept C154945302 @default.
- W2067701298 hasConcept C199360897 @default.
- W2067701298 hasConcept C41008148 @default.
- W2067701298 hasConcept C60048249 @default.
- W2067701298 hasConcept C75608658 @default.
- W2067701298 hasConceptScore W2067701298C115903868 @default.
- W2067701298 hasConceptScore W2067701298C116253237 @default.
- W2067701298 hasConceptScore W2067701298C154945302 @default.
- W2067701298 hasConceptScore W2067701298C199360897 @default.
- W2067701298 hasConceptScore W2067701298C41008148 @default.
- W2067701298 hasConceptScore W2067701298C60048249 @default.
- W2067701298 hasConceptScore W2067701298C75608658 @default.
- W2067701298 hasLocation W20677012981 @default.
- W2067701298 hasOpenAccess W2067701298 @default.
- W2067701298 hasPrimaryLocation W20677012981 @default.
- W2067701298 hasRelatedWork W1965681098 @default.
- W2067701298 hasRelatedWork W1982275713 @default.
- W2067701298 hasRelatedWork W2046704574 @default.
- W2067701298 hasRelatedWork W2087060298 @default.
- W2067701298 hasRelatedWork W2135563074 @default.
- W2067701298 hasRelatedWork W4231350079 @default.
- W2067701298 hasRelatedWork W4233387348 @default.
- W2067701298 hasRelatedWork W4237042913 @default.
- W2067701298 hasRelatedWork W4246531319 @default.
- W2067701298 hasRelatedWork W4246973440 @default.
- W2067701298 hasVolume "21" @default.
- W2067701298 isParatext "false" @default.
- W2067701298 isRetracted "false" @default.
- W2067701298 magId "2067701298" @default.
- W2067701298 workType "article" @default.