8083 search results - page 139 / 1617 » A Formalization of Software Architecture |
135
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
A data–intensive Web application is a Web-enabled software system for the publication and management of large data collections, typically stored in one or more database manageme...
217
click to vote
ESSOS
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Today, software security is an issue with increasing importance. Developers, software designers, end users, and enterprises have their own needs w.r.t. software security....
137
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
127
click to vote
WETICE
2003
IEEE
15 years 9 months ago
2003
IEEE
A formal approach to security in the software life cycle is essential to protect corporate resources. However, little thought has been given to this aspect of software development...
122
Voted
INFSOF
2010
15 years 2 months ago
2010
With today’s ever increasing demands on software, software developers must produce software that can be changed without the risk of degrading the software architecture. One way ...