SPECIFICATION OF SOFTWARE ARCHITECTURE

2000 ◽  
Vol 10 (01) ◽  
pp. 69-95 ◽  
Author(s):  
MARK J. GERKEN
Keyword(s):  
Software Architecture ◽  
Category Theory ◽  
Formal Definition ◽  
The Past ◽  
Algebraic Specifications ◽  
Software Specifications ◽  
Architecture Theory ◽  
Definition Of ◽  
Semantic Compatibility ◽  
Use Category

Over the past several years, software architecture representation and analysis has become an active area of research. However, most approaches to software architecture representation and analysis have been informal. We postulate that through formality, the term "architecture" can be precisely defined and important properties of systems, such as semantic compatibility between connected entities, can be investigated with precision. In this paper, we use category theory and algebraic specifications to develop a formal definition of architecture and show how architecture theory can be used in the construction of software specifications.

Multiple dichotomies of the Anthropocene

2016 ◽  
Vol 3 (3) ◽  
pp. 218-230 ◽  
Author(s):  
Whitney J Autin
Keyword(s):  
Popular Culture ◽  
Human Interaction ◽  
Modern Literature ◽  
Formal Definition ◽  
Earth System ◽  
Geological Time ◽  
The Past ◽  
The Earth ◽  
Definition Of ◽  
System Benefit

Anthropocene has developed a varied set of connotations among scientific and non-scientific advocates. As a result, multiple dichotomies of the Anthropocene exist within various scholarly disciplines. The Anthropocene allows people to reinforce and perpetuate preferred views about the implications of human interaction with the Earth System as our management of the environment is called into question. Scientific dichotomies arise from opinions about the need for formal or informal definition and the recognition of a modern versus historical onset of the Anthropocene. Philosophical dichotomies center around good versus dystopian outcomes of Anthropocene and whether or not humanity is part of what historically has been called nature. Political dichotomies insert Anthropocene into classic conservative versus liberal arguments. Artistic dichotomies tend to evaluate the effects of technology on modernism by embracing a nostalgia for the past or projecting an apocalyptic future. Multiple dichotomies drive conversation towards confusion as individuals argue preferred versions of an Anthropocene concept. Philosophical and political perspectives are affecting scientific views of proposed geological time markers for the start of the Anthropocene as conceptual ideologies appear to compete with tangible stratigraphic attributes. Formal definition of the Anthropocene has potential to inhibit popular usage and further confuse an already confused media. Informal stratigraphic usage by scientists and an open-ended view among non-scientific proponents may be the best approach to formulate a robust Anthropocene message. Both humanity and the Earth System benefit from a dynamic tag line that enhances environmental awareness and provides opportunity to modify our habits of resource overuse and ecosystem neglect. Concepts and imagery offered in the form of modern literature and art have the greatest prospect of affecting popular culture perspectives of the Anthropocene’s role in environmental debate.

scholarly journals Undefined lands: A review of their role as an underexplored resource of landscape

2020 ◽  
Vol 16 ◽  
pp. 60-69
Author(s):  
Maryam Naghibi ◽  
Mohsen Faizi ◽  
Ahmad Ekhlassi
Keyword(s):  
Temporal Trends ◽  
Future Research ◽  
Vacant Land ◽  
Formal Definition ◽  
Systematic Analysis ◽  
Comprehensive Review ◽  
The Past ◽  
Ecological Aspects ◽  
Landscape Research ◽  
Definition Of

Landscape areas have spatial discontinuities, such as vacant land and leftover spaces. Undefined lands present a compelling area for landscape research, aesthetical experience, and development of cities which discuss irregular and unexpected aspects in landscape settings. Having lacked a formal definition of undefined land, this study aims at proposing keywords of undefined lands, a comprehensive review of knowledge, and definition. In order to promote new aspects of such spaces in the future research, the study conducts a systematic analysis of 65 peer-reviewed papers for their temporal trends, locations, methods, key authors, and commonly studied aspects. Results show the production of vacancy and the temporary use of undefined lands as an opportunity, and a flexible method of regeneration. An increase in publications over the past 30 years demonstrates that leftover space is an evolving subject. Although socio-ecological aspects are the most effective, serious gaps are mentioned in the literature considering aesthetical and ecological qualities in leftover spaces formed by visual, sensorial (hearing, touch, smell, taste), and cognitive perception. These gaps in the literature suggest that it is important to understand the potential effects of repurposing citizen's ideas about interventions in which to use leftover spaces. Having identified the knowledge gaps, undefined lands are suggested as a significant sub-discipline in landscape research.

scholarly journals Undefined lands: A review of their role as an underexplored resource of landscape

2020 ◽  
Vol 16 ◽  
pp. 60-69
Author(s):  
Maryam Naghibi ◽  
Mohsen Faizi ◽  
Ahmad Ekhlassi
Keyword(s):  
Temporal Trends ◽  
Future Research ◽  
Vacant Land ◽  
Formal Definition ◽  
Systematic Analysis ◽  
Comprehensive Review ◽  
The Past ◽  
Ecological Aspects ◽  
Landscape Research ◽  
Definition Of

Landscape areas have spatial discontinuities, such as vacant land and leftover spaces. Undefined lands present a compelling area for landscape research, aesthetical experience, and development of cities which discuss irregular and unexpected aspects in landscape settings. Having lacked a formal definition of undefined land, this study aims at proposing keywords of undefined lands, a comprehensive review of knowledge, and definition. In order to promote new aspects of such spaces in the future research, the study conducts a systematic analysis of 65 peer-reviewed papers for their temporal trends, locations, methods, key authors, and commonly studied aspects. Results show the production of vacancy and the temporary use of undefined lands as an opportunity, and a flexible method of regeneration. An increase in publications over the past 30 years demonstrates that leftover space is an evolving subject. Although socio-ecological aspects are the most effective, serious gaps are mentioned in the literature considering aesthetical and ecological qualities in leftover spaces formed by visual, sensorial (hearing, touch, smell, taste), and cognitive perception. These gaps in the literature suggest that it is important to understand the potential effects of repurposing citizen's ideas about interventions in which to use leftover spaces. Having identified the knowledge gaps, undefined lands are suggested as a significant sub-discipline in landscape research.

Implementing collection classes with monads

1998 ◽  
Vol 8 (3) ◽  
pp. 231-276 ◽  
Author(s):  
ERNIE G. MANES
Keyword(s):  
Category Theory ◽  
Natural Transformation ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Formal Definition ◽  
Axiomatic Theory ◽  
Finite Set ◽  
Definition Of ◽  
The Relationship

In object-oriented programming, there are many notions of ‘collection with members in X’. This paper offers an axiomatic theory of collections based on monads in the category of sets and total functions. Heuristically, the axioms defining a collection monad state that each collection has a finite set of members of X, that pure 1-element collections exist and that a collection of collections flattens to a single collection whose members are the union of the members of the constituent collections. The relationship between monads and universal algebra leads to a formal definition of collection implementation in terms of tree-processing. Ideas from elementary category theory underly the classification of collections. For example, collections can be zipped if and only if the monad's endofunctor preserves pullbacks. Or, a collection can be uniquely specified by its shape and list of data if the morphisms of the Kleisli category of the monad are all deterministic, and the converse holds for commutative monads. Again, a collection monad is ordered if the monad's functor preserves equalizers of monomorphisms (so, in particular, if collections can be zipped the monad is ordered). Every implementable monad is ordered. It is shown using the well-ordering principle that a collection monad is ordered if and only if its functor admits an appropriated list-valued natural transformation that lists the members of each collection.

Immunoferritin localization of intracellular antigens in positively stained frozen sections

1978 ◽  
Vol 36 (2) ◽  
pp. 168-169
Author(s):  
K. T. Tokuyasu
Keyword(s):  
Surface Tension ◽  
Water Surface ◽  
Thin Layers ◽  
The Other ◽  
Positive Staining ◽  
Frozen Sections ◽  
The Past ◽  
Ultrathin Frozen Sections ◽  
Definition Of

During the past investigations of immunoferritin localization of intracellular antigens in ultrathin frozen sections, we found that the degree of negative staining required to delineate u1trastructural details was often too dense for the recognition of ferritin particles. The quality of positive staining of ultrathin frozen sections, on the other hand, has generally been far inferior to that attainable in conventional plastic embedded sections, particularly in the definition of membranes. As we discussed before, a main cause of this difficulty seemed to be the vulnerability of frozen sections to the damaging effects of air-water surface tension at the time of drying of the sections.Indeed, we found that the quality of positive staining is greatly improved when positively stained frozen sections are protected against the effects of surface tension by embedding them in thin layers of mechanically stable materials at the time of drying (unpublished).

Derrida on Pornography: Putting (It) Up for Sale

Derrida Today ◽  
2013 ◽  
Vol 6 (1) ◽  
pp. 97-114 ◽  
Author(s):  
Christopher Morris
Keyword(s):  
Cultural Studies ◽  
English Translation ◽  
The Body ◽  
The Past ◽  
French Original ◽  
Definition Of ◽  
Critical Discourses ◽  
Academic Debate

Over the past thirty years, academic debate over pornography in the discourses of feminism and cultural studies has foundered on questions of the performative and of the word's definition. In the polylogue of Droit de regards, pornography is defined as la mise en vente that is taking place in the act of exegesis in progress. (Wills's idiomatic English translation includes an ‘it’ that is absent in the French original). The definition in Droit de regards alludes to the word's etymology (writing by or about prostitutes) but leaves the referent of the ‘sale’ suspended. Pornography as la mise en vente boldly restates the necessary iterability of the sign and anticipates two of Derrida's late arguments: that there is no ‘the’ body and that performatives may be powerless. Deriving a definition of pornography from a truncated etymology exemplifies the prosthesis of origin and challenges other critical discourses to explain how pornography can be understood as anything more than ‘putting (it) up for sale’.

Holism, Chinese Medicine and Systems Ideologies: Rewriting the Past to Imagine the Future

2018 ◽  
Author(s):  
Volker Scheid
Keyword(s):  
Eighteenth Century ◽  
Chinese Medicine ◽  
Medical Humanities ◽  
Science And Technology Studies ◽  
Human Beings ◽  
The Past ◽  
Starting Point ◽  
The Us ◽  
Shared Objective ◽  
Definition Of

This chapter explores the articulations that have emerged over the last half century between various types of holism, Chinese medicine and systems biology. Given the discipline’s historical attachments to a definition of ‘medicine’ that rather narrowly refers to biomedicine as developed in Europe and the US from the eighteenth century onwards, the medical humanities are not the most obvious starting point for such an inquiry. At the same time, they do offer one advantage over neighbouring disciplines like medical history, anthropology or science and technology studies for someone like myself, a clinician as well as a historian and anthropologist: their strong commitment to the objective of facilitating better medical practice. This promise furthermore links to the wider project of critique, which, in Max Horkheimer’s definition of the term, aims at change and emancipation in order ‘to liberate human beings from the circumstances that enslave them’. If we take the critical medical humanities as explicitly affirming this shared objective and responsibility, extending the discipline’s traditional gaze is not a burden but becomes, in fact, an obligation.

Prawne regulacje pobierania i transplantacji narządów oraz tkanek w ujęciu europejskiej konwencji bioetycznej

2016 ◽  
pp. 52-65
Author(s):  
Patryk Kołodyński ◽  
Paulina Drab
Keyword(s):  
Ex Vivo ◽  
Legal Aspects ◽  
European Convention ◽  
The Public ◽  
Additional Protocol ◽  
The Past ◽  
Reliable Source ◽  
International Legal Order ◽  
Definition Of ◽  
Source Of Information

Over the past several years, transplantology has become one of the fastest developing areas of medicine. The reason is, first and foremost, a significant improvement of the results of successful transplants. However, much controversy arouse among the public, on both medical and ethical grounds. The article presents the most important concepts and regulations relating to the collection and transplantation of organs and tissues in the context of the European Convention on Bioethics. It analyses the convention and its additional protocol. The article provides the definition of transplantation and distinguishes its types, taking into account the medical criteria for organ transplants. Moreover, authors explained the issue of organ donation ex vivo and ex mortuo. The European Convention on Human Rights and Biomedicine clearly regulates the legal aspects concerning the transplantation and related basic concepts, and therefore provides a reliable source of information about organ transplantation and tissue. This act is a part of the international legal order, which includes the established codification of bioethical standards.

О вопросах фольклоризма в письменной литературе

2019 ◽  
pp. 31-33
Author(s):  
Суусар Искендерова
Keyword(s):  
Modern Science ◽  
Folk Songs ◽  
Point Of View ◽  
The Past ◽  
Scientific Term ◽  
Literature Culture ◽  
Definition Of ◽  
The Relationship

Аннотация: Исследование проблемы фольклоризма является наиболее актуальной в современной науке о фольклоре. На разных этапах развития художественной литературы для формирования индивидуального творчества писателя особенно значимым становятся фольклорные жанры, сюжетные мотивы и художественные средства. В статье рассматривается связь письменной литературы и фольклора, особенно точка зрения проблеме фольклоризма в прошлом и их анализ. Термин «фольклоризм» начал использоваться советскими исследователями учеными как научный термин еще в 1930-х гг. Термин «фольклоризм» используется в различных сферах культуры, а в этой статье мы будем рассматривать в литературе. Несмотря на то, что на протяжении многих лет этот вопрос изучается литературоведами, фольклористами, все -таки нет единого теоретического определения понятия. Ключевые слова: фольклор, фольклоризм, литература, культура, письменная литература, художественная литература, оседлый народ, пословицы и поговорки, фольклорные песни. Аннотация: Көркөм адабияттын өнүгүүсүнүн ар кайсы баскычтарында сүрөткердин жеке чыгармачылыгынын калыптанышы үчүн фольклордук жанрлар, сюжеттер, мотивдер жана көркөм каражаттар айрыкча мааниге ээ. Макалада жазма адабият менен фольклордук карым-катышы, айрыкча фольклоризм маселеси жөнүндө мурдагы көз караштарга кайрылып, аларга талдоо жүргүзүү менен бирге автор өз байкоолорунда келтирет. “Фольклоризм” деген илимий термин 1930-жылы баштап колдонула баштаган. “Фольклоризм” термини маданияттын түрдүү сфераларында кеңири колдо- нулат, бул жерде адабияттагы колдонулушун каралат. Макалада адабий материал менен фольклордук байланышын терең түшүнүү үчүн адабий фольклоризм маселесинин талаштуу жактары каралат. Түйүндүү сөздөр: фольклор, фольклоризм, адабият, маданият, жазма адабият, көркөм адабият, көчмөн калк, макал-лакап, фольклордук ырлар. Annotation: The study of the problem of folklore is the most relevant in the modern science of folklore. At various stages in the development of fiction, folklore genres, plot motifs, and artistic means become especially significant for the formation of the writer's individual creativity. The article examines the relationship between written literature and folklore, especially the point of view of the problem of folklorism in the past and their analysis. The term "folklorism" began to be used by Soviet scholars as a scientific term back in the 1930s. The term "folklorism" is used in various fields of culture, and in this article we will consider in the literature. Despite the fact that for many years this issue has been studied by literary scholars, folklorists, all the same there is no single theoretical definition of the concept. Keywords: folklore, folklorism, literature, culture, written literature, fiction, settled people, proverbs and sayings, folk songs.

Sign in / Sign up

Export Citation Format

Share Document