Sciweavers

2918 search results - page 121 / 584
» Design tools for reliability analysis
Sort
View
145
Voted
ISIM
2007
15 years 5 months ago
Verification of Good Design Style of UML Models
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
Bogumila Hnatkowska
143
Voted
ECBS
2007
IEEE
155views Hardware» more  ECBS 2007»
15 years 10 months ago
Integrating Security Modeling into Embedded System Design
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
Matthew Eby, Jan Werner, Gabor Karsai, Ákos...
119
Voted
QSIC
2005
IEEE
15 years 9 months ago
A Preliminary Evaluation of Software Inspection Tools, with the DESMET Method
Software inspections are established means of ensuring quality in software engineering. The traditional paper-based inspections are considered too laborious for widespread usage, ...
Henrik Hedberg, Jouni Lappalainen
119
Voted
ITS
2000
Springer
135views Multimedia» more  ITS 2000»
15 years 7 months ago
Analyzing and Generating Mathematical Models: An Algebra II Cognitive Tutor Design Study
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
Albert T. Corbett, Megan McLaughlin, K. Christine ...
117
Voted
CACM
2006
102views more  CACM 2006»
15 years 3 months ago
Argumentation support: from technologies to tools
Electronic argumentation support is increasingly important in today's networked society. Virtual research collaboration, e-business, and many other domains of professional li...
Aldo de Moor, Mark Aakhus