1031 search results - page 98 / 207 » On the Formal Development of Safety-Critical Software |
124
click to vote
SEFM
2008
IEEE
15 years 7 months ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
99
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
102
Voted
ISIM
2007
15 years 2 months ago
2007
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
APSEC
2004
IEEE
15 years 4 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
115
Voted
IWPSE
2010
IEEE
14 years 10 months ago
2010
IEEE
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...