Sciweavers

6652 search results - page 1141 / 1331
» A perspective based approach to design
Sort
View
REFSQ
2007
Springer
16 years 18 days ago
Optimal-Constraint Lexicons for Requirements Specifications
Abstract. Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim...
Stephen Boyd, Didar Zowghi, Vincenzo Gervasi
SOFSEM
2007
Springer
16 years 18 days ago
Improved Processing of Textual Use Cases: Deriving Behavior Specifications
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
Jaroslav Drazan, Vladimir Mencl
SUM
2007
Springer
16 years 18 days ago
Incomplete Statistical Information Fusion and Its Application to Clinical Trials Data
In medical clinical trials, overall trial results are highlighted in the s of papers/reports. These results are summaries of underlying statistical analysis where most of the time ...
Jianbing Ma, Weiru Liu, Anthony Hunter
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
16 years 18 days ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon
AICT
2006
IEEE
100views Communications» more  AICT 2006»
16 years 17 days ago
A Concept Model for Computer-based Spoken Language Tests
Spoken language education plays an important role in modern language courses. Computer-based spoken language test systems provide a convenient, efficient and reliable approach to ...
Yijian Wu, Wenyun Zhao, Xin Peng, Yunjiao Xue
« Prev « First page 1141 / 1331 Last » Next »