1908 search results - page 146 / 382 » How to teach software modeling |
EDBTW
2010
Springer
15 years 4 months ago
2010
Springer
As the use of social networks becomes more widespread and commonplace, users are beginning to question how their privacy is protected by social networks. In this paper, we review ...
SEFM
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
ICSM
2006
IEEE
15 years 4 months ago
2006
IEEE
The association between the description of a concern (e.g., a feature) and the code that implements it is valuable information that can degrade as the code of a system evolves. We...
QSIC
2003
IEEE
15 years 3 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
WSC
2008
15 years 10 days ago
2008
A qualification management software that proposes recipe qualifications on tools in toolsets for semiconductor manufacturing has been developed. The qualification proposals are ba...