2878 search results - page 201 / 576 » Analyzing the Uses of a Software Modeling Tool |
149
click to vote
COMPSAC
2006
IEEE
15 years 12 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
181
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
165
click to vote
HICSS
2006
IEEE
15 years 12 months ago
2006
IEEE
Inspections provide an effective way of acquiring and reusing experience knowledge. Several details, in both the inspection processes and the inspection event itself, can be found...
165
click to vote
DKE
2007
15 years 5 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
153
click to vote
FORTEST
2008
15 years 7 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...