Sciweavers

4231 search results - page 421 / 847
» Using Language More Responsibly
Sort
View
MODELS
2007
Springer
16 years 17 days ago
Model-Driven Engineering for Software Migration in a Large Industrial Context
As development techniques, paradigms and platforms evolve far more quickly than domain applications, software modernization and migration, is a constant challenge to software engin...
Franck Fleurey, Erwan Breton, Benoit Baudry, Alain...
ACSC
2005
IEEE
16 years 2 days ago
Integration of generic program analysis tools into a software development environment
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...
Erica Glynn, Ian J. Hayes, Anthony MacDonald
DATE
2005
IEEE
131views Hardware» more  DATE 2005»
16 years 2 days ago
Unified Modeling of Complex Real-Time Control Systems
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...
He Hai, Zhong Yi-fang, Cai Chi-lan
SEMWEB
2004
Springer
15 years 11 months ago
Enhancing Web Services Description and Discovery to Facilitate Composition
Web services are in the midst of making the transition from being a promising technology to being widely used in the industry. However, most efforts to use Web services have been m...
Preeda Rajasekaran, John A. Miller, Kunal Verma, A...
ATVA
2009
Springer
99views Hardware» more  ATVA 2009»
15 years 10 months ago
CLAN: A Tool for Contract Analysis and Conflict Discovery
Abstract. As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functiona...
Stephen Fenech, Gordon J. Pace, Gerardo Schneider