2832 search results - page 164 / 567 » Flexible Modelling for Requirements Engineering |
146
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
165
click to vote
GI
2007
Springer
15 years 10 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
142
click to vote
SIGSOFT
2009
ACM
16 years 7 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...
169
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
In knowledge engineering, modelling knowledge is the process of structuring knowledge before implementation. A crucial part of system development depends on the acquiring and struc...
141
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Traditional email clients are built with a “one-touch” model in mind that assumes an immediate action is performed once an email is read. However, some emails require a follow...