4372 search results - page 710 / 875 » Objects for Lexical Analysis |
144
click to vote
ISOLA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
133
click to vote
MMAS
2004
Springer
15 years 11 months ago
2004
Springer
Demand Bus System, a new public transportation system, is expected to be a convenient service for special transportation demands to solve more and more serious traffic problems con...
159
click to vote
PROMAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Agent-oriented system development aims to simplify the conn of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed ...
180
click to vote
SEKE
2004
Springer
15 years 10 months ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
159
click to vote
VECPAR
2004
Springer
15 years 10 months ago
2004
Springer
The Human Genetics Unit (HGU) of the Medical Research Council (MRC) in Edinburgh has developed the Edinburgh Mouse Atlas, a spatial temporal framework to store and analyze biologic...