A metalanguage for the formal requirement specification of reactive systems

2005 ◽  
pp. 110-128 ◽  
Author(s):  
Egidio Astesiano ◽  
Gianna Reggio
Keyword(s):  
Reactive Systems ◽  
Requirement Specification ◽  
Formal Requirement

Contract Formation in Hong Kong

2018 ◽  
Author(s):  
Lusina HO
Keyword(s):  
Hong Kong ◽  
Social Context ◽  
Common Law ◽  
General Rule ◽  
Good Faith ◽  
Local Context ◽  
General Duty ◽  
Contract Formation ◽  
Formal Requirement ◽  
The Law

This chapter examines the law on contract formation in Hong Kong which is closely modelled on the English common law but adapts the English solutions to the local context if and when required. The test for ascertaining the parties’ meeting of the minds is objective, the agreement (an offer with a matching acceptance) must be certain, complete, and made with the intention to create legal relations—the latter being presumed to be present in a commercial context and absent in a familial or social context. Offers are freely revocable although the reliance of the offeree is protected in exceptional circumstances. Acceptances become effective as soon as they are dispatched. In the ‘battle of forms’ scenario, the Hong Kong courts follow the traditional ‘last-shot’ rule. There is no general duty to negotiate in good faith, and even agreements to negotiate in good faith are normally unenforceable for lack of certainty. As a general rule, contracts can be validly made without adhering to any formal requirement. Online contracts will normally be valid and enforceable; the formation of such contracts is governed by common law as supplemented by legislation.

Analyzing Event-Based Scheduling in Concurrent Reactive Systems

2015 ◽  
Vol 14 (4) ◽  
pp. 1-27 ◽  
Author(s):  
Jian-Min Jiang ◽  
Huibiao Zhu ◽  
Qin Li ◽  
Yongxin Zhao ◽  
Lin Zhao ◽  
...  
Keyword(s):  
Reactive Systems ◽  
Event Based

scholarly journals Green Banking and Infrastructure Project Financing for Sustainable Development

2018 ◽  
Vol 73 ◽  
pp. 10001
Author(s):  
Fashli Arinal ◽  
Herdiansyah Herdis ◽  
A Saragi Putri
Keyword(s):  
Sustainable Development ◽  
Stock Price ◽  
Stock Exchange ◽  
Banking System ◽  
Investment Funds ◽  
Responsible Investment ◽  
Banking Policy ◽  
Formal Requirement ◽  
Industrial Projects ◽  
Infrastructure Project

Indonesia already has policies that pay attention to environmental aspects so that the development can keep running by maintaining the natural conditions. One of the policies that have been made is green banking. The green banking policy requires the support of stakeholders who have a role as an enforcer. This study uses a quantitative approach to measure the implementation of funds used by banks in the financing of industrial projects. The database is based on the Sustainable Equity and Responsible Investment (SRI) index -KEHATI, one of the indices that the indicator of stock price movement in Indonesia Stock Exchange (BEI), but focus on banking data practicing green banking system. The result of this study shows that the bank has a responsibility to the environmental risks of the project to be run by the company where the investment funds or lending of the bank. The green banking policy requires the support of stakeholders who have a role as an enforcer. Stakeholders in green banking are groups of people or individuals who have an essential part to achieve goals, and Sustainable development can be realized well if this policy is implemented, not just a formal requirement in following the current international trend.

Sign in / Sign up

Export Citation Format

Share Document