Skip to Main Content (Press Enter)
×
Home
Persone
Pubblicazioni
Strutture
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
Persone
Pubblicazioni
Strutture
Competenze
☰
Pubblicazioni
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Rivista
Codice:
E079957
ISSN:
0098-5589
Dati Generali
Dati Generali
Pubblicazioni (20)
Pulisci
Ordina Pubblicazioni:
ascendente
decrescente
A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models
Articolo
A framework for quantitative modeling and analysis of highly (re)configurable systems
Articolo
Abstraction mechanisms for event control in program debugging
Articolo
Adaptive Test Case Allocation, Selection and Generation using Coverage Spectrum and Operational Profile
Articolo
Authentication Mechanisms in Microprocessor-Based Local Area Networks
Articolo
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs
Articolo
Automatic support for usability evaluation
Articolo
CTTE: Support for Developing and Analysing Task Models for Interactive System Design
Articolo
Comments on An interval logic for Real-Time System specification
Articolo
Design and development of multi-device user interfaces through multiple logical descriptions
Articolo
LEILA: formaL tool for idEntifying mobIle maLicious behAviour
Articolo
Language features for access control
Articolo
Models of Parallel Applications with Large Computation and I/O Requirements
Articolo
On the use of testability measures for dependability assessment
Articolo
Some Properties of Timed -Token Medium Access Protocols
Articolo
Systematic evaluation and usability analysis of formal methods tools for railway signaling system design
Articolo
Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications
Articolo
Toward constraint-object-oriented development
Articolo
Using software architecture for code testing
Articolo
Using spanning sets for coverage testing
Articolo
No Results Found
«
‹
{pageNumber}
›
»
{startItem} - {endItem} di {itemsNumber}
5 per pagina
10 per pagina
30 per pagina
vedi tutti
