300 search results - page 1 / 60 » Reducing Component Systems' Behavior Specification |
SCCC
2007
IEEE
13 years 11 months ago
2007
IEEE
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
CBSE
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
EDM
2009
13 years 2 months ago
2009
In Cognitive Tutors, student skill is represented by estimates of student knowledge on various knowledge components. The estimate for each knowledge component is based on a four-pa...
SIGSOFT
2009
ACM
14 years 5 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...