8627 search results - page 1529 / 1726 » Software Engineering Using RATionale |
182
click to vote
IEEEARES
2007
IEEE
16 years 26 days ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
158
click to vote
ISORC
2007
IEEE
16 years 25 days ago
2007
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...
185
click to vote
ISORC
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper provides three contributions to the study of quality of service (QoS) configuration in component-based DRE systems. First, we describe the challenges associated with m...
189
click to vote
FSTTCS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
168
click to vote
SEKE
2007
Springer
16 years 20 days ago
2007
Springer
A number of enterprises are turning towards the Service Oriented Architecture (SOA) approach for their systems due to the number of benefits it offers. A key enabling technology ...