Sciweavers

2062 search results - page 183 / 413
» A Concern-Oriented Requirements Engineering Model
Sort
View
FSEN
2007
Springer
14 years 3 months ago
A Model of Component-Based Programming
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...
Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan
KBSE
2008
IEEE
14 years 3 months ago
Inferring Finite-State Models with Temporal Constraints
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 ...
Neil Walkinshaw, Kirill Bogdanov
ISORC
2007
IEEE
14 years 3 months ago
Device Modeling for a Flexible Embedded Systems Development Process
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
Kleanthis C. Thamboulidis, George S. Doukas, Giann...
WWW
2004
ACM
14 years 10 months ago
Conceptual Modelling versus Semantic Web: the two sides of the same coin?
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...
Oscar Pastor, Joan Fons, Victoria Torres, Vicente ...
ARCS
2004
Springer
14 years 2 months ago
Modelling Cryptonite - On the Design of a Programmable High-Performance Crypto Processor
: Cryptographic algorithms – even when designed for easy implementability on general purpose architectures – still show a huge performance gap between implementations in softwa...
Rainer Buchty