Search Sciweavers | Sciweavers

9974 search results - page 100 / 1995

» Software Interconnection Models

131

click to vote

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 10 months ago

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

click to vote

EWSPT
1999
Springer

66views Software Engineering» more EWSPT 1999»

Process Modelling Languages

15 years 10 months ago

Download www.tml.tkk.fi

Reidar Conradi, Maria Letizia Jaccheri

claim paper

Read More »

138

click to vote

CODES
1998
IEEE

80views Software Engineering» more CODES 1998»

Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models

15 years 10 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo, Wolfram Hardt

claim paper

Read More »

149

click to vote

EUROMICRO
1998
IEEE

101views Software Engineering» more EUROMICRO 1998»

Grammar Based Modelling and Synthesis of Device Drivers and Bus Interfaces

15 years 10 months ago

Download ethesys.yuntech.edu.tw

Mattias O'Nils, Johnny Öberg, Axel Jantsch

claim paper

Read More »

126

click to vote

ICSM
1998
IEEE

79views Software Engineering» more ICSM 1998»

Dynamic Model for Maintenance and Testing Effort

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers