3889 search results - page 343 / 778 » The Use of Program Dependence Graphs in Software Engineering |
178
Voted
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
240
Voted
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
168
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming. Relationships can be introduced in programming languages either by...
170
Voted
KBSE
2009
IEEE
16 years 26 days ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
146
Voted
MSR
2006
ACM
16 years 3 days ago
2006
ACM
Software repositories have been getting a lot of attention from researchers in recent years. In order to analyze software repositories, it is necessary to first extract raw data f...