9006 search results - page 463 / 1802 » Modeling Software |
163
click to vote
WICSA
2001
15 years 8 months ago
2001
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...
186
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
One of the most difficult problems that humanity currently faces is the sustainable development of our society, i.e. how to meet the needs of the present without compromising the...
159
click to vote
IAJIT
2007
15 years 6 months ago
2007
: This study introduces the MyCL process model, a simplified Component-Based Software Development (CBSD) process model that is clear and easy to be understood and hence, applied. I...
194
click to vote
ASWEC
2010
IEEE
15 years 7 months ago
2010
IEEE
—Architectural Design Decisions (ADD) form a key element of Architectural Knowledge (AK), which plays a vital role in the software architecture process. To help manage ADDs, seve...
149
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...