Sciweavers

389 search results - page 20 / 78
» An approach to quality engineering of TTCN-3 test specificat...
Sort
View
OOPSLA
2010
Springer
13 years 5 months ago
Composable specifications for structured shared-memory communication
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan G...
JOT
2007
277views more  JOT 2007»
13 years 7 months ago
REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting
In order to integrate requirements into the current Model-Driven Engineering (MDE) approach, the traditional document-based requirements specification process should be changed in...
Cristina Vicente-Chicote, Begoña Moros, Jos...
ICSE
2003
IEEE-ACM
14 years 7 months ago
RUPi - A Unified Process that Integrates Human-Computer Interaction and Software Engineering
This research has the main objective of presenting a study on the areas of Human-Computer Interaction (HCI) and Software Engineering (SE), focusing on the importance of integratin...
Kênia Soares Sousa, Elizabeth Furtado
IUI
2005
ACM
14 years 1 months ago
Context-based similar words detection and its application in specialized search engines
This paper presents a new context-based method for automatic detection and extraction of similar and related words from texts. Finding similar words is a very important task for m...
Hisham Al-Mubaid, Ping Chen
DATE
2006
IEEE
108views Hardware» more  DATE 2006»
14 years 1 months ago
Software-friendly HW/SW co-simulation: an industrial case study
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
Juanjo Noguera, Luis Baldez, Narcis Simon, Lluis A...