1031 search results - page 192 / 207 » On the Formal Development of Safety-Critical Software |
111
Voted
APCCM
2009
15 years 1 months ago
2009
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...
94
Voted
JOT
2006
15 years 15 days ago
2006
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
110
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
142
click to vote
HASKELL
2009
ACM
15 years 7 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
119
click to vote
PPPJ
2003
ACM
15 years 5 months ago
2003
ACM
The graphical user interface (GUI) is an important component of many software systems. Past surveys indicate that the development of a GUI is a significant undertaking and that t...