1481 search results - page 14 / 297 » Enriching the Software Development Process by Formal Methods |
112
Voted
CSEE
2000
Springer
15 years 7 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
104
Voted
PDPTA
2003
15 years 4 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
120
Voted
LREC
2008
15 years 4 months ago
2008
The "download first, then process paradigm" is still the predominant working method amongst the research community. The web-based paradigm, however, offers many advantag...
109
Voted
CAISE
1997
Springer
15 years 6 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
DEXAW
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper addresses the problem of enabling a user of a process-centered SDE, hosted on a high-speed network, to continue working on a detached mobile workstation connected by a l...