Sciweavers

4919 search results - page 64 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
ICDE
2012
IEEE
232views Database» more  ICDE 2012»
13 years 8 days ago
Horton: Online Query Execution Engine for Large Distributed Graphs
—Large graphs are used in many applications, such as social networking. The management of these graphs poses new challenges because such graphs are too large to fit on a single ...
Mohamed Sarwat, Sameh Elnikety, Yuxiong He, Gabrie...
FASE
2009
Springer
15 years 4 months ago
Proving Consistency of Pure Methods and Model Fields
Abstract. Pure methods and model fields are useful and common speci
K. Rustan M. Leino, Ronald Middelkoop
ICSE
1994
IEEE-ACM
15 years 1 months ago
Understanding "Why" in Software Process Modelling, Analysis, and Design
In trying to understandand redesign software processes, it is often necessaryto have an understanding of the "whys" that underliethe "whats"
Eric S. K. Yu, John Mylopoulos
CISSE
2008
Springer
14 years 11 months ago
Pair Hidden Markov Model for Named Entity Matching
Peter Nabende, Jörg Tiedemann, John Nerbonne
ECSA
2011
Springer
13 years 9 months ago
Delta-oriented architectural variability using MontiCore
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
Arne Haber, Thomas Kutz, Holger Rendel, Bernhard R...