1481 search results - page 98 / 297 » Enriching the Software Development Process by Formal Methods |
145
click to vote
FMICS
2008
Springer
15 years 5 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
114
Voted
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
120
click to vote
UML
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
116
click to vote
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
The development of software systems is a complex process involving a variety of individual tasks, collaborative work, and lifecycle management of the resulting products and produc...
107
click to vote
SEAA
2008
IEEE
15 years 10 months ago
2008
IEEE
In early phases of the software development process, requirements prioritization necessarily relies on the specified requirements and on predictions of benefit and cost of individ...