3185 search results - page 337 / 637 » Principles for modeling language design |
164
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
186
click to vote
KBSE
2007
IEEE
16 years 28 days ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
196
click to vote
ATVA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
166
click to vote
FDL
2003
IEEE
15 years 12 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
153
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
The development of programming skills is a motivating issue in computer science. Programming languages have been increasingly used to map end-users needs and mental models. The nu...