977 search results - page 124 / 196 » Formal methods integration in software engineering |
141
Voted
CSIE
2009
IEEE
15 years 11 months ago
2009
IEEE
The tendency for Non-Functional Requirements (NFRs) to have a wide-ranging impact on a software system, and the strong interdependencies and tradeoffs that exist between NFRs and ...
109
click to vote
SFM
2009
Springer
15 years 10 months ago
2009
Springer
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
114
click to vote
MSR
2006
ACM
15 years 10 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
160
click to vote
MATES
2004
Springer
15 years 9 months ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...
114
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
This appendix contains the details of our case studies out lined in our paper for the 2009 International Conference on Software Maintenance, as well as an expanded discussion se...