5407 search results - page 671 / 1082 » The Software Engineering Global Model |
187
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
161
click to vote
ICCBSS
2004
Springer
16 years 29 days ago
2004
Springer
This paper presents the twelve most significant lessons the CeBASE community has learned across a wide variety of projects, domains, and organizations about COTS-Based Systems (CBS...
184
click to vote
ARC
2010
Springer
15 years 7 months ago
2010
Springer
: When a logistics system is "self-organizing" it can function without significant intervention by managers, engineers, or software control. The social insects, such as a...
197
click to vote
JLP
2006
15 years 7 months ago
2006
Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two a...
192
click to vote
ENTCS
2010
15 years 5 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....