1432 search results - page 5 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
106
click to vote
ICST
2010
IEEE
14 years 10 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
ITRUST
2005
Springer
15 years 5 months ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
WSC
2007
15 years 1 months ago
2007
Unambiguous definition of the information exchanged between distributed systems is a necessary requirement for simulation system interoperability. The ontological spectrum categor...
ISORC
2009
IEEE
15 years 6 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
Planning iterations in software projects requires considering artifacts from different aspects such as requirements, specifications, tasks or even bug reports. UNICASE is a unifie...