561 search results - page 21 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
112
click to vote
EUROMICRO
1996
IEEE
15 years 6 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
130
click to vote
SOFTWARE
2008
15 years 1 months ago
2008
s of titles and abstracts) as irrelevant to our focus. We read the remaining 519 papers in full to establish our final list. The 92 papers we chose were originally published in the...
103
Voted
EUROPLOP
2006
15 years 3 months ago
2006
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...
111
click to vote
SPLC
2008
15 years 3 months ago
2008
Ongoing research in Software Product Line Engineering (SPLE) emphasises the derivation of a concrete product based on a given variant configuration as one of the most promising ar...
126
click to vote
IADIS
2008
15 years 3 months ago
2008
Programming and developing of small scale software applications can be accomplished with simple command-line compilers that can be used to compile, test, and execute code generati...