Sciweavers

988 search results - page 51 / 198
» Report on the XBase Project
Sort
View
123
Voted
IFM
1999
Springer
101views Formal Methods» more  IFM 1999»
15 years 8 months ago
A Modular Framework for the Integration of Heterogeneous Notations and Tools
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
Robert Büssow, Wolfgang Grieskamp
116
Voted
FMICS
2008
Springer
15 years 5 months ago
Using CSP||B Components: Application to a Platoon of Vehicles
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Je...
120
Voted
WEBNET
2001
15 years 5 months ago
Evaluation of Online Educational Software Designed for the Purpose of Teaching Programming
: In this paper we evaluate educational software, available in the market, designed for the purpose of teaching programming that addresses mainly beginners and intermediate student...
Georgiadou Elissavet, Anastasios A. Economides, An...
121
Voted
LRE
2007
76views more  LRE 2007»
15 years 3 months ago
Urdu in a parallel grammar development environment
In this paper, we report on the role of the Urdu grammar in the Parallel Grammar (ParGram) project (Butt et al., 1999; Butt et al., 2002). The Urdu grammar was able to take advanta...
Miriam Butt, Tracy Holloway King
141
Voted
SPE
2002
105views more  SPE 2002»
15 years 3 months ago
Specifying a role-based guide for learning to work with an enterprise framework
Learning to work with enterprise frameworks requires considerable effort, because of the inherent complexity of all the knowledge that is needed. However, different roles in proje...
Wilhelm Hasselbring, Ralph van den Houdt