Sciweavers

3045 search results - page 152 / 609
» Formal Approaches to Software Architecture
Sort
View
ADAEUROPE
2007
Springer
15 years 5 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
HICSS
2002
IEEE
119views Biometrics» more  HICSS 2002»
15 years 4 months ago
Task-Structure Analysis: A Modularized Approach for Modeling Knowledge Intensive Processes
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...
Roman M. Wong, Siddhartha Bhattacharyya
SDL
2007
171views Hardware» more  SDL 2007»
15 years 18 days ago
Model Driven Development and Code Generation: An Automotive Case Study
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
Michele Banci, Alessandro Fantechi, Stefania Gnesi...
ICSE
2008
IEEE-ACM
15 years 11 months ago
On the automation of fixing software bugs
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
Andrea Arcuri
HCI
2007
15 years 19 days ago
Comparing User and Software Information Structures for Compatibility
Eastern and Western cultures differ quite systematically in how they group objects, functions and concepts into categories [1,2,3]. This has implications for how navigation feature...
Thomas Plocher, Torkil Clemmensen