1432 search results - page 5 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
ICST
2010
IEEE
14 years 8 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 2 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
14 years 11 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 4 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
14 years 11 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...