Software Engineering 2: Specification of Systems and LanguagesSpringer Science & Business Media, 2007. gada 1. aug. - 780 lappuses The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages. This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text. |
Saturs
| 3 | |
| 31 | |
| 55 | |
Contexts and States | 93 |
A CRUCIAL DOMAIN AND COMPUTING FACET | 118 |
LINGUISTICS | 142 |
Semantics | 151 |
Syntax | 173 |
CONCURRENCY AND TEMPORALITY | 313 |
Message and Live Sequence Charts | 375 |
Statecharts | 475 |
Quantitative Models of Time | 517 |
INTERPRETER AND COMPILER DEFINITIONS | 570 |
Simple Imperative Language | 659 |
Simple Modular Imperative Language | 671 |
Simple Parallel Imperative Language | 681 |
Semiotics | 213 |
FURTHER SPECIFICATION TECHNIQUES | 240 |
Automata and Machines | 285 |
A Naming Convention 717 | 715 |
References | 751 |
Citi izdevumi - Skatīt visu
Software Engineering 2: Specification of Systems and Languages Dines Bjørner Ierobežota priekšskatīšana - 2007 |
Software Engineering 2: Specification of Systems and Languages Dines Bjørner Priekšskatījums nav pieejams - 2006 |
Software Engineering 2: Specification of Systems and Languages Dines Bjørner Priekšskatījums nav pieejams - 2006 |
Bieži izmantoti vārdi un frāzes
abstract action activation applied assignment basic behaviour block Bool called channel Chap chapter chart closed Compilation composite concept condition consider consists construct contains context continuation corresponding defined definition denotational diagrams element end end environment evaluation event Example execution Exercise expression Figure finite formal function given identifiers illustrate initial input instance instruction interpretation interval kind label language locations machine meaning multiset names nets nodes notion object operator output pair Petri possible present Previous principles programming language reader record recursive refer relation represented requirements respectively rules scheme Sect semantics sequence shown simple specification stack statechart statement station step storage structure syntactic syntax techniques terminal train transaction transition understand Unit usually variable
Populāri fragmenti
vi. lappuse - ... Because it was grassy and wanted wear; Though as for that the passing there Had worn them really about the same, And both that morning equally lay In leaves no step had trodden black, Oh, I kept the first for another day! Yet knowing how way leads on to way, I doubted if I should ever come back. I shall be telling this with a sigh Somewhere ages and ages hence: Two roads diverged in a wood, and I— I took the one less traveled by, And that has made all the difference. — ROBERT FROST, THE ROAD...
vi. lappuse - ... where it bent in the undergrowth; Then took the other, as just as fair, And having perhaps the better claim, Because it was grassy and wanted wear; Though as for that the passing there Had worn them really about the same, And both that morning equally lay In leaves no step had trodden black, Oh, I kept the first for another day! Yet knowing how way leads on to way, I doubted if I should ever come back.
250. lappuse - When one encounters a new situation (or makes a substantial change in one's view of the present problem) one selects from memory a structure called a Frame . This is a remembered framework to be adapted to fit reality by changing details as necessary.
vi. lappuse - THE ROAD NOT TAKEN Two roads diverged in a yellow wood, And sorry I could not travel both And be one traveler, long I stood And looked down one as far as I could To where it bent in the undergrowth; Then took the other, as just as fair, And having perhaps the better claim, Because it was grassy and wanted wear; Though as for that the passing there Had worn them really about the same, "And both that morning equally lay In leaves no step had trodden black.
250. lappuse - Much of the phenomenological power of the theory hinges on the inclusion of expectations and other kinds of presumptions. A frame's terminals are normally already filled with "default" assignments. Thus a frame may contain a great many details whose supposition is not specifically warranted by the situation. These have many uses in representing general information, most likely cases, techniques for bypassing "logic," and ways to make useful generalizations.
241. lappuse - Little boxes on the hillside, Little boxes made of ticky-tacky, Little boxes on the hillside, Little boxes all the same. There's a green one and a pink one, And a blue one and a yellow one, And they're all made out of ticky-tacky, And they all look just the same.
241. lappuse - Little boxes on the hillside Little boxes made of ticky-tacky Little boxes, little boxes, little boxes All the same There's a green one and a pink one and a blue one and a yellow one And they're all made out of ticky tacky And they all look just the same...
241. lappuse - And they all look just the same. And they all play on the golf course And drink their martinis dry, And they all have pretty children And the children go to school...
251. lappuse - If electrical evidence suggests a loose mechanical connection, one needs a visual frame to guide one's self to the mechanical fault. Are there general methods for constructing adequate frames? The answer is both yes and no! There are some often-useful strategies for adapting old frames to new purposes; but I should emphasize that humans certainly have no magical way to solve all hard problems! One must not fall into what Papert calls the Superhuman-Human Fallacy and require a theory of human behavior...
250. lappuse - We can think of a frame as a network of nodes and relations. The "top levels" of a frame are fixed, and represent things that are always true about the supposed situation. The lower levels have many terminals — "slots" that must be filled by specific instances of data.