1481 search results - page 193 / 297 » Enriching the Software Development Process by Formal Methods |
121
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
130
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
149
Voted
WCRE
2006
IEEE
15 years 10 months ago
2006
IEEE
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
169
click to vote
ECOOPW
2003
Springer
15 years 9 months ago
2003
Springer
The concept of a software product line is a promising approach for increasing planned reusability in industry. For planning future requirements, the integration of domain analysis ...
142
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
This paper reports the results of exploratory research to develop a pilot pattern language for systems engineers at BAE SYSTEMS. The pattern language was designed to encapsulate k...