10263 search results - page 175 / 2053 » From Use Cases to System Operation Specifications |
389
click to vote
IEAAIE
2011
Springer
14 years 10 months ago
2011
Springer
Domain specific terminologies represent important concepts when students study a subject. If the sentences which describe important concepts related to a terminology can be accesse...
176
Voted
ACMSE
2004
ACM
16 years 15 days ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...
197
Voted
AIRS
2010
Springer
15 years 4 months ago
2010
Springer
Machine learning algorithms in various forms are now increasingly being used on a variety of portable devices, starting from cell phones to PDAs. They often form a part of standard...
174
click to vote
SAJ
2000
15 years 6 months ago
2000
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
171
Voted
APSEC
2003
IEEE
15 years 10 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...