1005 search results - page 15 / 201 » Formal Software Development in MAYA |
135
click to vote
FASE
2000
Springer
15 years 7 months ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
171
click to vote
EWSPT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
139
click to vote
HASE
1998
IEEE
15 years 8 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
230
click to vote
AMAI
2011
Springer
14 years 4 months ago
2011
Springer
Formal concept analysis (FCA) has been applied successively in diverse fields such as data mining, conceptual modeling, social networks, software engineering, and the semantic we...
137
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
This paper deals with the development and use of business cases in support of cross-organizational enterprise resource planning (ERP)-enabled e-business integration initiatives. I...