4469 search results - page 69 / 894 » A Language for Role Specifications |
102
click to vote
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...
126
Voted
CSB
2004
IEEE
15 years 7 months ago
2004
IEEE
One of the most remarkable properties of enzyme-substrate binding is the high substrate specificity among homologous enzymes. Identification of regions in enzymes that play an imp...
118
click to vote
CICLING
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper is concerned with the task of preposition generation in the context of a grammar checker. Relevant features for this task can range from lexical features, such...
126
click to vote
ISORC
2003
IEEE
15 years 9 months ago
2003
IEEE
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the commu...
131
Voted
WIFT
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role o...