611 search results - page 8 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
131
click to vote
IFL
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
100
click to vote
UML
2004
Springer
15 years 2 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
MSR
2005
ACM
15 years 3 months ago
2005
ACM
Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. ...
109
click to vote
SAC
2008
ACM
14 years 9 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
ASWEC
2000
IEEE
15 years 1 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...