1678 search results - page 61 / 336 » An ASM Specification of C |
CRIWG
2000
13 years 9 months ago
2000
This paper presents the concept of a collaborative computer integrated classroom (CiC) specially designed to achieve a unique combination of interactive and collaborative software...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
The support of heterogeneity at the specification level, that is, the ability to mix several models of computation (MoCs) in the system-level specification, is becoming increasing...
IJCAI
1993
13 years 9 months ago
1993
This paper describes how meta-level theories are used for analytic learning in M U L T I - T A C . M U L T I - T A C operationalizes generic heuristics for constraint-satisfaction...
FASE
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
DGO
2009
2009
An information technology department in a disadvantaged municipality in Mexico: need and feasibility
13 years 5 months ago
The present research analyzes the need for an area for management of information and communication technologies in the local government of a disadvantaged municipality in M