1005 search results - page 73 / 201 » Formal Software Development in MAYA |
155
click to vote
EWSA
2004
Springer
15 years 10 months ago
2004
Springer
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...
149
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
The evolution of Software Engineering methodology, from waterfall to spiral, from spiral to agile, indicates that high concurrency, iterative development and short cycles are key ...
107
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program devel...
145
Voted
ICSE
1989
IEEE-ACM
15 years 8 months ago
1989
IEEE-ACM
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
134
Voted
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Feature-Oriented Software Development (FOSD) provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along d...