3792 search results - page 507 / 759 » Techniques for Trusted Software Engineering |
158
click to vote
CEEMAS
2005
Springer
16 years 7 days ago
2005
Springer
Nowadays the design of user interfaces has become a discipline of great importance in Software Engineering, mainly due to the increasing impact that a high quality user interface h...
158
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
150
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Electronic contracts describe inter-organizational business processes in terms of supply and consumption of electronic services (commonly Web services). In a given contract domain,...
184
click to vote
WCE
2007
15 years 7 months ago
2007
—Linear equations provide useful tools for understanding the behavior of a wide variety of phenomena— from science and engineering to social sciences. A number of techniques ha...
186
click to vote
TSE
2002
15 years 6 months ago
2002
This paper presents an empirical study in an industrial context on the production of software using a framework. Frameworks are semicomplete applications, usually implemented as a ...