Sciweavers

1937 search results - page 27 / 388
» Starting B Specifications from Use Cases
Sort
View
90
Voted
LREC
2008
80views Education» more  LREC 2008»
15 years 3 months ago
Turning a Term Extractor into a new Domain: first Experiences
Computational terminology has notably evolved since the advent of computers. Regarding the extraction of terms in particular, a large number of resources has been developed: from ...
Jorge Vivaldi, Anna Joan, Mercè Lorente
WCE
2007
15 years 3 months ago
Solution of Supersonic Internal Flow Problems Using MFDV
— The FDV method was originally developed by T.J. Chung [3]-[6]. The authors developed and presented a modification to this method named MFDV method in [2]. The aim of this modif...
A. A. Megahed, M. W. El-Mallah, B. R. Girgis
CMPB
2007
86views more  CMPB 2007»
15 years 1 months ago
Monte Carlo simulation of latanoprost induced iris darkening
We show that it is possible to construct numerical models of eye colour from first principles. Our initial model assumes that the important optical interactions occur only in the a...
K. P. B. Cracknell, Damian J. J. Farnell, I. Grier...
131
Voted
UML
1998
Springer
15 years 6 months ago
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. K...
IEAAIE
2005
Springer
15 years 7 months ago
A Specification Language for Organisational Performance Indicators
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
Viara Popova, Jan Treur