|
Journals in DBLP
- Egidio Astesiano, Carlo Ghezzi
Fundamental Approaches to Software Engineering. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2001, v:40, n:1, pp:1-2 [Journal]
- Steven Bradley, William Henderson, David Kendall, Adrian Robson
A formal design language for real-time systems with data. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2001, v:40, n:1, pp:3-29 [Journal]
- Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr
Specifying embedded systems with statecharts and Z: an agenda for cyclic software components. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2001, v:40, n:1, pp:31-57 [Journal]
- Alexandre Mota, Augusto Sampaio
Model-checking CSP-Z: strategy, tool support and industrial application. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2001, v:40, n:1, pp:59-96 [Journal]
- Julia Padberg, Magdalena Gajewsky, Claudia Ermel
Rule-based refinement of high-level nets preserving safety properties. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2001, v:40, n:1, pp:97-118 [Journal]
- Peter Scholz
Incremental design of statechart specifications. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2001, v:40, n:1, pp:119-145 [Journal]
|