1606 search results - page 99 / 322 » XML-based programming language modeling: An approach to soft... |
159
click to vote
ICWE
2007
Springer
16 years 5 days ago
2007
Springer
The Unified Modeling Language (UML) is considered as the lingua franca in software engineering. Despite various web modeling languages having emerged in the past decade, in the fie...
164
click to vote
VAMOS
2010
Springer
15 years 7 months ago
2010
Springer
Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of the product line. Understanding the impact of variab...
134
click to vote
CIB
2005
15 years 6 months ago
2005
Unlike the data approached in traditional data mining activities, software data are featured with partial-repeatability or parepeatics, which is an invariant property that can neit...
200
click to vote
PLPV
2009
ACM
16 years 2 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
168
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
The layered architecture of middleware platforms (such as CORBA, SOAP, J2EE) is a mixed blessing. On the one hand, layers provide services such as demarshaling, session management...