Sciweavers

8083 search results - page 145 / 1617
» A Formalization of Software Architecture
Sort
View
ICSE
2011
IEEE-ACM
14 years 7 months ago
Leveraging software architectures to guide and verify the development of sense/compute/control applications
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
Damien Cassou, Emilie Balland, Charles Consel, Jul...
AWIC
2003
Springer
15 years 9 months ago
Formalization of Web Design Patterns Using Ontologies
Design patterns have been enthusiastically embraced in the software engineering community as well as in the web community since they capture knowledge about how and when to apply a...
Susana Montero, Paloma Díaz, Ignacio Aedo
115
Voted
COMPSAC
2002
IEEE
15 years 9 months ago
Formalizing Incremental Design in Real-time Area: SCTL/MUS-T
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
Ana Fernández Vilas, José J. Pazos A...
159
Voted
WSPI
2008
15 years 5 months ago
ReCollection: a Disposal/Formal Requirement-Based Tool to Support Sustainable Collection Making
Many of our modern computerized activities, may they be personal, industrial or artistic, involve searching, classifying and browsing large numbers of digital objects. The tools w...
Francis Rousseaux, Alain Bonardi, Benjamin Roadley
ICST
2009
IEEE
15 years 1 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...