3792 search results - page 135 / 759 » Techniques for Trusted Software Engineering |
151
Voted
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
Scientists today conduct new research via software-based experimentation and validation in a host of disciplines, including materials science, life sciences, astronomy, and physic...
139
click to vote
BIS
2006
15 years 5 months ago
2006
Techniques for reliably estimating development efforts are a fundamental requirement for a wide-scale dissemination of ontologies in business contexts. In this paper we account fo...
123
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
EMFGormas1 is a new approach for modeling Service-oriented Open Multiagent Systems using the MDA Eclipse Technology. It offers a CASE tool based on an unified meta-model for engin...
145
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
103
Voted
FMOODS
2006
15 years 5 months ago
2006
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...