4919 search results - page 307 / 984 » A Process-Ontological Model for Software Engineering |
161
click to vote
CBSE
2004
Springer
15 years 10 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
254
Voted
AVI
2000
15 years 6 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
148
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
113
click to vote
ISPW
2005
IEEE
15 years 10 months ago
2005
IEEE
: We have developed a “WBS(Work Breakdown Structure) process model” for a business application software development project. We have also developed a project management system ...
171
click to vote
ICST
2009
IEEE
15 years 2 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...