3045 search results - page 191 / 609 » Formal Approaches to Software Architecture |
111
click to vote
JSS
2010
14 years 6 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
ICAC
2005
IEEE
15 years 5 months ago
2005
IEEE
This work presents the core ideas for an approach that enables index tuning with no human intervention at all. SQL statements submitted to the database are monitored and indices a...
CSMR
2009
IEEE
15 years 6 months ago
2009
IEEE
For any non-trivial software project, architectural drift is a well-known problem. Over time, the design rules and guidelines governing the software project are no longer obeyed, ...
125
click to vote
ICSE
2003
IEEE-ACM
15 years 4 months ago
2003
IEEE-ACM
Functional requirements contain, and systems exhibit, the behavior summarized below.Despite the advances in software engineering since 1968, how to go from a set of functional req...
140
click to vote
ICEIS
2009
IEEE
14 years 9 months ago
2009
IEEE
Rearchitecturing large software systems becomes more and more complex after years of development and a growing size of the code base. Nonetheless, a constant adaptation of software...