82 search results - page 10 / 17 » Technology Transfer Issues for Formal Methods of Software Sp... |
CODES
2007
IEEE
14 years 2 months ago
2007
IEEE
Multiple wireless technologies are converging to run on personal handhelds. The plethora of communication standards next to the cost issues of deeper submicron processing require ...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
The paper focuses on investigating the combined use of semantic and structural information of programs to support the comprehension tasks involved in the maintenance and reenginee...
SPLC
2010
13 years 7 months ago
2010
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
ECBS
1996
IEEE
14 years 22 days ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
ICST
2008
IEEE
14 years 3 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...