Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
uninsubria.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
☰
Pubblicazioni
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Rivista
Codice:
E079957
ISSN:
0098-5589
Dati Generali
Dati Generali
Pubblicazioni (13)
Pulisci
Ordina Pubblicazioni:
ascendente
decrescente
A Formal Framework for ASTRAL Intra-Level Proof Obligations
Articolo
A unified high-level Petri net formalism for time-critical systems
Articolo
An operational process for goal-driven definition of measures
Articolo
Comments on "Towards a framework for software measurement validation"
Articolo
Defining and Validating Measures for Object-based High-Level Design
Articolo
Generation of Execution Sequences for Modular Time-dependent Systems
Articolo
Modeling and Improving an Industrial Software Process
Articolo
Property-based software engineering measurement
Articolo
Response to: Comments on "Property-based software engineering measurement: refining the additivity properties"
Articolo
Software Specialization via Symbolic Execution
Articolo
Software prototyping by relational techniques: experiences with program construction systems
Articolo
Specification of Realtime Systems Using ASTRAL
Articolo
Time and Probability-Based Information Flow Analysis
Articolo
No Results Found
«
‹
{pageNumber}
›
»
{startItem} - {endItem} di {itemsNumber}
5 per pagina
10 per pagina
30 per pagina
vedi tutti
