|
EVALUATING INSTRUMENTATION STRATEGIES BY PROGRAM SIMULATION
Roberto Andrioli de Araujo, Anthony Accioly, Felipe Albuquerque, Marcos L. Chaim
|
|
VALIDATING SQL CODE USING SYMBOLIC MODEL CHECKING
Rodrigo Diana, Mark Song, Humberto Torres
|
|
WSDL-S SEMANTIC WEB SERVICES ENGINEERING: AN EMPIRICAL ANNOTATING APPROACH
Djelloul Bouchiha, Mimoun Malki, Abdullah Alghamdi
|
|
WEB SERVICE TESTING WITH ALTERNATIVE DATA INSTANCE ANALYSIS
João Carlos Garcia Árias, Silvia Regina Vergilio, Maria Claudia Figueiredo Pereira Emer
|
|
AN APPROACH FOR REQUIREMENTS ELICITATION FOR EMBEDDED REAL-TIME SYSTEMS
Rovedy A. B. e Silva1, José M. Parente de Oliveira, Jorge Sousa Pinto
|
|
ON THE USE OF MODEL-DRIVEN TEST PROCESS SPECIFICATION AND ENACTMENT BY METAMODELLING FOUNDATION
Rita Suzana P. Maciel, Ramon A. Gomes, Bruno C. Silva
|
|
SELECTING ARCHITECTURAL PATTERNS THROUGH A KNOWLEDGE-BASED APPROACH
Liziane Santos Soares, Roberto Tom Price, Marcelo Soares Pimenta, José Luis Braga
|
|
A TRANSFORMATION-DRIVEN FRAMEWORK TO MODEL CONTEXT-AWARE WEB APPLICATIONS
Luis Paulo da Silva Carvalho, Paulo Caetano da Silva
|
|
SACK-OF-SEMANTICS: APPLYING CULTURAL KNOWLEDGE TO IDENTIFY SIMILAR PEOPLE IN SOCIAL NETWORK SITES
Fernando Cesar Balbino, Junia Coutinho Anacleto, Gilberto Astolfi
|
|
CCMD COMPUTATIONAL CONTEXT MODELING DIAGRAM AND WSBPEL INTEGRATION
Luis Paulo da Silva Carvalho, Paulo Caetano da Silva
|
|
GEOGRAPHIC AND CONCEPTUAL INFORMATION RETRIEVAL FROM ONLINE NEWSPAPERS
Rocio Abascal-Mena, Erick López Ornelas
|