1481 search results - page 104 / 297 » Enriching the Software Development Process by Formal Methods |
115
Voted
ECWEB
2005
Springer
15 years 9 months ago
2005
Springer
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...
133
Voted
AGILEDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Test-Driven Development (TDD) is an agile practice that is widely accepted and advocated by most agile methods and methodologists. In this paper, we report on a post hoc analysis ...
126
Voted
JSS
2006
15 years 3 months ago
2006
The last decade marked the first real attempt to turn software development into engineering through the concepts of ComponentBased Software Development (CBSD) and Commercial Off-T...
263
Voted
FM
1997
Springer
15 years 7 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
145
Voted
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...