16859 search results - page 416 / 3372 » Generative software development |
178
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
151
click to vote
CSREAESA
2006
15 years 8 months ago
2006
Nowadays embedded system, hardware/software technology has progressed prosperously. In many field of industrial manufacture and people life, embedded system is indispensable. Rece...
168
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Over the past decade software architecture has received increasing attention as an important subfield of software engineering. During that time there has been considerable progres...
180
click to vote
FDL
2005
IEEE
16 years 14 days ago
2005
IEEE
Although Moore’s Law enables a huge number of components to be integrated into a single chip, design methods that will allow system architects to put the components together to ...
172
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Software evolution and update play a vital role in software engineering. It has many advantages, such as improving the efficiency of programming, reducing the cost of maintena...