Sciweavers

1137 search results - page 83 / 228
» Disciplined Methods of Software Specification: A Case Study
Sort
View
ISSRE
2000
IEEE
15 years 2 months ago
Building Trust into OO Components Using a Genetic Analogy
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
Benoit Baudry, Vu Le Hanh, Jean-Marc Jéz&ea...
ICSM
2002
IEEE
15 years 2 months ago
From Legacy to Web through Interaction Modeling
In the context of the CelLEST project, we have been investigating the problem of reengineering and reusing the services provided by legacy applications, running on mainframe hosts...
Eleni Stroulia, Mohammad El-Ramly, Paul G. Sorenso...
UML
2001
Springer
15 years 2 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
HICSS
2006
IEEE
146views Biometrics» more  HICSS 2006»
15 years 3 months ago
Managing Customer Relationships through Mobile Medium - Underlying Issues and Opportunities
Although customer relationship management (CRM) is currently gaining widespread popularity in several disciplines and industries, mobile medium as an element of CRM is rarely take...
Jaakko Sinisalo, Jari Salo, Heikki Karjaluoto, Mat...
ISSRE
2007
IEEE
14 years 11 months ago
Testing Security Policies: Going Beyond Functional Testing
While important efforts are dedicated to system functional testing, very few works study how to test specifically security mechanisms, implementing a security policy. This paper i...
Yves Le Traon, Tejeddine Mouelhi, Benoit Baudry