4469 search results - page 74 / 894 » A Language for Role Specifications |
117
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
143
click to vote
REFSQ
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim...
142
click to vote
FSEN
2007
Springer
15 years 5 months ago
2007
Springer
In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming. Relationships can be introduced in programming languages either by...
108
click to vote
JOCN
2011
14 years 11 months ago
2011
■ The left inferior frontal gyrus (LIFG) has long been claimed to play a key role in language function. However, there is considerable controversy as to whether regions within L...
165
click to vote
CC
2009
Springer
15 years 1 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...