2274 search results - page 166 / 455 » Qualitative Modeling for Requirements Engineering |
190
click to vote
FSEN
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, an...
148
click to vote
KBSE
2008
IEEE
16 years 22 days ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
184
click to vote
ISORC
2007
IEEE
16 years 19 days ago
2007
IEEE
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
182
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
A Web Application must have a precise semantics. In currently Web Engineering environments, this can be achieved either by specifying a Web Conceptual Schema, or by using a Semant...
154
click to vote
ARCS
2004
Springer
15 years 11 months ago
2004
Springer
: Cryptographic algorithms – even when designed for easy implementability on general purpose architectures – still show a huge performance gap between implementations in softwa...