3792 search results - page 192 / 759 » Techniques for Trusted Software Engineering |
123
click to vote
CSMR
2005
IEEE
15 years 9 months ago
2005
IEEE
A domain-specific visual language, Function Block Language (FBL), is used in Metso Automation for writing automation control programs. The same engineering environment is used for...
108
click to vote
AGILEDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Some have described Agile and Infrastructure as an oxymoron: they just don’t fit together. During one year we have focused on using agile techniques in three different infrastru...
116
click to vote
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
AJAX is a web application programming technique that allows portions of a web page to be loaded dynamically, separate from other parts of the web page. This gives the user a much ...
117
click to vote
AGILEDC
2006
IEEE
15 years 10 months ago
2006
IEEE
This workshop brings together educators, trainers and students with an interest in teaching Agile principles and practices in an agile way. We will take a holistic approach to cou...
138
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...