| Tarr, P., Ossher, H., eds.: Workshop on Advanced Separation of Concerns in Software Engineering at ICSE 2001 (W17). (2001) |
....multi valued logic model checker, # chek allows us to reason about the properties of compositions of concerns. 1 Introduction Separation of concerns refers to the ability to identify, encapsulate and manipulate parts of software that are relevant to a particular concept, goal, task or purpose [18]. For example, sources of individual concerns can come from software engineers playing different roles in software development (e.g. UI builders and database builders) or from stakeholders with different views on the system (e.g. end users and performance engineers) An effective way to specify ....
P. Tarr and H. Ossher. Workshop on advanced separation of concerns in software engineering at icse
....we propose a framework for defining and reasoning about compositions of concerns, based on multivalued logics. 1 Introduction Separation of concerns refers to the ability to identify, encapsulate and manipulate parts of software that are relevant to a particular concept, goal, task or purpose [23]. For example, sources of individual concerns can come from software engineers playing different roles in software development (e.g. UI builders and database builders) or from stakeholders with different views on the system (e.g. end users and performance engineers) An effective way to specify ....
P. Tarr and H. Ossher. Workshop on advanced separation of concerns in software engineering at icse 2001. Call for Papers, 2001.
No context found.
Tarr, P., Ossher, H., eds.: Workshop on Advanced Separation of Concerns in Software Engineering at ICSE 2001 (W17). (2001)
No context found.
P. Tarr and H. Ossher, eds., Workshop on Advanced Separation of Concerns in Software Engineering at ICSE 2001.
No context found.
P. Tarr and H. Ossher, eds., Workshop on Advanced Separation of Concerns in Software Engineering at ICSE 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC