Sciweavers

2409 search results - page 311 / 482
» Logical systems for structured specifications
Sort
View
CORR
2010
Springer
93views Education» more  CORR 2010»
15 years 4 months ago
Support for Evolving Software Architectures in the ArchWare ADL
Software that cannot evolve is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
Ronald Morrison, Graham N. C. Kirby, Dharini Balas...
ICDE
2009
IEEE
140views Database» more  ICDE 2009»
15 years 1 months ago
Routing Questions to the Right Users in Online Communities
Online forums contain huge amounts of valuable user-generated content. In current forum systems, users have to passively wait for other users to visit the forum systems and read/an...
Yanhong Zhou, Gao Cong, Bin Cui, Christian S. Jens...
ECMDAFA
2005
Springer
151views Hardware» more  ECMDAFA 2005»
15 years 9 months ago
A Comparative Study of Metamodel Integration and Interoperability in UML and Web Services
The application of MDA to Web services has recently received considerable attention. Similar to UML diagrams, Web services are specialised languages each one targeting a specific a...
Athanasios Staikopoulos, Behzad Bordbar
ICALT
2006
IEEE
15 years 10 months ago
Adaptive Learning Objects Sequencing for Competence-Based Learning
Lifelong learning refers to the activities people perform throughout their life to improve their competence in a particular field. Although adaptive educational hypermedia systems...
Pythagoras Karampiperis, Demetrios G. Sampson
RIAO
2000
15 years 5 months ago
Assisting requirements engineering with semantic document analysis
Requirements engineering is the first stage in the software life-cycle and is concerned with discovering and managing a software system's services, constraints and goals. Req...
Paul Rayson, Roger Garside, Peter Sawyer