Sciweavers

2741 search results - page 177 / 549
» Engineering Mathematical Knowledge
Sort
View
NLDB
2007
Springer
15 years 9 months ago
Ontological Text Mining of Software Documents
Documents written in natural languages constitute a major part of the software engineering lifecycle artifacts. Especially during software maintenance or reverse engineering, seman...
René Witte, Qiangqiang Li, Yonggang Zhang, ...
LSO
2001
Springer
15 years 7 months ago
CORONET-Train: A Methodology for Web-Based Collaborative Learning in Software Organisations
Skills, knowledge, and motivation of the software engineering workforce are essential prerequisites for maturing software development. But lack of human resources has become an obs...
Dietmar Pfahl, Niniek Angkasaputra, Christiane Dif...
KBSE
2003
IEEE
15 years 8 months ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
Peter Bunus, Peter Fritzson
UIST
1993
ACM
15 years 7 months ago
A Graphics Toolkit Based on Differential Constraints
This paper describes Bramble, a toolkit for constructing graphical editing applications. The primary focus of Bramble is improve support for graphical manipulation by employing di...
Michael Gleicher
105
Voted
ENTCS
2006
120views more  ENTCS 2006»
15 years 3 months ago
Semantics of UML 2.0 Interactions with Variabilities
Means for the representation of variability in UML 2.0 interactions, as presented in a previous work, are further formalised and given a mathematically formal semantics. In this w...
María Victoria Cengarle, Peter Graubmann, S...